Skip to content
Cryptol

Make names in scope in functors accessible when their instantiations are loaded at the REPL #2055

Sign in to view logs

Make names in scope in functors accessible when their instantiations are loaded at the REPL

Make names in scope in functors accessible when their instantiations are loaded at the REPL #2055

Run time

Learn about OS pricing on GitHub Actions
Job Run time
config
8s
build (ubuntu-22.04, 8.10.7, 3.8.1.0, true)
12m 29s
build (ubuntu-22.04, 9.2.8, 3.8.1.0, true)
11m 42s
build (ubuntu-22.04, 9.4.5, 3.8.1.0, true)
5m 43s
build (macos-12, 8.10.7, 3.8.1.0, true)
13m 14s
build (macos-12, 9.2.8, 3.8.1.0, true)
11m 16s
build (macos-12, 9.4.5, 3.8.1.0, true)
6m 52s
build (windows-2019, 9.2.8, 3.8.1.0, true)
16m 9s
build (ubuntu-20.04, 9.2.8, false)
9m 22s
build-push-image
0s
test (test-lib, constraint-guards, ubuntu-22.04, false)
2m 19s
test (test-lib, constraint-guards, macos-12, false)
1m 14s
test (test-lib, constraint-guards, windows-2019, false)
2m 17s
test (test-lib, examples, ubuntu-22.04, false)
2m 49s
test (test-lib, examples, macos-12, false)
2m 28s
test (test-lib, examples, windows-2019, false)
2m 13s
test (test-lib, ffi, ubuntu-22.04, false)
2m 23s
test (test-lib, ffi, macos-12, false)
1m 33s
test (test-lib, ffi, windows-2019, false)
2m 16s
test (test-lib, issues, ubuntu-22.04, false)
3m 47s
test (test-lib, issues, macos-12, false)
2m 41s
test (test-lib, issues, windows-2019, false)
2m 56s
test (test-lib, modsys, ubuntu-22.04, false)
2m 43s
test (test-lib, modsys, macos-12, false)
1m 24s
test (test-lib, modsys, windows-2019, false)
2m 20s
test (test-lib, mono-binds, ubuntu-22.04, false)
3m 12s
test (test-lib, mono-binds, macos-12, false)
1m 36s
test (test-lib, mono-binds, windows-2019, false)
2m 57s
test (test-lib, parser, ubuntu-22.04, false)
2m 28s
test (test-lib, parser, macos-12, false)
1m 12s
test (test-lib, parser, windows-2019, false)
2m 15s
test (test-lib, regression, ubuntu-22.04, false)
4m 1s
test (test-lib, regression, macos-12, false)
3m 41s
test (test-lib, regression, windows-2019, false)
3m 57s
test (test-lib, renamer, ubuntu-22.04, false)
2m 34s
test (test-lib, renamer, macos-12, false)
1m 14s
test (test-lib, renamer, windows-2019, false)
2m 4s
test (test-lib, suiteb, ubuntu-22.04, false)
11m 13s
test (test-lib, suiteb, macos-12, false)
14m 5s
test (test-lib, suiteb, windows-2019, false)
15m 58s
test (rpc, ubuntu-22.04, false)
5m 29s
3h 20m 14s