Skip to content

Actions: runtimeverification/solana-token

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
198 workflow runs
198 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Upgrade mir-semantics dependency Proofs #103: Pull request #136 synchronize by jberthold
3m 14s update-dependency
update-dependency
3m 14s
Upgrade mir-semantics dependency Proofs #102: Pull request #136 opened by jberthold
3m 4s update-dependency
update-dependency
3m 4s
chore(spl): update changes in #124, #134 for spl-token specs (#135) Proofs #101: Commit aa52fa1 pushed by jberthold
3m 6s proofs
proofs
3m 6s
chore(spl): update changes in #124, #134 for spl-token specs Proofs #100: Pull request #135 opened by Stevengre
3m 14s jh/update-spl
jh/update-spl
3m 14s
RV Run Proofs RV Run Proofs #49: Manually run by jberthold
2h 58m 44s proofs
proofs
2h 58m 44s
RV Run Proofs RV Run Proofs #48: Manually run by jberthold
31m 53s proofs
proofs
31m 53s
RV Run Proofs RV Run Proofs #47: Manually run by jberthold
2m 52s proofs
proofs
2m 52s
Fix checks and their ordering in some proofs, update mir-semantics de… Proofs #99: Commit 3d1d9bd pushed by jberthold
3m 23s proofs
proofs
3m 23s
Fix checks and their ordering in some proofs, update mir-semantics dependency Proofs #98: Pull request #134 synchronize by jberthold
3m 5s fix-error-ordering-withdraw_excess
fix-error-ordering-withdraw_excess
3m 5s
Fix checks and their ordering in some proofs, update mir-semantics dependency Proofs #97: Pull request #134 synchronize by jberthold
3m 9s fix-error-ordering-withdraw_excess
fix-error-ordering-withdraw_excess
3m 9s
Fix checks and their ordering in some proofs, update mir-semantics dependency Proofs #96: Pull request #134 synchronize by jberthold
34s fix-error-ordering-withdraw_excess
fix-error-ordering-withdraw_excess
34s
Fix checks and their ordering in some proofs, update mir-semantics dependency Proofs #95: Pull request #134 synchronize by jberthold
3m 16s fix-error-ordering-withdraw_excess
fix-error-ordering-withdraw_excess
3m 16s
Fix checks and their ordering in some proofs, update mir-semantics dependency Proofs #94: Pull request #134 opened by jberthold
42s fix-error-ordering-withdraw_excess
fix-error-ordering-withdraw_excess
42s
checkout to previous mint_to spec (#133) Proofs #93: Commit f9a2014 pushed by jberthold
2m 57s proofs
proofs
2m 57s