Skip to content
locked

Bump goblint-cil (c.f. https://github.com/goblint/cil/pull/184) #13670

Sign in to view logs

Bump goblint-cil (c.f. https://github.com/goblint/cil/pull/184)

Bump goblint-cil (c.f. https://github.com/goblint/cil/pull/184) #13670

Triggered via pull request July 10, 2025 11:11
@michael-schwarzmichael-schwarz
opened #1780
bump_goblint_cil_184
Status Success
Total duration 20m 41s
Artifacts 2

locked.yml

on: pull_request
Matrix: extraction
Matrix: regression
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
suite_result-macos-13 Expired
2.94 MB
sha256:1c9eb32776835c8dc22474456570d4b580d435b11bc531cf51cc39af43c30738
suite_result-ubuntu-22.04 Expired
2.96 MB
sha256:3cd72c2b7ecd290f0f4732ba111852d2a797fe53b17976a1455dd9c1966b1fb6