Merge branch 'nightly-testing' of github.com:leanprover-community/mat… #146322
Annotations
1 error
|
build mathlib
The process '/usr/bin/bash' failed with exit code 1
|
Loading