Skip to content

Actions: Certora/stellar-contracts

Actions

Certora verification - Contract Utils

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
61 workflow runs
61 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

PR to test CI Certora verification - Contract Utils #61: Pull request #7 synchronize by raz-certora
3m 46s certora
certora
3m 46s
PR to test CI Certora verification - Contract Utils #60: Pull request #7 synchronize by raz-certora
3m 33s certora
certora
3m 33s
PR to test CI Certora verification - Contract Utils #59: Pull request #7 synchronize by raz-certora
3m 45s certora
certora
3m 45s
PR to test CI Certora verification - Contract Utils #58: Pull request #7 synchronize by chandrakananandi
2m 31s certora
certora
2m 31s
PR to test CI Certora verification - Contract Utils #57: Pull request #7 synchronize by chandrakananandi
3m 1s certora
certora
3m 1s
PR to test CI Certora verification - Contract Utils #56: Pull request #7 opened by raz-certora
3m 14s certora
certora
3m 14s
Certora Certora verification - Contract Utils #55: Pull request #4 synchronize by raz-certora
3m 25s certora
certora
3m 25s
Certora Certora verification - Contract Utils #54: Pull request #4 synchronize by raz-certora
3m 24s certora
certora
3m 24s
Certora Certora verification - Contract Utils #53: Pull request #4 synchronize by raz-certora
3m 10s certora
certora
3m 10s
Certora Certora verification - Contract Utils #52: Pull request #4 synchronize by raz-certora
3m 18s certora
certora
3m 18s
Certora Certora verification - Contract Utils #51: Pull request #4 synchronize by raz-certora
3m 21s certora
certora
3m 21s
Certora Certora verification - Contract Utils #50: Pull request #4 synchronize by raz-certora
2m 45s certora
certora
2m 45s
Oz/test Certora verification - Contract Utils #49: Pull request #6 opened by ozcodes
3m 5s oz/test
oz/test
3m 5s
Split coin conf into two Certora verification - Contract Utils #48: Pull request #5 opened by aehyvari
3m 1s antti/test
antti/test
3m 1s
Certora Certora verification - Contract Utils #47: Pull request #4 opened by raz-certora
2m 59s certora
certora
2m 59s
First attempt at PR & CI Certora verification - Contract Utils #46: Pull request #2 synchronize by raz-certora
5m 44s rustc-version
rustc-version
5m 44s
First attempt at PR & CI Certora verification - Contract Utils #45: Pull request #2 synchronize by raz-certora
5m 26s rustc-version
rustc-version
5m 26s
First attempt at PR & CI Certora verification - Contract Utils #44: Pull request #2 synchronize by raz-certora
5m 23s rustc-version
rustc-version
5m 23s
First attempt at PR & CI Certora verification - Contract Utils #43: Pull request #2 synchronize by raz-certora
5m 30s rustc-version
rustc-version
5m 30s
First attempt at PR & CI Certora verification - Contract Utils #42: Pull request #2 synchronize by chandrakananandi
6m 22s rustc-version
rustc-version
6m 22s
First attempt at PR & CI Certora verification - Contract Utils #41: Pull request #2 synchronize by chandrakananandi
5m 42s rustc-version
rustc-version
5m 42s
First attempt at PR & CI Certora verification - Contract Utils #40: Pull request #2 synchronize by raz-certora
5m 35s rustc-version
rustc-version
5m 35s
First attempt at PR & CI Certora verification - Contract Utils #39: Pull request #2 synchronize by chandrakananandi
5m 55s rustc-version
rustc-version
5m 55s
First attempt at PR & CI Certora verification - Contract Utils #38: Pull request #2 synchronize by chandrakananandi
5m 37s rustc-version
rustc-version
5m 37s
First attempt at PR & CI Certora verification - Contract Utils #37: Pull request #2 synchronize by raz-certora
5m 20s rustc-version
rustc-version
5m 20s