Skip to content

Actions: Certora/stellar-contracts

Actions

Certora verification

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
2 workflow runs
2 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

First attempt at PR & CI Certora verification #2: Pull request #2 synchronize by raz-certora
5m 12s rustc-version
rustc-version
5m 12s
First attempt at PR & CI Certora verification #1: Pull request #2 synchronize by raz-certora
4m 38s rustc-version
rustc-version
4m 38s