CI

chore: add trace nodes for highlighting operations #146

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)	2m 50s
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)	2m 46s
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)	2m 40s
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)	2m 43s
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)	2m 43s
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)	2m 50s
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)	2m 40s
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)	2m 45s
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 17s
Build and test (macos-latest, brew install elan-init , 4.8.0)	4m 52s
Build and test (macos-latest, brew install elan-init , 4.3.0)	2m 8s
	31m 14s