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 24m 27s

Artifacts 2

locked.yml

on: push

Matrix: extraction

Matrix: regression

Produced during runtime

Name	Size	Digest
suite_result-macos-13 Expired	2.89 MB	`sha256:5350895c00b612875b1902f7c72f8fd8e649d68a639b4474387c8ce320fe83df`
suite_result-ubuntu-22.04 Expired	2.87 MB	`sha256:5ffa22a0d55c9362d2da9771b30ee653ea3aa58a6638b02d7d65cf0fbfa4b327`