Skip to content
indentation

Change YAML witness generation default to version 2.0 with only invariant_set #12357

Sign in to view logs

Change YAML witness generation default to version 2.0 with only invariant_set

Change YAML witness generation default to version 2.0 with only invariant_set #12357

Triggered via pull request April 17, 2025 16:52
@sim642sim642
synchronize #1718
yaml-witness-default
Status Success
Total duration 1m 27s
Artifacts –

indentation.yml

on: pull_request
Matrix: indentation
Fit to window
Zoom out
Zoom in