chore: compatibility shims for HashMap, plus wider overall compat #190

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.0.0)	4m 28s
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)	4m 29s
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)	4m 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.3.0)	4m 18s
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)	4m 18s
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)	4m 19s
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)	4m 12s
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)	4m 23s
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)	4m 15s
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)	4m 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.10.0)	4m 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.11.0-rc1)	4m 21s
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-08-09)	3m 55s
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)	2m 51s
Build and test (macos-latest, brew install elan-init , 4.8.0)	3m 24s
Build and test (macos-latest, brew install elan-init , 4.3.0)	4m 5s
	1h 6m 30s