Further typechecker and interpreter cleanup #3936

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
config	7s
config	7s
config	7s
config	7s
config	7s
build (ubuntu-22.04, 3.10.3.0, 9.4.8, true, false)	5m 33s
build (ubuntu-22.04, 3.10.3.0, 9.4.8, true, false)	5m 33s
build (ubuntu-22.04, 3.10.3.0, 9.4.8, true, false)	5m 33s
build (ubuntu-22.04, 3.10.3.0, 9.4.8, true, false)	5m 33s
build (ubuntu-22.04, 3.10.3.0, 9.4.8, true, false)	5m 33s
build (ubuntu-22.04, 3.10.3.0, 9.6.6, true, false)	5m 31s
build (ubuntu-22.04, 3.10.3.0, 9.6.6, true, false)	5m 31s
build (ubuntu-22.04, 3.10.3.0, 9.6.6, true, false)	5m 31s
build (ubuntu-22.04, 3.10.3.0, 9.6.6, true, false)	5m 31s
build (ubuntu-22.04, 3.10.3.0, 9.6.6, true, false)	5m 31s
build-push-image	0s
build-push-image	0s
build-push-image	0s
build-push-image	0s
build-push-image	0s
build (ubuntu-22.04, 3.10.3.0, 9.8.2, true, false)	5m 37s
build (ubuntu-22.04, 3.10.3.0, 9.8.2, true, false)	5m 37s
build (ubuntu-22.04, 3.10.3.0, 9.8.2, true, false)	5m 37s
build (ubuntu-22.04, 3.10.3.0, 9.8.2, true, false)	5m 37s
build (ubuntu-22.04, 3.10.3.0, 9.8.2, true, false)	5m 37s
build (ubuntu-20.04, 9.4.8, 3.10.3.0, false, false)	5m 9s
build (ubuntu-20.04, 9.4.8, 3.10.3.0, false, false)	5m 9s
build (ubuntu-20.04, 9.4.8, 3.10.3.0, false, false)	5m 9s
build (ubuntu-20.04, 9.4.8, 3.10.3.0, false, false)	5m 9s
build (ubuntu-20.04, 9.4.8, 3.10.3.0, false, false)	5m 9s
build (ubuntu-22.04, 9.4.8, 3.10.3.0, true, true)	8m 36s
build (ubuntu-22.04, 9.4.8, 3.10.3.0, true, true)	8m 36s
build (ubuntu-22.04, 9.4.8, 3.10.3.0, true, true)	8m 36s
build (ubuntu-22.04, 9.4.8, 3.10.3.0, true, true)	8m 36s
build (ubuntu-22.04, 9.4.8, 3.10.3.0, true, true)	8m 36s
build (windows-2019, 9.4.8, true, false)	8m 36s
build (windows-2019, 9.4.8, true, false)	8m 36s
build (windows-2019, 9.4.8, true, false)	8m 36s
build (windows-2019, 9.4.8, true, false)	8m 36s
build (windows-2019, 9.4.8, true, false)	8m 36s
build (macos-13, 9.4.8, true, false)	10m 42s
build (macos-13, 9.4.8, true, false)	10m 42s
build (macos-13, 9.4.8, true, false)	10m 42s
build (macos-13, 9.4.8, true, false)	10m 42s
build (macos-13, 9.4.8, true, false)	10m 42s
build (macos-14, 9.4.8, true, false)	7m 52s
build (macos-14, 9.4.8, true, false)	7m 52s
build (macos-14, 9.4.8, true, false)	7m 52s
build (macos-14, 9.4.8, true, false)	7m 52s
build (macos-14, 9.4.8, true, false)	7m 52s
mr-solver-tests (ubuntu-22.04)	26s
mr-solver-tests (ubuntu-22.04)	26s
mr-solver-tests (ubuntu-22.04)	26s
mr-solver-tests (ubuntu-22.04)	26s
mr-solver-tests (ubuntu-22.04)	26s
saw-remote-api-tests (Install and test, saw-remote-api/scripts/run_rpc_tests.sh, ubuntu-22.04)	1m 25s
saw-remote-api-tests (Install and test, saw-remote-api/scripts/run_rpc_tests.sh, ubuntu-22.04)	1m 25s
saw-remote-api-tests (Install and test, saw-remote-api/scripts/run_rpc_tests.sh, ubuntu-22.04)	1m 25s
saw-remote-api-tests (Install and test, saw-remote-api/scripts/run_rpc_tests.sh, ubuntu-22.04)	1m 25s
saw-remote-api-tests (Install and test, saw-remote-api/scripts/run_rpc_tests.sh, ubuntu-22.04)	1m 25s
mr-solver-tests (macos-14)	1m 4s
mr-solver-tests (macos-14)	1m 4s
mr-solver-tests (macos-14)	1m 4s
mr-solver-tests (macos-14)	1m 4s
mr-solver-tests (macos-14)	1m 4s
saw-remote-api-tests (Install on MacOS, cd saw-remote-api/python/ poetry install poetry run mypy ...	1m 10s
saw-remote-api-tests (Install on MacOS, cd saw-remote-api/python/ poetry install poetry run mypy ...	1m 10s
saw-remote-api-tests (Install on MacOS, cd saw-remote-api/python/ poetry install poetry run mypy ...	1m 10s
saw-remote-api-tests (Install on MacOS, cd saw-remote-api/python/ poetry install poetry run mypy ...	1m 10s
saw-remote-api-tests (Install on MacOS, cd saw-remote-api/python/ poetry install poetry run mypy ...	1m 10s
saw-remote-api-tests (Check docs, saw-remote-api/scripts/check_docs.sh, ubuntu-22.04)	33s
saw-remote-api-tests (Check docs, saw-remote-api/scripts/check_docs.sh, ubuntu-22.04)	33s
saw-remote-api-tests (Check docs, saw-remote-api/scripts/check_docs.sh, ubuntu-22.04)	33s
saw-remote-api-tests (Check docs, saw-remote-api/scripts/check_docs.sh, ubuntu-22.04)	33s
saw-remote-api-tests (Check docs, saw-remote-api/scripts/check_docs.sh, ubuntu-22.04)	33s
Run integration tests with coverage reporting (integration_tests, ubuntu-22.04)	13m 17s
Run integration tests with coverage reporting (integration_tests, ubuntu-22.04)	13m 17s
Run integration tests with coverage reporting (integration_tests, ubuntu-22.04)	13m 17s
Run integration tests with coverage reporting (integration_tests, ubuntu-22.04)	13m 17s
Run integration tests with coverage reporting (integration_tests, ubuntu-22.04)	13m 17s
cabal-test (integration_tests, ubuntu-22.04, false)	9m 32s
cabal-test (integration_tests, ubuntu-22.04, false)	9m 32s
cabal-test (integration_tests, ubuntu-22.04, false)	9m 32s
cabal-test (integration_tests, ubuntu-22.04, false)	9m 32s
cabal-test (integration_tests, ubuntu-22.04, false)	9m 32s
heapster-tests (ubuntu-22.04)	27m 18s
heapster-tests (ubuntu-22.04)	27m 18s
heapster-tests (ubuntu-22.04)	27m 18s
heapster-tests (ubuntu-22.04)	27m 18s
heapster-tests (ubuntu-22.04)	27m 18s
heapster-tests (macos-14)	22m 14s
heapster-tests (macos-14)	22m 14s
heapster-tests (macos-14)	22m 14s
heapster-tests (macos-14)	22m 14s
heapster-tests (macos-14)	22m 14s
Test s2n proofs (hmac, ubuntu-22.04, 9.4.8)	6m 21s
Test s2n proofs (hmac, ubuntu-22.04, 9.4.8)	6m 21s
Test s2n proofs (hmac, ubuntu-22.04, 9.4.8)	6m 21s
Test s2n proofs (hmac, ubuntu-22.04, 9.4.8)	6m 21s
Test s2n proofs (hmac, ubuntu-22.04, 9.4.8)	6m 21s
cabal-test (test-sawcore, ubuntu-22.04, false)	31s
cabal-test (test-sawcore, ubuntu-22.04, false)	31s
cabal-test (test-sawcore, ubuntu-22.04, false)	31s
cabal-test (test-sawcore, ubuntu-22.04, false)	31s
cabal-test (test-sawcore, ubuntu-22.04, false)	31s
Test s2n proofs (drbg, ubuntu-22.04, 9.4.8)	3m 29s
Test s2n proofs (drbg, ubuntu-22.04, 9.4.8)	3m 29s
Test s2n proofs (drbg, ubuntu-22.04, 9.4.8)	3m 29s
Test s2n proofs (drbg, ubuntu-22.04, 9.4.8)	3m 29s
Test s2n proofs (drbg, ubuntu-22.04, 9.4.8)	3m 29s
cabal-test (cryptol-saw-core-tc-test, ubuntu-22.04, false)	48s
cabal-test (cryptol-saw-core-tc-test, ubuntu-22.04, false)	48s
cabal-test (cryptol-saw-core-tc-test, ubuntu-22.04, false)	48s
cabal-test (cryptol-saw-core-tc-test, ubuntu-22.04, false)	48s
cabal-test (cryptol-saw-core-tc-test, ubuntu-22.04, false)	48s
Test s2n proofs (sike, ubuntu-22.04, 9.4.8)	4m 50s
Test s2n proofs (sike, ubuntu-22.04, 9.4.8)	4m 50s
Test s2n proofs (sike, ubuntu-22.04, 9.4.8)	4m 50s
Test s2n proofs (sike, ubuntu-22.04, 9.4.8)	4m 50s
Test s2n proofs (sike, ubuntu-22.04, 9.4.8)	4m 50s
Test SAW exercises (ubuntu-22.04, 9.4.8)	2m 15s
Test SAW exercises (ubuntu-22.04, 9.4.8)	2m 15s
Test SAW exercises (ubuntu-22.04, 9.4.8)	2m 15s
Test SAW exercises (ubuntu-22.04, 9.4.8)	2m 15s
Test SAW exercises (ubuntu-22.04, 9.4.8)	2m 15s
cabal-test (prover_tests, ubuntu-22.04, false)	25s
cabal-test (prover_tests, ubuntu-22.04, false)	25s
cabal-test (prover_tests, ubuntu-22.04, false)	25s
cabal-test (prover_tests, ubuntu-22.04, false)	25s
cabal-test (prover_tests, ubuntu-22.04, false)	25s
Test s2n proofs (bike, ubuntu-22.04, 9.4.8)	7m 10s
Test s2n proofs (bike, ubuntu-22.04, 9.4.8)	7m 10s
Test s2n proofs (bike, ubuntu-22.04, 9.4.8)	7m 10s
Test s2n proofs (bike, ubuntu-22.04, 9.4.8)	7m 10s
Test s2n proofs (bike, ubuntu-22.04, 9.4.8)	7m 10s
cabal-test (integration_tests, macos-14, true)	10m 10s
cabal-test (integration_tests, macos-14, true)	10m 10s
cabal-test (integration_tests, macos-14, true)	10m 10s
cabal-test (integration_tests, macos-14, true)	10m 10s
cabal-test (integration_tests, macos-14, true)	10m 10s
Test s2n proofs (tls, ubuntu-22.04, 9.4.8)	3m 28s
Test s2n proofs (tls, ubuntu-22.04, 9.4.8)	3m 35s
Test s2n proofs (tls, ubuntu-22.04, 9.4.8)	3m 35s
Test s2n proofs (tls, ubuntu-22.04, 9.4.8)	3m 35s
Test s2n proofs (tls, ubuntu-22.04, 9.4.8)	3m 35s
cabal-test (integration_tests, windows-2019, true, 60)	15m 30s
cabal-test (integration_tests, windows-2019, true, 60)	15m 30s
cabal-test (integration_tests, windows-2019, true, 60)	15m 30s
cabal-test (integration_tests, windows-2019, true, 60)	15m 30s
cabal-test (integration_tests, windows-2019, true, 60)	15m 30s
Test s2n proofs (hmac-failure, ubuntu-22.04, 9.4.8)	3m 49s
Test s2n proofs (hmac-failure, ubuntu-22.04, 9.4.8)	3m 49s
Test s2n proofs (hmac-failure, ubuntu-22.04, 9.4.8)	3m 49s
Test s2n proofs (hmac-failure, ubuntu-22.04, 9.4.8)	3m 49s
Test s2n proofs (hmac-failure, ubuntu-22.04, 9.4.8)	3m 49s
Test s2n proofs (awslc, ubuntu-22.04, 9.4.8)	2m 58s
Test s2n proofs (awslc, ubuntu-22.04, 9.4.8)	2m 58s
Test s2n proofs (awslc, ubuntu-22.04, 9.4.8)	25m 2s
Test s2n proofs (awslc, ubuntu-22.04, 9.4.8)	25m 2s
Test s2n proofs (awslc, ubuntu-22.04, 9.4.8)	25m 2s
Test s2n proofs (blst, ubuntu-22.04, 9.4.8)	2m 38s
Test s2n proofs (blst, ubuntu-22.04, 9.4.8)	2m 38s
Test s2n proofs (blst, ubuntu-22.04, 9.4.8)	2m 38s
Test s2n proofs (blst, ubuntu-22.04, 9.4.8)	2m 30s
Test s2n proofs (blst, ubuntu-22.04, 9.4.8)	8m 54s
mergify	0s
mergify	0s
mergify	0s
mergify	0s
mergify	0s
	17h 48m 8s

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Further typechecker and interpreter cleanup #3936

Usage

Further typechecker and interpreter cleanup #3936

Jobs

Run details

Run time