Add explicit W set to base protection privatization · goblint/analyzer@734c149

Triggered via push February 20, 2025 09:02

sim642

base-protection-w

Status Success

Total duration 4m 49s

Artifacts 1

docs.yml

on: push

Matrix: api-build

Produced during runtime

Name	Size	Digest
github-pages Expired	2.16 MB	`sha256:be1edac5833cda4bd5d7f996f66b0f6f62327638129428aa1912bfe209cf014d`