Skip to content
LeanAuto CI

Provide more flexibility in configuring which return statements get separate VCs with isolate_assertions #401

Sign in to view logs

Provide more flexibility in configuring which return statements get separate VCs with isolate_assertions

Provide more flexibility in configuring which return statements get separate VCs with isolate_assertions #401

Run time

Learn about OS pricing on GitHub Actions
Job Run time
LeanAuto CI
5m 40s
5m 40s