Skip to content

Actions: runtimeverification/solana-token

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
283 workflow runs
283 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Updated with latest feature/p-token (#166) Proofs #191: Commit 233457b pushed by automergerpr-permission-manager bot
2m 59s proofs
proofs
2m 59s
Updated with latest feature/p-token Proofs #190: Pull request #166 opened by dkcumming
3m 4s dc/update-master
dc/update-master
3m 4s
Update Multsig harnesses (#165) Proofs #189: Commit c17dc85 pushed by automergerpr-permission-manager bot
3m 4s proofs
proofs
3m 4s
Update Multsig harnesses Proofs #188: Pull request #165 opened by dkcumming
3m 10s dc/update-multisig
dc/update-multisig
3m 10s
Fix referencing error in test for same_account cheatcode (#164) Proofs #187: Commit 3c9d0fb pushed by dkcumming
3m 5s proofs
proofs
3m 5s
Fix referencing error in test for same_account cheatcode Proofs #186: Pull request #164 opened by dkcumming
3m 8s dc/fix-same-test
dc/fix-same-test
3m 8s
Added cheatcode_maybe_same_account (#161) Proofs #185: Commit 9e56453 pushed by automergerpr-permission-manager bot
3m 1s proofs
proofs
3m 1s
Added cheatcode_maybe_same_account Proofs #184: Pull request #161 synchronize by dkcumming
3m 12s dc/same-account-cheatcode
dc/same-account-cheatcode
3m 12s
Update mir-semantics dependency: additional asInt simplification (#163) Proofs #183: Commit f8397c2 pushed by automergerpr-permission-manager bot
3m 6s proofs
proofs
3m 6s
Update mir-semantics dependency: additional asInt simplification Proofs #182: Pull request #163 opened by jberthold
2m 56s update-mir-semantics
update-mir-semantics
2m 56s
Update mir-semantics submodule (#162) Proofs #181: Commit 8639f45 pushed by jberthold
3m 0s proofs
proofs
3m 0s
Update mir-semantics submodule Proofs #180: Pull request #162 opened by jberthold
3m 11s update-mir-semantics
update-mir-semantics
3m 11s
Added cheatcode_maybe_same_account Proofs #179: Pull request #161 opened by dkcumming
3m 8s dc/same-account-cheatcode
dc/same-account-cheatcode
3m 8s
Updated run-proofs.sh to use parallel option (#160) Proofs #178: Commit 36c7bc2 pushed by dkcumming
3m 18s proofs
proofs
3m 18s
Updated run-proofs.sh to use parallel option Proofs #177: Pull request #160 opened by dkcumming
3m 8s dc/parallel-run-proofs
dc/parallel-run-proofs
3m 8s
Dc/update mir semantics (#159) Proofs #176: Commit 263aa8e pushed by automergerpr-permission-manager bot
2m 58s proofs
proofs
2m 58s
Dc/update mir semantics Proofs #175: Pull request #159 opened by dkcumming
3m 13s dc/update-mir-semantics
dc/update-mir-semantics
3m 13s
call_process_set_auth macro: error if malformed option passed (#158) Proofs #174: Commit 045f52c pushed by jberthold
3m 23s proofs
proofs
3m 23s
call_process_set_auth macro: error if malformed option passed Proofs #173: Pull request #158 opened by jberthold
3m 8s jb/add-set-auth-invalid-option-case
jb/add-set-auth-invalid-option-case
3m 8s
Fix init_mint caller macros (replicate unpacking errors) (#157) Proofs #172: Commit 3ce04f9 pushed by jberthold
3m 17s proofs
proofs
3m 17s
Fix init_mint caller macros (replicate unpacking errors) Proofs #171: Pull request #157 opened by jberthold
3m 7s jb/fix-init-mint-caller-macro
jb/fix-init-mint-caller-macro
3m 7s
Hotfix: setup.sh without submodule update by default (#156) Proofs #170: Commit 2f8f42b pushed by jberthold
3m 13s proofs
proofs
3m 13s
Hotfix: setup.sh without submodule update by default Proofs #169: Pull request #156 opened by jberthold
3m 17s HOTFIX-setup-without-submodule-update-by-default
HOTFIX-setup-without-submodule-update-by-default
3m 17s
Updating mir semantics (#155) Proofs #168: Commit a4c8ef9 pushed by jberthold
3m 5s proofs
proofs
3m 5s
Updating mir semantics Proofs #167: Pull request #155 opened by dkcumming
3m 14s dc/updating-kmir
dc/updating-kmir
3m 14s