Skip to content
CI

fix: correctly pass info trees in highlight generation #92

Sign in to view logs

fix: correctly pass info trees in highlight generation

fix: correctly pass info trees in highlight generation #92

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 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.4.0)
2m 22s
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 22s
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 13s
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 39s
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-04-07)
2m 37s
Build and test (macos-latest, curl https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh -sSf | sh -s -- -y --default-toolchain none , 4.7.0)
1m 38s
Build and test (macos-latest, brew install elan-init , 4.7.0)
1m 40s
Build and test (macos-latest, brew install elan-init , 4.3.0)
1m 42s
19m 39s