Skip to content

Actions: SyndicateProtocol/syndicate-appchains

Actions

Certora

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
certora.yml
1,654 workflow runs
1,654 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Synd selfhost (#948) Certora #1860: Commit 295d80b pushed by jorgemmsilva
8m 7s main
main
8m 7s
logging improvement (#946) Certora #1859: Commit 7601b11 pushed by jorgemmsilva
10m 35s main
main
10m 35s
Merge pull request #945 from SyndicateProtocol/self-hosting-docker-co… Certora #1858: Commit f483e8c pushed by squibwarb
8m 48s main
main
8m 48s
update to the migration cli (#944) Certora #1857: Commit d8a1bf8 pushed by jorgemmsilva
10m 37s main
main
10m 37s
Helper contract for distributing an ERC20 Certora #1856: Pull request #942 opened by ibremseth
9s token-distributor
token-distributor
9s
fix: proposer - use block hash in RecoverPayloadFromBatch (#939) Certora #1855: Commit b27951a pushed by ericvelazquez
8m 16s main
main
8m 16s
feat: add eth blob support to proposer (#938) Certora #1854: Commit 30177ec pushed by jorgemmsilva
9m 2s main
main
9m 2s
New splitter for temporarily putting performance rewards in base pool… Certora #1853: Commit ed9e6f6 pushed by ibremseth
14m 23s main
main
14m 23s
Audit fixes Certora #1852: Pull request #936 synchronize by ibremseth
9m 25s audit-fixes
audit-fixes
9m 25s
New splitter for temporarily putting performance rewards in base pool Certora #1851: Pull request #937 opened by ibremseth
10m 57s new-splitter
new-splitter
10m 57s
Audit fixes Certora #1850: Pull request #936 opened by ibremseth
3m 0s audit-fixes
audit-fixes
3m 0s
chore: rm use-cases dir (#934) Certora #1849: Commit 09dc212 pushed by jorgemmsilva
8m 13s main
main
8m 13s
chore: adds .gitattributes to identify generated code, use rust-toolc… Certora #1848: Commit e4e07f9 pushed by jorgemmsilva
8m 58s main
main
8m 58s
set maestro max retries drop log to warn (#932) Certora #1847: Commit 557873a pushed by jorgemmsilva
8m 31s main
main
8m 31s
Fix: Publish CLI WF release (#930) Certora #1846: Commit 4132074 pushed by calebguy
7m 25s main
main
7m 25s
release for synd-cli (#926) Certora #1845: Commit 3cfb1f1 pushed by calebguy
8m 15s main
main
8m 15s
Adding deployment script for performance staking (#913) Certora #1844: Commit 84b9871 pushed by ibremseth
8m 9s main
main
8m 9s
Adding deployment script for performance staking Certora #1843: Pull request #913 synchronize by ibremseth
8m 59s stake-deployment
stake-deployment
8m 59s
Adding deployment script for performance staking Certora #1842: Pull request #913 synchronize by ibremseth
6m 24s stake-deployment
stake-deployment
6m 24s
Adding deployment script for performance staking Certora #1841: Pull request #913 synchronize by ibremseth
1m 56s stake-deployment
stake-deployment
1m 56s
[ENG-2287] Add getArbChainConfigAddress on ArbChainConfig (#928) Certora #1840: Commit 361d090 pushed by calebguy
7m 50s main
main
7m 50s
feat: mchain snapshot (#925) Certora #1839: Commit a9d4122 pushed by ericvelazquez
7m 15s main
main
7m 15s
[ENG-2287] Add getArbChainConfigAddress on ArbChainConfig Certora #1838: Pull request #928 synchronize by calebguy
8m 21s feat/arb-chain-config-direct-deploy
feat/arb-chain-config-direct-deploy
8m 21s
[ENG-2287] Add getArbChainConfigAddress on ArbChainConfig Certora #1837: Pull request #928 ready_for_review by calebguy
8m 29s feat/arb-chain-config-direct-deploy
feat/arb-chain-config-direct-deploy
8m 29s
[ENG-2287] Add getArbChainConfigAddress on ArbChainConfig Certora #1836: Pull request #928 synchronize by calebguy
1s feat/arb-chain-config-direct-deploy
feat/arb-chain-config-direct-deploy
1s