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

Build and test (leanprover/lean4:4.4.0, macos-latest, curl https://raw.githubusercontent.com/lean...

succeeded Apr 19, 2024 in 2m 1s