Skip to content

Merge pull request #1640 from goblint/mine-W-noinit-threadenter #12423

Merge pull request #1640 from goblint/mine-W-noinit-threadenter

Merge pull request #1640 from goblint/mine-W-noinit-threadenter #12423

Triggered via push December 19, 2024 10:33
Status Success
Total duration 22m 51s
Artifacts 2
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

locked.yml

on: push
Matrix: extraction
Matrix: gobview
Matrix: regression
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
suite_result-macos-13 Expired
2.73 MB
sha256:ec0da68c5c37f087c046ed33a554ffcaf970517d0d7cd560b57ca548fbe2dcd7
suite_result-ubuntu-22.04 Expired
2.68 MB
sha256:053f1c82f664067406bfe86bdaf7ff004d0ef00f0b943eb368856bec94a44f14