Skip to content
docs

Replace goblint-cil pin with published 2.0.2 #95

Sign in to view logs

Replace goblint-cil pin with published 2.0.2

Replace goblint-cil pin with published 2.0.2 #95

Triggered via push September 13, 2023 07:43
@sim642sim642
pushed bef3c54
master
Status Success
Total duration 10m 7s
Artifacts –

docs.yml

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