Skip to content

Actions: runtimeverification/solana-token

Actions

Proofs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
proofs.yml
78 workflow runs
78 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Changed inner_test_validate_owner to return Ok(()) Proofs #78: Pull request #126 synchronize by dkcumming
3m 2s dc/progagation-error
dc/progagation-error
3m 2s
Changed inner_test_validate_owner to return Ok(()) Proofs #77: Pull request #126 synchronize by dkcumming
3m 10s dc/progagation-error
dc/progagation-error
3m 10s
Changed inner_test_validate_owner to return Ok(()) Proofs #76: Pull request #126 synchronize by dkcumming
3m 6s dc/progagation-error
dc/progagation-error
3m 6s
Changed inner_test_validate_owner to return Ok(()) Proofs #75: Pull request #126 synchronize by dkcumming
3m 9s dc/progagation-error
dc/progagation-error
3m 9s
Changed inner_test_validate_owner to return Ok(()) Proofs #74: Pull request #126 opened by dkcumming
2m 58s dc/progagation-error
dc/progagation-error
2m 58s
Update mir-semantics dependency (#125) Proofs #73: Commit d44da85 pushed by jberthold
3m 6s proofs
proofs
3m 6s
Update mir-semantics dependency Proofs #72: Pull request #125 opened by jberthold
3m 6s update-mir-semantics
update-mir-semantics
3m 6s
test(spl): update changes in #122 for spl-token specs Proofs #71: Pull request #123 opened by Stevengre
3m 1s jh/spl/align-ptoken
jh/spl/align-ptoken
3m 1s
Tweak proofs to avoid vacuous and overflow branches (#122) Proofs #70: Commit 8a508d9 pushed by jberthold
3m 11s proofs
proofs
3m 11s
Tweak proofs to avoid vacuous and overflow branches Proofs #69: Pull request #122 synchronize by jberthold
3m 7s jb/process-transfer-debug
jb/process-transfer-debug
3m 7s
test(spl): separate normal account test and multisig test (#120) Proofs #68: Commit 002e50b pushed by Stevengre
3m 15s proofs
proofs
3m 15s
test(spl): separate normal account test and multisig test Proofs #67: Pull request #120 synchronize by automergerpr-permission-manager bot
3m 12s jh/spl/separate-multisig
jh/spl/separate-multisig
3m 12s
Tweak proofs to avoid vacuous and overflow branches Proofs #66: Pull request #122 synchronize by jberthold
3m 22s jb/process-transfer-debug
jb/process-transfer-debug
3m 22s
Tweak proofs to avoid vacuous and overflow branches Proofs #65: Pull request #122 opened by jberthold
33s jb/process-transfer-debug
jb/process-transfer-debug
33s
Exclude multisig case with cheatcode_is_account (#121) Proofs #64: Commit 22f6aeb pushed by jberthold
3m 5s proofs
proofs
3m 5s
Exclude multisig case with cheatcode_is_account Proofs #63: Pull request #121 opened by JuanCoRo
3m 7s avoid-multisig
avoid-multisig
3m 7s
test(spl): separate normal account test and multisig test Proofs #62: Pull request #120 synchronize by Stevengre
3m 4s jh/spl/separate-multisig
jh/spl/separate-multisig
3m 4s
test(spl): separate normal account test and multisig test Proofs #61: Pull request #120 opened by Stevengre
3m 8s jh/spl/separate-multisig
jh/spl/separate-multisig
3m 8s
Update mir-semantics dependency (#114) Proofs #60: Commit d19ea27 pushed by automergerpr-permission-manager bot
3m 12s proofs
proofs
3m 12s
Update mir-semantics dependency Proofs #59: Pull request #114 opened by jberthold
3m 8s update-mir-semantics
update-mir-semantics
3m 8s
Update mir semantics (#108) Proofs #58: Commit e15c674 pushed by automergerpr-permission-manager bot
3m 15s proofs
proofs
3m 15s
Update mir semantics Proofs #57: Pull request #108 synchronize by automergerpr-permission-manager bot
3m 10s update-mir-semantics
update-mir-semantics
3m 10s
test(spl): update the spl-token specification without separating norm… Proofs #56: Commit 537d9e1 pushed by automergerpr-permission-manager bot
3m 9s proofs
proofs
3m 9s
Update mir semantics Proofs #55: Pull request #108 opened by jberthold
3m 6s update-mir-semantics
update-mir-semantics
3m 6s
test(spl): update the spl-token specification without separating normal account test and multisig test Proofs #54: Pull request #107 synchronize by Stevengre
3m 8s jh/update-spl-specs
jh/update-spl-specs
3m 8s