Convert Git submodules to regular directories (partial - mpl incomple… #1030
This workflow is awaiting approval from a maintainer in #845
Triggered via pull request
December 24, 2025 14:45
FelipeWielewski
Status
Action required
Total duration
–
Artifacts
–
This workflow is awaiting approval from a maintainer in #845
pull.yml
on: pull_request
getVersion
/
getDafnyVersion
getFormatVersion
/
getDafnyFormatVersion
getVerifyVersion
/
getDafnyVerifyVersion
Matrix: pr-dafny-mkp-keyring-legacy-test-vectors / generateMkpKeyringLegacyFormatEncryptVectors
Waiting for pending jobs
Matrix: pr-ci-codegen / code-generation
Waiting for pending jobs
Matrix: pr-ci-go / testGo
Waiting for pending jobs
Matrix: pr-ci-net / testDotNet
Waiting for pending jobs
Matrix: pr-ci-net / testVectors
Waiting for pending jobs
Matrix: pr-ci-rust / testRust
Waiting for pending jobs
Matrix: pr-ci-rust / testVectors
Waiting for pending jobs
Matrix: pr-dafny-keyring-test-vectors / generateKeyringEncryptVectors
Waiting for pending jobs
Matrix: pr-dafny-legacy-test-vectors / decryptEncryptVectors
Waiting for pending jobs
Matrix: pr-test-vectors / decrypt_python_vectors
Waiting for pending jobs
Matrix: pr-test-vectors / generate_vectors
Waiting for pending jobs
Matrix: pr-ci-format / format_projects
Waiting for pending jobs
Matrix: pr-ci-verification / verification
Waiting for pending jobs
Matrix: pr-dafny-mkp-keyring-legacy-test-vectors / testWritesWithJs
Waiting for pending jobs
Matrix: pr-dafny-mkp-keyring-legacy-test-vectors / testInteroperabilityWithJs
Waiting for pending jobs
Matrix: pr-dafny-mkp-keyring-legacy-test-vectors / testInteroperablity
Waiting for pending jobs
Matrix: pr-dafny-keyring-test-vectors / testInteroperablity
Waiting for pending jobs
Matrix: pr-test-vectors / decrypt_net_vectors_with_js
Waiting for pending jobs
Matrix: pr-dafny-mkp-keyring-legacy-test-vectors / testWhatJsWrote
Waiting for pending jobs
pr-ci-all-required