Merge pull request #2015 from goblint/patricia-tree2 · goblint/analyzer@61aa24e

Triggered via push May 11, 2026 13:45

sim642

master

Status Success

Total duration 5m 15s

Artifacts 1

docs.yml

on: push

Matrix: api-build

Produced during runtime

Name	Size	Digest
github-pages	2.53 MB	`sha256:ade41f44554a9339df520468cc4fa3ae6a8e18f33a4dc72539dbea137f10fdd0`