Merge pull request #1755 from goblint/bot_env_handling_fix · goblint/analyzer@5c7a40f

Triggered via push May 28, 2025 13:47

master

Status Success

Total duration 5m 4s

Artifacts 1

docs.yml

on: push

Matrix: api-build

Produced during runtime

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