Skip to content

Actions: Certora/ccip-old

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
134 workflow runs
134 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

for PR Solidity #12: Commit fa54c02 pushed by nisnislevi
May 28, 2024 09:41 2m 26s certora-squashed
certora-squashed
May 28, 2024 09:41 2m 26s
for PR Lint GH Workflows #12: Commit fa54c02 pushed by nisnislevi
May 28, 2024 09:41 21s certora-squashed
certora-squashed
May 28, 2024 09:41 21s
for PR Dependency Vulnerability Check #12: Commit fa54c02 pushed by nisnislevi
May 28, 2024 09:41 36s certora-squashed
certora-squashed
May 28, 2024 09:41 36s
for PR CI Scripts #14: Commit fa54c02 pushed by nisnislevi
May 28, 2024 09:41 3s certora-squashed
certora-squashed
May 28, 2024 09:41 3s
for PR SigScanner Check #12: Commit fa54c02 pushed by nisnislevi
May 28, 2024 09:41 15s certora-squashed
certora-squashed
May 28, 2024 09:41 15s
for PR .github/workflows/operator-ui-ci.yml #13: Commit fa54c02 pushed by nisnislevi
May 28, 2024 09:41 Failure certora-squashed
certora-squashed
May 28, 2024 09:41 Failure
for PR .github/workflows/integration-chaos-tests.yml #13: Commit fa54c02 pushed by nisnislevi
May 28, 2024 09:41 Failure certora-squashed
certora-squashed
May 28, 2024 09:41 Failure
fix conflict Solidity #11: Commit 25e8b7d pushed by nisnislevi
May 28, 2024 09:38 3m 49s certora
certora
May 28, 2024 09:38 3m 49s
fix conflict Lint GH Workflows #11: Commit 25e8b7d pushed by nisnislevi
May 28, 2024 09:38 21s certora
certora
May 28, 2024 09:38 21s
fix conflict Dependency Vulnerability Check #11: Commit 25e8b7d pushed by nisnislevi
May 28, 2024 09:38 34s certora
certora
May 28, 2024 09:38 34s
fix conflict SigScanner Check #11: Commit 25e8b7d pushed by nisnislevi
May 28, 2024 09:38 15s certora
certora
May 28, 2024 09:38 15s
fix conflict certora #9: Commit 25e8b7d pushed by nisnislevi
May 28, 2024 09:38 1m 26s certora
certora
May 28, 2024 09:38 1m 26s
fix conflict CI Scripts #13: Commit 25e8b7d pushed by nisnislevi
May 28, 2024 09:38 3s certora
certora
May 28, 2024 09:38 3s
fix conflict .github/workflows/operator-ui-ci.yml #12: Commit 25e8b7d pushed by nisnislevi
May 28, 2024 09:38 Failure certora
certora
May 28, 2024 09:38 Failure
fix conflict .github/workflows/integration-chaos-tests.yml #12: Commit 25e8b7d pushed by nisnislevi
May 28, 2024 09:38 Failure certora
certora
May 28, 2024 09:38 Failure
update spec: remove rebalancer and add bridgeLimitAdmin rule Solidity #10: Commit 463c9be pushed by nisnislevi
May 28, 2024 09:27 6m 44s certora
certora
May 28, 2024 09:27 6m 44s
update spec: remove rebalancer and add bridgeLimitAdmin rule Dependency Vulnerability Check #10: Commit 463c9be pushed by nisnislevi
May 28, 2024 09:27 40s certora
certora
May 28, 2024 09:27 40s
update spec: remove rebalancer and add bridgeLimitAdmin rule certora #8: Commit 463c9be pushed by nisnislevi
May 28, 2024 09:27 4m 31s certora
certora
May 28, 2024 09:27 4m 31s
update spec: remove rebalancer and add bridgeLimitAdmin rule SigScanner Check #10: Commit 463c9be pushed by nisnislevi
May 28, 2024 09:27 13s certora
certora
May 28, 2024 09:27 13s
update spec: remove rebalancer and add bridgeLimitAdmin rule Lint GH Workflows #10: Commit 463c9be pushed by nisnislevi
May 28, 2024 09:27 28s certora
certora
May 28, 2024 09:27 28s
update spec: remove rebalancer and add bridgeLimitAdmin rule CI Scripts #12: Commit 463c9be pushed by nisnislevi
May 28, 2024 09:27 3s certora
certora
May 28, 2024 09:27 3s
update spec: remove rebalancer and add bridgeLimitAdmin rule .github/workflows/integration-chaos-tests.yml #11: Commit 463c9be pushed by nisnislevi
May 28, 2024 09:27 Failure certora
certora
May 28, 2024 09:27 Failure
update spec: remove rebalancer and add bridgeLimitAdmin rule .github/workflows/operator-ui-ci.yml #11: Commit 463c9be pushed by nisnislevi
May 28, 2024 09:27 Failure certora
certora
May 28, 2024 09:27 Failure
Certora squashed Solidity Foundry #2: Pull request #2 opened by nisnislevi
May 27, 2024 14:37 33s certora-squashed
certora-squashed
May 27, 2024 14:37 33s
Certora squashed CI Core #2: Pull request #2 opened by nisnislevi
May 27, 2024 14:37 3m 29s certora-squashed
certora-squashed
May 27, 2024 14:37 3m 29s