Skip to content
Code Verification CI

Enable submodule fetch and fix the image tag #56

Sign in to view logs

Enable submodule fetch and fix the image tag

Enable submodule fetch and fix the image tag #56

Triggered via push June 11, 2024 23:56
@podhrmicpodhrmic
pushed d8096a8
36-docker-infrastructure
Status Success
Total duration 14m 2s
Billable time 15m
Artifacts –

proofs.yml

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