Skip to content

Actions: runtimeverification/solana-token

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
212 workflow runs
212 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix(spl): align test_process_mint_to_checked's assumption to p-token Proofs #128: Pull request #147 opened by Stevengre
3m 8s jh/fix_mint_to_checked_remote
jh/fix_mint_to_checked_remote
3m 8s
fix(spl): modify tests for process_withdraw_excess_lamports with InvalidInstruction Proofs #127: Pull request #146 opened by Stevengre
3m 8s jh/process_withdraw_excess_lamports
jh/process_withdraw_excess_lamports
3m 8s
BurnChecked spec corrections (non-multisig) (#145) Proofs #126: Commit d10b7cc pushed by automergerpr-permission-manager bot
3m 13s proofs
proofs
3m 13s
BurnChecked spec corrections (non-multisig) Proofs #125: Pull request #145 opened by dkcumming
3m 7s dc/burn-checked-corrections
dc/burn-checked-corrections
3m 7s
Burn spec corrections (non-multisig) (#144) Proofs #124: Commit 232276b pushed by dkcumming
3m 7s proofs
proofs
3m 7s
Burn spec corrections (non-multisig) Proofs #123: Pull request #144 synchronize by dkcumming
3m 9s dc/burn-spec-corrections
dc/burn-spec-corrections
3m 9s
Burn spec corrections (non-multisig) Proofs #122: Pull request #144 synchronize by dkcumming
3m 5s dc/burn-spec-corrections
dc/burn-spec-corrections
3m 5s
fix(spl): refactor get_rent function and replace slice_eq with Pubk… Proofs #121: Commit d93fa90 pushed by Stevengre
3m 8s proofs
proofs
3m 8s
fix(spl): refactor get_rent function and replace slice_eq with Pubkey eq Proofs #120: Pull request #143 synchronize by Stevengre
3m 11s jh/fix4spl
jh/fix4spl
3m 11s
fix(spl): refactor get_rent function and replace slice_eq with Pubkey eq Proofs #119: Pull request #143 synchronize by Stevengre
3m 3s jh/fix4spl
jh/fix4spl
3m 3s
Burn spec corrections (non-multisig) Proofs #118: Pull request #144 synchronize by dkcumming
3m 15s dc/burn-spec-corrections
dc/burn-spec-corrections
3m 15s
Burn spec corrections (non-multisig) Proofs #117: Pull request #144 opened by dkcumming
28s dc/burn-spec-corrections
dc/burn-spec-corrections
28s
fix(spl): refactor get_rent function and replace slice_eq with Pubkey eq Proofs #116: Pull request #143 synchronize by Stevengre
3m 6s jh/fix4spl
jh/fix4spl
3m 6s
fix(spl): refactor get_rent function and replace slice_eq with Pubkey eq Proofs #115: Pull request #143 opened by Stevengre
3m 13s jh/fix4spl
jh/fix4spl
3m 13s
Updated mir-semantics submodule (#142) Proofs #114: Commit 73db3ab pushed by jberthold
3m 4s proofs
proofs
3m 4s
Updated mir-semantics submodule Proofs #113: Pull request #142 opened by dkcumming
3m 16s dc/update-mir-semantics-submodule
dc/update-mir-semantics-submodule
3m 16s
chore(spl): Merged Assert result.is_ok() for InitializeMint{2} ha… Proofs #112: Commit 9099e12 pushed by Stevengre
3m 16s proofs
proofs
3m 16s
chore(spl): Merged Assert result.is_ok() for InitializeMint{2} harnesses Proofs #111: Pull request #141 opened by Stevengre
3m 3s jh/update-spl
jh/update-spl
3m 3s
Assert result.is_ok() for InitializeMint{2} harnesses (#140) Proofs #110: Commit ffd21b7 pushed by automergerpr-permission-manager bot
3m 20s proofs
proofs
3m 20s
Assert result.is_ok() for InitializeMint{2} harnesses Proofs #109: Pull request #140 opened by dkcumming
3m 18s dc/assert-ok
dc/assert-ok
3m 18s
fix(spl): modify program to avoid missing function issue (#138) Proofs #108: Commit 5f5531d pushed by jberthold
3m 11s proofs
proofs
3m 11s
fix(spl): modify program to avoid missing function issue Proofs #107: Pull request #138 opened by Stevengre
3m 11s jh/spl/avoid-minus-1
jh/spl/avoid-minus-1
3m 11s
Update mir-semantics dependency (avoid unreachable vacuous branches) … Proofs #106: Commit 6ce7407 pushed by automergerpr-permission-manager bot
3m 14s proofs
proofs
3m 14s
Update mir-semantics dependency (avoid unreachable vacuous branches) Proofs #105: Pull request #137 opened by jberthold
3m 7s update-mir-dependency
update-mir-dependency
3m 7s
Upgrade mir-semantics dependency (#136) Proofs #104: Commit 613c282 pushed by jberthold
3m 7s proofs
proofs
3m 7s