Skip to content
Lean Verification Build

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

Sign in to view logs

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

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

Run time

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