Skip to content

Merge pull request #1707 from goblint/tm-inv-transfer #13122

Merge pull request #1707 from goblint/tm-inv-transfer

Merge pull request #1707 from goblint/tm-inv-transfer #13122

Triggered via push March 27, 2025 08:09
Status Success
Total duration 23m 1s
Artifacts 2

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.85 MB
sha256:732a08f21dc37ab857628cd792e2ef4556f9e0bc4f7cd312b14a9537e6971d10
suite_result-ubuntu-22.04 Expired
2.83 MB
sha256:f8cfe2b6b6d861947697fa07aa9d1192ade307a2520a23c2ede275a221520d13