Skip to content
Dafny Interoperability Test

Dafny Interoperability Test #7

Sign in to view logs

Dafny Interoperability Test

Dafny Interoperability Test #7

Run time

Learn about OS pricing on GitHub Actions
Job Run time
dafny-interop-net / testDotNet (windows-latest)
4m 43s
dafny-interop-net / testDotNet (windows-latest)
3m 56s
dafny-interop-net-test-vectors / generate_vectors (ubuntu-latest)
2m 50s
dafny-interop-net-test-vectors / generate_vectors (ubuntu-latest)
2m 15s
dafny-interop-net / testDotNet (ubuntu-latest)
2m 37s
dafny-interop-net / testDotNet (ubuntu-latest)
2m 25s
dafny-interop-net-test-vectors / decrypt_python_vectors (windows-latest)
3m 4s
dafny-interop-net-test-vectors / decrypt_python_vectors (windows-latest)
2m 29s
dafny-interop-net-test-vectors / generate_vectors (macos-12)
3m 1s
dafny-interop-net-test-vectors / generate_vectors (macos-12)
2m 33s
dafny-interop-net / testDotNet (macos-12)
3m 53s
dafny-interop-net / testDotNet (macos-12)
3m 25s
dafny-interop-net-test-vectors / decrypt_python_vectors (ubuntu-latest)
2m 53s
dafny-interop-net-test-vectors / decrypt_python_vectors (ubuntu-latest)
2m 22s
dafny-interop-net-test-vectors / decrypt_python_vectors (macos-12)
3m 9s
dafny-interop-net-test-vectors / decrypt_python_vectors (macos-12)
2m 36s
dafny-interop-net-test-vectors / decrypt_net_vectors_with_js
0s
dafny-interop-net-test-vectors / decrypt_net_vectors_with_js
0s
48m 11s