fixes for fun_prop for leanprover/lean4#6503 #143353
kim-embuild.yml
on: push
Cancel Previous Runs (CI)
4s
Post-CI job
0s
Annotations
2 errors
|
Build:
Mathlib/CategoryTheory/Monoidal/Opposite.lean#L42
@CategoryTheory.MonoidalOpposite.unmop_inj_iff should not be marked simp
|
|
Build
The process '/usr/bin/env' failed with exit code 1
|