Skip to content

Actions: runtimeverification/solana-token

Actions

Proofs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
proofs.yml
275 workflow runs
275 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Split expensive tests based on n={1, 2, 3} (#194) Proofs #275: Commit 3f0d70d pushed by automergerpr-permission-manager Bot
3m 8s proofs
proofs
3m 8s
Split expensive tests based on n={1, 2, 3} Proofs #274: Pull request #194 synchronize by mariaKt
3m 12s mk/spli-n-versions
mk/spli-n-versions
3m 12s
Split expensive tests based on n={1, 2, 3} Proofs #273: Pull request #194 synchronize by mariaKt
3m 7s mk/spli-n-versions
mk/spli-n-versions
3m 7s
Split expensive tests based on n={1, 2, 3} Proofs #272: Pull request #194 synchronize by mariaKt
3m 6s mk/spli-n-versions
mk/spli-n-versions
3m 6s
Split expensive tests based on n={1, 2, 3} Proofs #271: Pull request #194 synchronize by mariaKt
3m 11s mk/spli-n-versions
mk/spli-n-versions
3m 11s
Split expensive tests based on n={1, 2, 3} Proofs #270: Pull request #194 synchronize by mariaKt
3m 3s mk/spli-n-versions
mk/spli-n-versions
3m 3s
Split expensive tests based on n={1, 2, 3} Proofs #269: Pull request #194 opened by mariaKt
2m 51s mk/spli-n-versions
mk/spli-n-versions
2m 51s
Updated mir-semantics submodule (#193) Proofs #268: Commit 9b2b5e6 pushed by automergerpr-permission-manager Bot
3m 1s proofs
proofs
3m 1s
Updated mir-semantics submodule Proofs #267: Pull request #193 opened by mariaKt
3m 0s update/mir-semantics-submodule
update/mir-semantics-submodule
3m 0s
Changed number of signers from 3 to 2 (#192) Proofs #266: Commit 85016e7 pushed by dkcumming
3m 1s proofs
proofs
3m 1s
Changed number of signers from 3 to 2 Proofs #265: Pull request #192 opened by mariaKt
3m 10s mk/num-signers-2
mk/num-signers-2
3m 10s
Update mir-semantics submodule (#191) Proofs #264: Commit c00d29e pushed by mariaKt
3m 4s proofs
proofs
3m 4s
Update mir-semantics submodule Proofs #263: Pull request #191 opened by mariaKt
3m 5s update/mir-semantics-submodule
update/mir-semantics-submodule
3m 5s
Fix validate owner spec (#190) Proofs #262: Commit 5bce615 pushed by dkcumming
2m 59s proofs
proofs
2m 59s
Fix validate owner spec Proofs #261: Pull request #190 synchronize by mariaKt
2m 34s mk/fix-validate-owner-spec
mk/fix-validate-owner-spec
2m 34s
Added variants of 3 tests with 3 (MAX_SIGNERS) signers (#188) Proofs #260: Commit 12a1fd3 pushed by automergerpr-permission-manager Bot
2m 59s proofs
proofs
2m 59s
Added variants of 3 tests with 3 (MAX_SIGNERS) signers Proofs #259: Pull request #188 synchronize by mariaKt
3m 10s mk/3sig-versions
mk/3sig-versions
3m 10s
Fix validate owner spec Proofs #258: Pull request #190 opened by mariaKt
3m 1s mk/fix-validate-owner-spec
mk/fix-validate-owner-spec
3m 1s
Added variants of 3 tests with 3 (MAX_SIGNERS) signers Proofs #257: Pull request #188 synchronize by dkcumming
3m 14s mk/3sig-versions
mk/3sig-versions
3m 14s
chore: update mir-semantics to latest feature/p-token (#189) Proofs #256: Commit 5d98099 pushed by Stevengre
3m 4s proofs
proofs
3m 4s
chore: update mir-semantics to latest feature/p-token Proofs #255: Pull request #189 opened by Stevengre
2m 59s update/mir-semantics
update/mir-semantics
2m 59s
Added variants of 3 tests with 3 (MAX_SIGNERS) signers Proofs #254: Pull request #188 synchronize by mariaKt
2m 59s mk/3sig-versions
mk/3sig-versions
2m 59s
Added variants of 3 tests with 3 (MAX_SIGNERS) signers Proofs #253: Pull request #188 synchronize by mariaKt
2m 55s mk/3sig-versions
mk/3sig-versions
2m 55s
Added variants of 3 tests with 3 (MAX_SIGNERS) signers Proofs #252: Pull request #188 opened by mariaKt
3m 12s mk/3sig-versions
mk/3sig-versions
3m 12s
fix(specs): Overflow, control flow, error code in withdraw multisig (… Proofs #251: Commit d5396db pushed by automergerpr-permission-manager Bot
3m 13s proofs
proofs
3m 13s