Skip to content

Actions: Certora/stellar-contracts

Actions

Certora verification

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
38 workflow runs
38 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Oz/test Certora verification #38: Pull request #6 synchronize by ozcodes
6m 33s oz/test
oz/test
6m 33s
Oz/test Certora verification #37: Pull request #6 opened by ozcodes
14m 17s oz/test
oz/test
14m 17s
Split coin conf into two Certora verification #36: Pull request #5 opened by aehyvari
6m 51s antti/test
antti/test
6m 51s
Certora Certora verification #35: Pull request #4 opened by raz-certora
55m 8s certora
certora
55m 8s
First attempt at PR & CI Certora verification #34: Pull request #2 synchronize by raz-certora
9m 42s rustc-version
rustc-version
9m 42s
First attempt at PR & CI Certora verification #33: Pull request #2 synchronize by raz-certora
9m 19s rustc-version
rustc-version
9m 19s
First attempt at PR & CI Certora verification #32: Pull request #2 synchronize by raz-certora
9m 13s rustc-version
rustc-version
9m 13s
First attempt at PR & CI Certora verification #31: Pull request #2 synchronize by raz-certora
10m 15s rustc-version
rustc-version
10m 15s
First attempt at PR & CI Certora verification #30: Pull request #2 synchronize by chandrakananandi
9m 22s rustc-version
rustc-version
9m 22s
First attempt at PR & CI Certora verification #29: Pull request #2 synchronize by chandrakananandi
9m 14s rustc-version
rustc-version
9m 14s
First attempt at PR & CI Certora verification #28: Pull request #2 synchronize by raz-certora
9m 12s rustc-version
rustc-version
9m 12s
First attempt at PR & CI Certora verification #27: Pull request #2 synchronize by chandrakananandi
9m 25s rustc-version
rustc-version
9m 25s
First attempt at PR & CI Certora verification #26: Pull request #2 synchronize by chandrakananandi
9m 11s rustc-version
rustc-version
9m 11s
First attempt at PR & CI Certora verification #25: Pull request #2 synchronize by raz-certora
8m 58s rustc-version
rustc-version
8m 58s
First attempt at PR & CI Certora verification #24: Pull request #2 synchronize by chandrakananandi
9m 25s rustc-version
rustc-version
9m 25s
First attempt at PR & CI Certora verification #23: Pull request #2 synchronize by raz-certora
9m 17s rustc-version
rustc-version
9m 17s
First attempt at PR & CI Certora verification #22: Pull request #2 synchronize by raz-certora
9m 25s rustc-version
rustc-version
9m 25s
First attempt at PR & CI Certora verification #21: Pull request #2 synchronize by chandrakananandi
9m 35s rustc-version
rustc-version
9m 35s
First attempt at PR & CI Certora verification #20: Pull request #2 synchronize by chandrakananandi
8m 58s rustc-version
rustc-version
8m 58s
First attempt at PR & CI Certora verification #19: Pull request #2 synchronize by chandrakananandi
9m 6s rustc-version
rustc-version
9m 6s
First attempt at PR & CI Certora verification #18: Pull request #2 synchronize by chandrakananandi
9m 8s rustc-version
rustc-version
9m 8s
First attempt at PR & CI Certora verification #17: Pull request #2 synchronize by raz-certora
9m 51s rustc-version
rustc-version
9m 51s
First attempt at PR & CI Certora verification #16: Pull request #2 synchronize by raz-certora
9m 51s rustc-version
rustc-version
9m 51s
First attempt at PR & CI Certora verification #15: Pull request #2 synchronize by raz-certora
9m 22s rustc-version
rustc-version
9m 22s
First attempt at PR & CI Certora verification #14: Pull request #2 synchronize by raz-certora
9m 3s rustc-version
rustc-version
9m 3s