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 warning

Build and test (leanprover/lean4:4.7.0, ubuntu-latest, curl https://raw.githubusercontent.com/lea...

succeeded Apr 19, 2024 in 42s