Skip to content

Merge pull request #1573 from goblint/issue-1572 #12410

Merge pull request #1573 from goblint/issue-1572

Merge pull request #1573 from goblint/issue-1572 #12410

Triggered via push December 19, 2024 09:07
Status Success
Total duration 45m 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.74 MB
sha256:ca396d2ecd568561218af5f955ff52ffcc4ecc2aa2cb80d963b7fa00eaf241e9
suite_result-ubuntu-22.04 Expired
2.67 MB
sha256:dcc033022df02d5e3e836a3bf398d7f68c860333c92348f5415c13eafb071e7d