Skip to content
Code Verification CI

Properly reference the variables for real #63

Sign in to view logs

Properly reference the variables for real

Properly reference the variables for real #63

Triggered via push June 12, 2024 17:03
@podhrmicpodhrmic
pushed 24d8a9a
36-docker-infrastructure
Status Success
Total duration 14m 9s
Billable time 15m
Artifacts –

proofs.yml

on: push
mps-verify-cn
50s
mps-verify-cn
mps-verify-frama-c
13m 56s
mps-verify-frama-c
Fit to window
Zoom out
Zoom in