Skip to content

Actions: runtimeverification/solana-token

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
188 workflow runs
188 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
test(spl): update changes in #122 for spl-token specs Proofs #88: Pull request #123 synchronize by automergerpr-permission-manager bot
3m 21s jh/spl/align-ptoken
jh/spl/align-ptoken
3m 21s
test(spl): update changes in #122 for spl-token specs Proofs #87: Pull request #123 synchronize by Stevengre
3m 14s jh/spl/align-ptoken
jh/spl/align-ptoken
3m 14s
Updating mir-semantics dependency (#129) Proofs #86: Commit 6ae0843 pushed by jberthold
3m 23s proofs
proofs
3m 23s
test(spl): update changes in #122 for spl-token specs Proofs #85: Pull request #123 synchronize by automergerpr-permission-manager bot
3m 20s jh/spl/align-ptoken
jh/spl/align-ptoken
3m 20s
Updating mir-semantics dependency Proofs #84: Pull request #129 opened by jberthold
3m 14s update-mir-semantics
update-mir-semantics
3m 14s
Changed inner_test_validate_owner to return Ok(()) (#126) Proofs #83: Commit 379a954 pushed by dkcumming
3m 4s proofs
proofs
3m 4s