Skip to content
changeset

Fix the CLI output of formal verification runs #5853

Sign in to view logs

Fix the CLI output of formal verification runs

Fix the CLI output of formal verification runs #5853

Run time

Learn about OS pricing on GitHub Actions
Job Run time
check
14s
14s