Skip to content
locked

Merge pull request #2020 from goblint/intdomain-no_ov #15797

Sign in to view logs

Merge pull request #2020 from goblint/intdomain-no_ov

Merge pull request #2020 from goblint/intdomain-no_ov #15797

Triggered via push May 8, 2026 17:54
@sim642sim642
pushed 7af6964
master
Status Success
Total duration 15m 10s
Artifacts 2

locked.yml

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

Artifacts

Produced during runtime
Name Size Digest
suite_result-macos-latest
3 MB
sha256:2bad65bb266b7f9fe119359bf85a1a3f726535a17a85fb0e81df5cc4bd241901
suite_result-ubuntu-latest
3.04 MB
sha256:5f3144f113de2a950d707032092f6e13b78696ee60b4250602aa4fec423ba793