Builder.Apply: suggest alias when warning about apply rule for Iff theorem #518
Triggered via pull request
September 29, 2024 10:32
JLimperg
Status
Failure
Total duration
1m 39s
Artifacts
–
Annotations
2 errors
|
build (ubuntu-latest)
lake test failed
|
|
build (ubuntu-latest)
Process completed with exit code 1.
|