Skip to content
Build

Fix tests by adding pyAnalyzeV2 to lakefile.toml #96

Sign in to view logs

Fix tests by adding pyAnalyzeV2 to lakefile.toml

Fix tests by adding pyAnalyzeV2 to lakefile.toml #96

Triggered via pull request August 26, 2026 20:35
@atombatomb
opened #15
fix-lakefile
Status Success
Total duration 38m 19s
Artifacts –

ci.yml

on: pull_request
Matrix: Build and test Lean
Matrix: Run lint checks
Check pending Python tests
6m 51s
Check pending Python tests
cbmc  /  Run CBMC tests
3s
cbmc / Run CBMC tests
Matrix: Build and test Python
Fit to window
Zoom out
Zoom in

Annotations

1 warning
cbmc / Run CBMC tests
CBMC checks are temporarily disabled (known-broken; will be re-enabled once fixed).