Skip to content

chore: add Mac and homebrew to CI #71

chore: add Mac and homebrew to CI

chore: add Mac and homebrew to CI #71

Annotations

2 errors

Build and test (leanprover/lean4:4.5.0, macos-latest, brew install elan-init )

cancelled Apr 19, 2024 in 1m 49s