Skip to content

Actions: runtimeverification/solana-token

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
260 workflow runs
260 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Update rv-run-proofs.yaml to use stable_mir_json from the kmir docker… Proofs #152: Commit 80b2345 pushed by yiyi-wang-rv
3m 0s proofs
proofs
3m 0s
RV Run Proofs RV Run Proofs #56: Manually run by yiyi-wang-rv
1h 6m 6s update-rv-run-proofs
update-rv-run-proofs
1h 6m 6s
Update rv-run-proofs.yaml to use stable_mir_json from the kmir docker. Proofs #151: Pull request #151 synchronize by yiyi-wang-rv
3m 7s update-rv-run-proofs
update-rv-run-proofs
3m 7s
RV Run Proofs RV Run Proofs #55: Manually run by yiyi-wang-rv
1m 43s update-rv-run-proofs
update-rv-run-proofs
1m 43s
RV Run Proofs RV Run Proofs #54: Manually run by yiyi-wang-rv
10s update-rv-run-proofs
update-rv-run-proofs
10s
Update rv-run-proofs.yaml to use stable_mir_json from the kmir docker. Proofs #150: Pull request #151 synchronize by yiyi-wang-rv
3m 11s update-rv-run-proofs
update-rv-run-proofs
3m 11s
RV Run Proofs RV Run Proofs #53: Manually run by yiyi-wang-rv
1m 52s update-rv-run-proofs
update-rv-run-proofs
1m 52s
Update rv-run-proofs.yaml to use stable_mir_json from the kmir docker. Proofs #149: Pull request #151 synchronize by yiyi-wang-rv
3m 18s update-rv-run-proofs
update-rv-run-proofs
3m 18s