Continuous Integration

chore: add Mac and homebrew to CI #70

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...	50s
Build and test (leanprover/lean4:4.3.0, macos-latest, curl https://raw.githubusercontent.com/lean...	1m 58s
Build and test (leanprover/lean4:4.3.0, macos-latest, brew install elan-init )	2m 11s
Build and test (leanprover/lean4:4.4.0, ubuntu-latest, curl https://raw.githubusercontent.com/lea...	42s
Build and test (leanprover/lean4:4.4.0, macos-latest, curl https://raw.githubusercontent.com/lean...	2m 1s
Build and test (leanprover/lean4:4.4.0, macos-latest, brew install elan-init )	1m 55s
Build and test (leanprover/lean4:4.5.0, ubuntu-latest, curl https://raw.githubusercontent.com/lea...	40s
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 )	1s
Build and test (leanprover/lean4:4.6.0, ubuntu-latest, curl https://raw.githubusercontent.com/lea...	48s
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...	42s
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...	43s
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
	12m 38s