Skip to content
locked

Merge pull request #1688 from goblint/issue_1536 #12946

Sign in to view logs

Merge pull request #1688 from goblint/issue_1536

Merge pull request #1688 from goblint/issue_1536 #12946

Triggered via push February 24, 2025 17:25
@michael-schwarzmichael-schwarz
pushed 2c36291
master
Status Success
Total duration 21m 48s
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.8 MB
sha256:34daf0c9d0830fb5ad5f11440d3e4a3048e59e2a12638cb8b67667075f4a9654
suite_result-ubuntu-22.04 Expired
2.79 MB
sha256:57cd6740c569684b0ee14de5b6bc1d1acfcd356e9b38f9ac5f4ad414b9bc5139