Continuous Integration

chore: add Mac and homebrew to CI #71

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build and test (leanprover/lean4:4.3.0, ubuntu-latest, curl https://raw.githubusercontent.com/lea...	39s
Build and test (leanprover/lean4:4.3.0, macos-latest, curl https://raw.githubusercontent.com/lean...	2m 6s
Build and test (leanprover/lean4:4.3.0, macos-latest, brew install elan-init )	1m 54s
Build and test (leanprover/lean4:4.4.0, ubuntu-latest, curl https://raw.githubusercontent.com/lea...	1m 10s
Build and test (leanprover/lean4:4.4.0, macos-latest, curl https://raw.githubusercontent.com/lean...	1m 47s
Build and test (leanprover/lean4:4.4.0, macos-latest, brew install elan-init )	2m 9s
Build and test (leanprover/lean4:4.5.0, ubuntu-latest, curl https://raw.githubusercontent.com/lea...	38s
Build and test (leanprover/lean4:4.5.0, macos-latest, curl https://raw.githubusercontent.com/lean...	1s
Build and test (leanprover/lean4:4.5.0, macos-latest, brew install elan-init )	1m 49s
Build and test (leanprover/lean4:4.6.0, ubuntu-latest, curl https://raw.githubusercontent.com/lea...	39s
Build and test (leanprover/lean4:4.6.0, macos-latest, curl https://raw.githubusercontent.com/lean...	1s
Build and test (leanprover/lean4:4.6.0, macos-latest, brew install elan-init )	1s
Build and test (leanprover/lean4:4.7.0, ubuntu-latest, curl https://raw.githubusercontent.com/lea...	40s
Build and test (leanprover/lean4:4.7.0, macos-latest, curl https://raw.githubusercontent.com/lean...	1s
Build and test (leanprover/lean4:4.7.0, macos-latest, brew install elan-init )	1s
Build and test (leanprover/lean4:nightly-2024-04-07, ubuntu-latest, curl https://raw.githubuserco...	41s
Build and test (leanprover/lean4:nightly-2024-04-07, macos-latest, curl https://raw.githubusercon...	1s
Build and test (leanprover/lean4:nightly-2024-04-07, macos-latest, brew install elan-init )	1s
	14m 19s