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

Triggered via pull request February 20, 2025 09:04

sim642

opened #1693

base-protection-w

Status Success

Total duration 4m 44s

Artifacts 1

docs.yml

on: pull_request

Matrix: api-build

Produced during runtime

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