Pin goblint-cil.2.0.6 in CI · static-analysis-engineering/codehawk@a882fc5

Triggered via push May 31, 2025 10:18

Databean

master

Status Success

Total duration 9m 57s

Artifacts 5

dune.yaml

on: push

Matrix: Compile and test CodeHawk

Matrix: Run CodeHawk-Binary tests

Matrix: Run CodeHawk-C tests

Produced during runtime

Name	Size	Digest
artifacts-4.12.1 Expired	72.8 MB	`sha256:50717e0c3dccd777d3eadd6555e71758417ac3a8bcc62face87f34e1d7d368fa`
artifacts-4.13.1 Expired	74.4 MB	`sha256:3adffd0145970953f6e46fb12a3876e9096db875b935c0409a05dd9550fa4c29`
artifacts-4.14.1 Expired	75 MB	`sha256:0c66369ef36231b1590c92034d209d00e0fe66c6adf4718da0906a00accc454b`
artifacts-5.0.0 Expired	80.6 MB	`sha256:ca310b64a8d816e0ecc535fddafbde3a3002aba132d7cde8b03b4471c8ba2f4c`
artifacts-5.1.1 Expired	81.6 MB	`sha256:adf6cbdb47e3a1981b964c64710611cec3fd316fdac48c21dd4e013cfd8140e8`