Skip to content

Merge pull request #1605 from goblint/topdown_term #12345

Merge pull request #1605 from goblint/topdown_term

Merge pull request #1605 from goblint/topdown_term #12345

Triggered via push December 16, 2024 11:01
Status Success
Total duration 29m 47s
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.74 MB
sha256:802e21a3d3ca285f525a22ce878d202e413941d8b7a7012991efea2c970706e0
suite_result-ubuntu-22.04 Expired
2.67 MB
sha256:6c81a12942b338866699a86d1df41269938ccbb5ff76a2f1c3bd9947dd0c3361