Skip to content
CI

feat: source file highlighting #239

Sign in to view logs

feat: source file highlighting

feat: source file highlighting #239

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.0.0)
6m 8s
Build and test (ubuntu-latest, curl https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh -sSf | sh -s -- -y --default-toolchain none , 4.1.0)
5m 55s
Build and test (ubuntu-latest, curl https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh -sSf | sh -s -- -y --default-toolchain none , 4.2.0)
6m 2s
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)
8m 5s
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)
8m 9s
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)
7m 53s
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)
7m 59s
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)
7m 54s
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)
8m 11s
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)
7m 56s
Build and test (ubuntu-latest, curl https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh -sSf | sh -s -- -y --default-toolchain none , 4.10.0)
8m 14s
Build and test (ubuntu-latest, curl https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh -sSf | sh -s -- -y --default-toolchain none , 4.11.0)
8m 9s
Build and test (ubuntu-latest, curl https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh -sSf | sh -s -- -y --default-toolchain none , 4.12.0)
8m 32s
Build and test (ubuntu-latest, curl https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh -sSf | sh -s -- -y --default-toolchain none , 4.13.0)
8m 0s
Build and test (ubuntu-latest, curl https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh -sSf | sh -s -- -y --default-toolchain none , 4.14.0-rc1)
8m 5s
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-09-03)
8m 14s
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-09-17)
7m 57s
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-10-10)
8m 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-10-18)
8m 32s
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-10-30)
8m 19s
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-11-04)
8m 25s
Build and test (macos-latest, curl https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh -sSf | sh -s -- -y --default-toolchain none , 4.9.1)
5m 59s
Build and test (macos-latest, brew install elan-init , 4.8.0)
6m 34s
Build and test (macos-latest, brew install elan-init , 4.3.0)
6m 40s
3h 4m 21s