Skip to content
options

Merge pull request #1255 from goblint/autotune_termination_spec #6626

Sign in to view logs

Merge pull request #1255 from goblint/autotune_termination_spec

Merge pull request #1255 from goblint/autotune_termination_spec #6626

Triggered via push November 19, 2023 17:01
@jerhardjerhard
pushed 1be498c
master
Status Success
Total duration 18s
Artifacts –

options.yml

on: push
Matrix: validate-conf
Fit to window
Zoom out
Zoom in