Skip to content
options

Merge pull request #1670 from goblint/arg-complete-0.2.0 #9989

Sign in to view logs

Merge pull request #1670 from goblint/arg-complete-0.2.0

Merge pull request #1670 from goblint/arg-complete-0.2.0 #9989

Triggered via push February 12, 2025 15:56
@sim642sim642
pushed 2178c51
master
Status Success
Total duration 24s
Artifacts –

options.yml

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