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

1 warning

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

succeeded Apr 19, 2024 in 39s