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

Triggered via pull request February 20, 2025 11:01

sim642

synchronize #1693

base-protection-w

Status Success

Total duration 4m 33s

Artifacts 1

docs.yml

on: pull_request

Matrix: api-build

Produced during runtime

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