Fix: symbolic locksets use may-equality when invalidating on unlock · goblint/analyzer@b430e2c

Triggered via pull request April 19, 2026 04:50

Copilot

synchronize #1987

Status Success

Total duration 4m 35s

Artifacts 1

docs.yml

on: pull_request

Matrix: api-build

Produced during runtime

Name	Size	Digest
github-pages Expired	2.5 MB	`sha256:51a2b41924570cc2cec8dcdbb9628c04c0f996b8c0fde7d3384125f6d537fc28`