lin2var: fixed misbehaviour of join wrt bot values · goblint/analyzer@a046a84

Triggered via pull request May 28, 2025 13:26

synchronize #1755

bot_env_handling_fix

Status Success

Total duration 4m 55s

Artifacts 1

docs.yml

on: pull_request

Matrix: api-build

Produced during runtime

Name	Size	Digest
github-pages Expired	2.41 MB	`sha256:cbc8c78f8d86e2d3ac6b55b8f84c9b45eaf40e3ce8b7c52d4bd387ee1110b71e`