chore: Bump MPL dependency to 1.9.0, consolidate project.properties files
#673
lucasmcdonald3pull.yml
on: pull_request
getVersion
/
getDafnyVersion
7s
getFormatVersion
/
getDafnyFormatVersion
6s
getVerifyVersion
/
getDafnyVerifyVersion
11s
Matrix: pr-ci-codegen / code-generation
Matrix: pr-ci-net / testDotNet
Matrix: pr-ci-net / testVectors
Matrix: pr-ci-rust / testRust
Matrix: pr-ci-rust / testVectors
Matrix: pr-dafny-legacy-test-vectors / decryptEncryptVectors
Matrix: pr-dafny-test-vectors / generateEncryptVectors
Matrix: pr-test-vectors / decrypt_python_vectors
Matrix: pr-test-vectors / generate_vectors
Matrix: pr-ci-go / testGo
Matrix: pr-ci-format / format_projects
Matrix: pr-ci-verification / verification
Matrix: pr-dafny-test-vectors / testInteroperablity
Matrix: pr-test-vectors / decrypt_net_vectors_with_js
pr-ci-all-required
1s
Annotations
403 warnings
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
macos-13_vector_artifact
|
28.6 MB |
|
|
macos-13_vector_artifact_go_e4bc246a7383ae4e65ddd0ec426b5fc93bd2e134
|
5.3 MB |
|
|
macos-13_vector_artifact_java_e4bc246a7383ae4e65ddd0ec426b5fc93bd2e134
|
5.12 MB |
|
|
macos-13_vector_artifact_net_e4bc246a7383ae4e65ddd0ec426b5fc93bd2e134
|
5.3 MB |
|
|
macos-13_vector_artifact_rust_e4bc246a7383ae4e65ddd0ec426b5fc93bd2e134
|
5.3 MB |
|
|
ubuntu-22.04_vector_artifact
|
28.6 MB |
|
|
ubuntu-22.04_vector_artifact_go_e4bc246a7383ae4e65ddd0ec426b5fc93bd2e134
|
5.3 MB |
|
|
ubuntu-22.04_vector_artifact_java_e4bc246a7383ae4e65ddd0ec426b5fc93bd2e134
|
5.12 MB |
|
|
ubuntu-22.04_vector_artifact_net_e4bc246a7383ae4e65ddd0ec426b5fc93bd2e134
|
5.3 MB |
|
|
ubuntu-22.04_vector_artifact_rust_e4bc246a7383ae4e65ddd0ec426b5fc93bd2e134
|
5.3 MB |
|