Skip to content

Actions: Certora/stellar-contracts

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
422 workflow runs
422 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

governance: use ledgers instead of timestamps (#569) rust workflow #71: Commit a1163e9 pushed by chandrakananandi
5m 1s main
main
5m 1s
PR to test CI rust workflow #70: Pull request #7 synchronize by raz-certora
46s certora
certora
46s
PR to test CI Certora verification - Token - Fungible #12: Pull request #7 synchronize by raz-certora
4m 1s certora
certora
4m 1s
PR to test CI Certora verification - Token - Vault #12: Pull request #7 synchronize by raz-certora
2m 32s certora
certora
2m 32s
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 Check for typos #70: Pull request #7 synchronize by raz-certora
12s certora
certora
12s
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 - Smart Accounts #61: Pull request #7 synchronize by raz-certora
6m 21s certora
certora
6m 21s
PR to test CI Certora verification - Token - RWA #12: Pull request #7 synchronize by raz-certora
3m 57s certora
certora
3m 57s
PR to test CI Certora verification - Token - Non-Fungible #12: Pull request #7 synchronize by raz-certora
4m 52s certora
certora
4m 52s
PR to test CI Certora verification - Token - RWA #11: Pull request #7 synchronize by raz-certora
3m 49s certora
certora
3m 49s
PR to test CI Certora verification - Smart Accounts #60: Pull request #7 synchronize by raz-certora
6m 14s certora
certora
6m 14s
PR to test CI Certora verification - Token - Fungible #11: Pull request #7 synchronize by raz-certora
3m 51s certora
certora
3m 51s
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 - Access #60: Pull request #7 synchronize by raz-certora
4m 51s certora
certora
4m 51s
PR to test CI Check for typos #69: Pull request #7 synchronize by raz-certora
11s certora
certora
11s
PR to test CI Certora verification - Token - Vault #11: Pull request #7 synchronize by raz-certora
2m 37s certora
certora
2m 37s
PR to test CI Certora verification - Token - Non-Fungible #11: Pull request #7 synchronize by raz-certora
4m 48s certora
certora
4m 48s
PR to test CI rust workflow #69: Pull request #7 synchronize by raz-certora
41s certora
certora
41s
PR to test CI Certora verification - Token - Fungible #10: Pull request #7 synchronize by raz-certora
3m 44s certora
certora
3m 44s
PR to test CI rust workflow #68: Pull request #7 synchronize by raz-certora
50s certora
certora
50s
PR to test CI Check for typos #68: Pull request #7 synchronize by raz-certora
10s certora
certora
10s
PR to test CI Certora verification - Smart Accounts #59: Pull request #7 synchronize by raz-certora
6m 4s certora
certora
6m 4s
PR to test CI Certora verification - Token - Vault #10: Pull request #7 synchronize by raz-certora
2m 25s certora
certora
2m 25s
PR to test CI Certora verification - Token - Non-Fungible #10: Pull request #7 synchronize by raz-certora
4m 47s certora
certora
4m 47s