Skip to content

chore: add Mac and homebrew to CI #70

chore: add Mac and homebrew to CI

chore: add Mac and homebrew to CI #70

Annotations

1 error and 1 warning

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

failed Apr 19, 2024 in 1m 55s