Skip to content
Lean Verification Build

fix(test): model oracle test fails instead of skipping as a pass (P0-… #83

Sign in to view logs

fix(test): model oracle test fails instead of skipping as a pass (P0-…

fix(test): model oracle test fails instead of skipping as a pass (P0-… #83

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Build and Test Lean Extraction Pipeline
2m 29s
2m 29s