chore: improve performance #823
ajewellamzpull.yml
on: pull_request
getVersion
/
getDafnyVersion
6s
getFormatVersion
/
getDafnyFormatVersion
7s
getVerifyVersion
/
getDafnyVerifyVersion
10s
Matrix: pr-dafny-mkp-keyring-legacy-test-vectors / generateMkpKeyringLegacyFormatEncryptVectors
Matrix: pr-ci-codegen / code-generation
Matrix: pr-ci-go / testGo
Matrix: pr-ci-net / testDotNet
Matrix: pr-ci-net / testVectors
Matrix: pr-ci-rust / testRust
Matrix: pr-ci-rust / testVectors
Matrix: pr-dafny-keyring-test-vectors / generateKeyringEncryptVectors
Matrix: pr-dafny-legacy-test-vectors / decryptEncryptVectors
Matrix: pr-test-vectors / decrypt_python_vectors
Matrix: pr-test-vectors / generate_vectors
Matrix: pr-ci-format / format_projects
Matrix: pr-ci-verification / verification
Matrix: pr-dafny-mkp-keyring-legacy-test-vectors / testWritesWithJs
Matrix: pr-dafny-mkp-keyring-legacy-test-vectors / testInteroperabilityWithJs
Matrix: pr-dafny-mkp-keyring-legacy-test-vectors / testInteroperablity
Matrix: pr-dafny-keyring-test-vectors / testInteroperablity
Matrix: pr-test-vectors / decrypt_net_vectors_with_js
Matrix: pr-dafny-mkp-keyring-legacy-test-vectors / testWhatJsWrote
pr-ci-all-required
2s
Annotations
414 warnings
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
ubuntu-22.04_vector_artifact
|
28.6 MB |
sha256:781db149aa355fffe7fcdc086cebcbcd91aa4a08f3a761df4b991a75172ff688
|
|
|
ubuntu-22.04_vector_artifact_c_d1acf3636c0eaff457acb817e0304d9abadb79bb
|
2.41 MB |
sha256:53cd60ff312b41b575d8579969aeb9653aea77b6e612fb1133287e8805af9284
|
|
|
ubuntu-22.04_vector_artifact_go_d1acf3636c0eaff457acb817e0304d9abadb79bb
|
15.1 MB |
sha256:eb6d24085e1da1bfa406ad222b838a4f18c14b412c49c1fa934095306acc0099
|
|
|
ubuntu-22.04_vector_artifact_go_legacy_format_d1acf3636c0eaff457acb817e0304d9abadb79bb
|
11.7 MB |
sha256:3b911c0cbca04e10f8bb560f7aaaa38f82c7167efbe2e34f2947446fcc8d8258
|
|
|
ubuntu-22.04_vector_artifact_java_d1acf3636c0eaff457acb817e0304d9abadb79bb
|
14.6 MB |
sha256:0bcdde4b82da7c2addf7679652ec7860604a164942c1d7f18f55deb7f06bcc89
|
|
|
ubuntu-22.04_vector_artifact_java_legacy_format_d1acf3636c0eaff457acb817e0304d9abadb79bb
|
11.3 MB |
sha256:f55bef71d406ff419ed1bec0d1abcda90c4bba6b020d6c4eb4a225bfbddbfd8c
|
|
|
ubuntu-22.04_vector_artifact_java_mkp_legacy_format_d1acf3636c0eaff457acb817e0304d9abadb79bb
|
11.3 MB |
sha256:f9ffb2ba8dd21ef248f13f0875467d6389f58c2a61dd6eaf90e476cf4c6dabe9
|
|
|
ubuntu-22.04_vector_artifact_javascript_legacy_format_d1acf3636c0eaff457acb817e0304d9abadb79bb
|
11.6 MB |
sha256:ac5c54838a2156fae144796a85486b34ff7bb209396ccacb32a7919ccce0b87d
|
|
|
ubuntu-22.04_vector_artifact_net_d1acf3636c0eaff457acb817e0304d9abadb79bb
|
15.2 MB |
sha256:b3d6d1a5ddf9fcff2267c66a4ff477c757d375bd8a8f3ac87c49a02fa86d7ea5
|
|
|
ubuntu-22.04_vector_artifact_net_legacy_format_d1acf3636c0eaff457acb817e0304d9abadb79bb
|
11.7 MB |
sha256:059d306acd7c5afb6c4f5bb6a48cb918b06ac09681ce3e056d62e9920730e20a
|
|
|
ubuntu-22.04_vector_artifact_python_d1acf3636c0eaff457acb817e0304d9abadb79bb
|
14.6 MB |
sha256:b99e31a8c95ce59b3e4934553be2f69195919be2ba10449e06441f6184c1c3eb
|
|
|
ubuntu-22.04_vector_artifact_python_legacy_format_d1acf3636c0eaff457acb817e0304d9abadb79bb
|
11.3 MB |
sha256:dd981368f9b583ade2db50fab9d57ab33bd0aa41141bdaacbc99b241af1f8d49
|
|
|
ubuntu-22.04_vector_artifact_python_mkp_legacy_format_d1acf3636c0eaff457acb817e0304d9abadb79bb
|
11.3 MB |
sha256:4b644767ed5fb80d4c4899d01c04d468fcfc705fe0234735a01298e2d7a8d94d
|
|
|
ubuntu-22.04_vector_artifact_rust_d1acf3636c0eaff457acb817e0304d9abadb79bb
|
15.1 MB |
sha256:3de9b1ccdafe1d4ad4e13b830f261d33636c7ad42433d66232cff5d480fff2bb
|
|
|
ubuntu-22.04_vector_artifact_rust_legacy_format_d1acf3636c0eaff457acb817e0304d9abadb79bb
|
11.7 MB |
sha256:017d4e3db15fd4c14c2e67c7038dc58dd44a40990b39f7607c7324efce8f2d57
|
|