Skip to content

Actions: Certora/stellar-contracts

Actions

Certora verification

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
9 workflow runs
9 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

First attempt at PR & CI Certora verification #9: Pull request #2 synchronize by raz-certora
5m 13s rustc-version
rustc-version
5m 13s
First attempt at PR & CI Certora verification #8: Pull request #2 synchronize by raz-certora
5m 23s rustc-version
rustc-version
5m 23s
First attempt at PR & CI Certora verification #7: Pull request #2 opened by raz-certora
5m 16s rustc-version
rustc-version
5m 16s
First attempt at soroban CI Certora verification #6: Pull request #1 synchronize by aehyvari
4m 49s antti/soroban-ci
antti/soroban-ci
4m 49s
First attempt at soroban CI Certora verification #5: Pull request #1 synchronize by aehyvari
47s antti/soroban-ci
antti/soroban-ci
47s
First attempt at soroban CI Certora verification #4: Pull request #1 synchronize by aehyvari
30s antti/soroban-ci
antti/soroban-ci
30s
First attempt at soroban CI Certora verification #3: Pull request #1 synchronize by aehyvari
44s antti/soroban-ci
antti/soroban-ci
44s
Try to get the version right Certora verification #2: Commit 2cd11f6 pushed by aehyvari
Failure antti/soroban-ci
antti/soroban-ci
Failure
First attempt at soroban CI Certora verification #1: Pull request #1 opened by aehyvari
45s antti/soroban-ci
antti/soroban-ci
45s