Skip to content
Code Verification CI

Try to use github docker registry #54

Sign in to view logs

Try to use github docker registry

Try to use github docker registry #54

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

proofs.yml

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