Skip to content
Cryptol

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

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 #2065

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)
9m 24s
build (ubuntu-22.04, 9.2.8, 3.8.1.0, true)
11m 31s
build (ubuntu-22.04, 9.4.5, 3.8.1.0, true)
8m 1s
build (macos-12, 8.10.7, 3.8.1.0, true)
13m 20s
build (macos-12, 9.2.8, 3.8.1.0, true)
10m 48s
build (macos-12, 9.4.5, 3.8.1.0, true)
11m 43s
build (windows-2019, 9.2.8, 3.8.1.0, true)
14m 38s
build (ubuntu-20.04, 9.2.8, false)
9m 58s
build-push-image
0s
test (test-lib, constraint-guards, ubuntu-22.04, false)
2m 46s
test (test-lib, constraint-guards, macos-12, false)
1m 38s
test (test-lib, constraint-guards, windows-2019, false)
2m 28s
test (test-lib, examples, ubuntu-22.04, false)
2m 50s
test (test-lib, examples, macos-12, false)
1m 35s
test (test-lib, examples, windows-2019, false)
2m 42s
test (test-lib, ffi, ubuntu-22.04, false)
2m 48s
test (test-lib, ffi, macos-12, false)
1m 24s
test (test-lib, ffi, windows-2019, false)
2m 17s
test (test-lib, issues, ubuntu-22.04, false)
3m 44s
test (test-lib, issues, macos-12, false)
2m 37s
test (test-lib, issues, windows-2019, false)
3m 23s
test (test-lib, modsys, ubuntu-22.04, false)
3m 2s
test (test-lib, modsys, macos-12, false)
1m 39s
test (test-lib, modsys, windows-2019, false)
2m 39s
test (test-lib, mono-binds, ubuntu-22.04, false)
2m 28s
test (test-lib, mono-binds, macos-12, false)
1m 18s
test (test-lib, mono-binds, windows-2019, false)
2m 24s
test (test-lib, parser, ubuntu-22.04, false)
2m 23s
test (test-lib, parser, macos-12, false)
1m 20s
test (test-lib, parser, windows-2019, false)
2m 10s
test (test-lib, regression, ubuntu-22.04, false)
4m 53s
test (test-lib, regression, macos-12, false)
3m 51s
test (test-lib, regression, windows-2019, false)
4m 6s
test (test-lib, renamer, ubuntu-22.04, false)
2m 43s
test (test-lib, renamer, macos-12, false)
1m 30s
test (test-lib, renamer, windows-2019, false)
2m 15s
test (test-lib, suiteb, ubuntu-22.04, false)
13m 31s
test (test-lib, suiteb, macos-12, false)
13m 23s
test (test-lib, suiteb, windows-2019, false)
12m 58s
test (rpc, ubuntu-22.04, false)
4m 52s
3h 23m 8s