Skip to content
continuous integration

meta adaptations #199440

Sign in to view logs

meta adaptations

meta adaptations #199440

Triggered via push June 18, 2025 21:02
@kmillkmill
pushed bcc2c30
lean-pr-testing-8804
Status Failure
Total duration 30m 42s
Artifacts –

build.yml

on: push
Lint style
1m 43s
Lint style
Build
30m 40s
Build
Post-Build Step
0s
Post-Build Step
Post-CI job
0s
Post-CI job
CI Success
0s
CI Success
Fit to window
Zoom out
Zoom in

Annotations

4 errors
Build
Process completed with exit code 1.
Build
aesop: error in norm simp: unknown free variable '_fvar.99327'
Build
Process completed with exit code 1.
Build
aesop: error in norm simp: unknown free variable '_fvar.99327'