Merge pull request #1593 from goblint/svcomp25-no-exclude-vars #1895

Sign in to view logs

Triggered via push October 22, 2024 12:28

sim642

master

Status Success

Total duration 5m 45s

Artifacts –

docs.yml

on: push

Matrix: api-build