CI

chore: precompile modules #149

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build and test (ubuntu-latest, curl https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh -sSf \| sh -s -- -y --default-toolchain none , 4.3.0)	3m 47s
Build and test (ubuntu-latest, curl https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh -sSf \| sh -s -- -y --default-toolchain none , 4.4.0)	3m 45s
Build and test (ubuntu-latest, curl https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh -sSf \| sh -s -- -y --default-toolchain none , 4.5.0)	3m 44s
Build and test (ubuntu-latest, curl https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh -sSf \| sh -s -- -y --default-toolchain none , 4.6.0)	3m 26s
Build and test (ubuntu-latest, curl https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh -sSf \| sh -s -- -y --default-toolchain none , 4.7.0)	3m 16s
Build and test (ubuntu-latest, curl https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh -sSf \| sh -s -- -y --default-toolchain none , 4.8.0)	3m 25s
Build and test (ubuntu-latest, curl https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh -sSf \| sh -s -- -y --default-toolchain none , 4.9.0-rc1)	3m 29s
Build and test (ubuntu-latest, curl https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh -sSf \| sh -s -- -y --default-toolchain none , nightly-2024-06-12)	3m 32s
Build and test (macos-latest, curl https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh -sSf \| sh -s -- -y --default-toolchain none , 4.8.0)	2m 33s
Build and test (macos-latest, brew install elan-init , 4.8.0)	4m 39s
Build and test (macos-latest, brew install elan-init , 4.3.0)	2m 35s
	38m 11s