Skip to content

Merge pull request #2015 from goblint/patricia-tree2 #15819

Merge pull request #2015 from goblint/patricia-tree2

Merge pull request #2015 from goblint/patricia-tree2 #15819

Triggered via push May 11, 2026 13:45
Status Success
Total duration 15m 17s
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.01 MB
sha256:c01574818c49933193a5e13f7705ae40e35d122c12a7d8d942039f7be36df588
suite_result-ubuntu-latest
3.04 MB
sha256:297ef51f69d3b9b5072a2ffcbe7f5afbd7be64e2d06882e765e242de1c87ba77