Skip to content

Actions: runtimeverification/solana-token

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
268 workflow runs
268 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Adding Formal Verification Report (#154) Proofs #166: Commit eeb80a3 pushed by automergerpr-permission-manager bot
3m 3s proofs
proofs
3m 3s
Adding Formal Verification Report Proofs #165: Pull request #154 opened by dkcumming
3m 8s dc/docs-for-proofs
dc/docs-for-proofs
3m 8s
Adding Formal Verification Report Proofs #164: Pull request #153 opened by dkcumming
3m 9s srs/manual-proofs
srs/manual-proofs
3m 9s
refacor: make the specs of spl-token and p-token easy to check consis… Proofs #163: Commit afd2f78 pushed by automergerpr-permission-manager bot
3m 22s proofs
proofs
3m 22s
refacor: make the specs of spl-token and p-token easy to check consistency Proofs #162: Pull request #150 synchronize by dkcumming
3m 15s jh/common-harness
jh/common-harness
3m 15s
RV Run Proofs RV Run Proofs #57: Manually run by yiyi-wang-rv
9m 0s proofs
proofs
9m 0s
refacor: make the specs of spl-token and p-token easy to check consistency Proofs #161: Pull request #150 synchronize by Stevengre
3m 6s jh/common-harness
jh/common-harness
3m 6s
Updates to multisig proofs and SPL-Token Proofs #160: Pull request #152 opened by dkcumming
3m 11s dc/multisig-updates
dc/multisig-updates
3m 11s
refacor: make the specs of spl-token and p-token easy to check consistency Proofs #159: Pull request #150 synchronize by Stevengre
3m 11s jh/common-harness
jh/common-harness
3m 11s
refacor: make the specs of spl-token and p-token easy to check consistency Proofs #158: Pull request #150 synchronize by Stevengre
3m 14s jh/common-harness
jh/common-harness
3m 14s
refacor: make the specs of spl-token and p-token easy to check consistency Proofs #157: Pull request #150 synchronize by Stevengre
31s jh/common-harness
jh/common-harness
31s
refacor: make the specs of spl-token and p-token easy to check consistency Proofs #156: Pull request #150 synchronize by Stevengre
31s jh/common-harness
jh/common-harness
31s
refacor: make the specs of spl-token and p-token easy to check consistency Proofs #155: Pull request #150 synchronize by Stevengre
33s jh/common-harness
jh/common-harness
33s
CloseAccount spec corrections (non-multisig) (#149) Proofs #154: Commit c7a8a69 pushed by dkcumming
3m 15s proofs
proofs
3m 15s
CloseAccount spec corrections (non-multisig) Proofs #153: Pull request #149 synchronize by dkcumming
3m 5s dc/close-account-correction
dc/close-account-correction
3m 5s