Skip to content

Actions: runtimeverification/solana-token

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
194 workflow runs
194 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
checkout to previous mint_to spec Proofs #92: Pull request #133 opened by Stevengre
3m 11s recover-spec
recover-spec
3m 11s
test(spl): modify the test_process_mint_to spec post-condition sequ… Proofs #91: Commit ff7b5f7 pushed by Stevengre
3m 24s proofs
proofs
3m 24s
test(spl): modify the test_process_mint_to spec post-condition sequence Proofs #90: Pull request #131 opened by Stevengre
3m 8s jh/spl/modify-mint-to-validation-sequence
jh/spl/modify-mint-to-validation-sequence
3m 8s
test(spl): update changes in #122 for spl-token specs (#123) Proofs #89: Commit d433dbf pushed by automergerpr-permission-manager bot
3m 11s proofs
proofs
3m 11s