Skip to content
docs

Pin released goblint-cil.2.0.5 for reproducibility #2076

Sign in to view logs

Pin released goblint-cil.2.0.5 for reproducibility

Pin released goblint-cil.2.0.5 for reproducibility #2076

Triggered via push November 29, 2024 08:58
@sim642sim642
pushed 77acd91
master
Status Cancelled
Total duration 2h 37m 23s
Artifacts –

docs.yml

on: push
Matrix: api-build
api-deploy
0s
api-deploy
Fit to window
Zoom out
Zoom in

Annotations

2 errors
api-build (ubuntu-22.04, ocaml-variants.4.14.2+options,ocaml-option-flambda)
The run was canceled by @sim642.
api-build (ubuntu-22.04, ocaml-variants.4.14.2+options,ocaml-option-flambda)
The operation was canceled.