Skip to content

Actions: Certora/stellar-contracts

Actions

Certora verification - Access

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 - Access #61: Pull request #7 synchronize by raz-certora
4m 42s certora
certora
4m 42s
PR to test CI Certora verification - Access #60: Pull request #7 synchronize by raz-certora
4m 51s certora
certora
4m 51s
PR to test CI Certora verification - Access #59: Pull request #7 synchronize by raz-certora
4m 33s certora
certora
4m 33s
PR to test CI Certora verification - Access #58: Pull request #7 synchronize by chandrakananandi
4m 33s certora
certora
4m 33s
PR to test CI Certora verification - Access #57: Pull request #7 synchronize by chandrakananandi
4m 52s certora
certora
4m 52s
PR to test CI Certora verification - Access #56: Pull request #7 opened by raz-certora
4m 47s certora
certora
4m 47s
Certora Certora verification - Access #55: Pull request #4 synchronize by raz-certora
5m 1s certora
certora
5m 1s
Certora Certora verification - Access #54: Pull request #4 synchronize by raz-certora
4m 30s certora
certora
4m 30s
Certora Certora verification - Access #53: Pull request #4 synchronize by raz-certora
4m 40s certora
certora
4m 40s
Certora Certora verification - Access #52: Pull request #4 synchronize by raz-certora
4m 28s certora
certora
4m 28s
Certora Certora verification - Access #51: Pull request #4 synchronize by raz-certora
4m 29s certora
certora
4m 29s
Certora Certora verification - Access #50: Pull request #4 synchronize by raz-certora
4m 53s certora
certora
4m 53s
Oz/test Certora verification - Access #49: Pull request #6 opened by ozcodes
4m 48s oz/test
oz/test
4m 48s
Split coin conf into two Certora verification - Access #48: Pull request #5 opened by aehyvari
4m 55s antti/test
antti/test
4m 55s
Certora Certora verification - Access #47: Pull request #4 opened by raz-certora
4m 57s certora
certora
4m 57s
First attempt at PR & CI Certora verification - Access #46: Pull request #2 synchronize by raz-certora
5m 52s rustc-version
rustc-version
5m 52s
First attempt at PR & CI Certora verification - Access #45: Pull request #2 synchronize by raz-certora
6m 0s rustc-version
rustc-version
6m 0s
First attempt at PR & CI Certora verification - Access #44: Pull request #2 synchronize by raz-certora
5m 23s rustc-version
rustc-version
5m 23s
First attempt at PR & CI Certora verification - Access #43: Pull request #2 synchronize by raz-certora
5m 32s rustc-version
rustc-version
5m 32s
First attempt at PR & CI Certora verification - Access #42: Pull request #2 synchronize by chandrakananandi
5m 41s rustc-version
rustc-version
5m 41s
First attempt at PR & CI Certora verification - Access #41: Pull request #2 synchronize by chandrakananandi
5m 27s rustc-version
rustc-version
5m 27s
First attempt at PR & CI Certora verification - Access #40: Pull request #2 synchronize by raz-certora
5m 48s rustc-version
rustc-version
5m 48s
First attempt at PR & CI Certora verification - Access #39: Pull request #2 synchronize by chandrakananandi
5m 53s rustc-version
rustc-version
5m 53s
First attempt at PR & CI Certora verification - Access #38: Pull request #2 synchronize by chandrakananandi
5m 27s rustc-version
rustc-version
5m 27s
First attempt at PR & CI Certora verification - Access #37: Pull request #2 synchronize by raz-certora
5m 20s rustc-version
rustc-version
5m 20s