Skip to content
Back to pull request #21

feat: extensible slicing #118

Sign in to view logs

feat: extensible slicing

feat: extensible slicing #118

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 1s
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 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.5.0)
1m 58s
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 10s
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)
1m 59s
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 6s
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 59s
Build and test (macos-latest, brew install elan-init , 4.7.0)
1m 34s
Build and test (macos-latest, brew install elan-init , 4.3.0)
1m 46s
17m 35s