Limit size of exclusions in narrow in Enums to 10 · goblint/analyzer@1007fcf

Triggered via pull request February 11, 2025 14:57

synchronize #1674

issue_1673

Status Success

Total duration 4m 47s

Artifacts 1

docs.yml

on: pull_request

Matrix: api-build

Produced during runtime

Name	Size	Digest
github-pages Expired	2.11 MB	`sha256:21ba739fd589fda61f35cfb74e5bcec67087c0a000b412d281416b73ad975d24`