Skip to content

Actions: Certora/ccip

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
8 workflow runs
8 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

for PR solidity #4: Commit dd307f8 pushed by nisnislevi
January 2, 2025 18:37 9m 1s certora-squashed
certora-squashed
January 2, 2025 18:37 9m 1s
for PR certora #4: Commit dd307f8 pushed by nisnislevi
January 2, 2025 18:37 10m 3s certora-squashed
certora-squashed
January 2, 2025 18:37 10m 3s
sync with ccip-gho certora #3: Commit 7a12dea pushed by nisnislevi
January 2, 2025 18:29 11m 57s certora
certora
January 2, 2025 18:29 11m 57s
sync with ccip-gho solidity #3: Commit 7a12dea pushed by nisnislevi
January 2, 2025 18:29 8m 49s certora
certora
January 2, 2025 18:29 8m 49s
for PR solidity #2: Commit 1cf418f pushed by nisnislevi
January 2, 2025 15:39 9m 4s certora-squashed
certora-squashed
January 2, 2025 15:39 9m 4s
for PR certora #2: Commit 1cf418f pushed by nisnislevi
January 2, 2025 15:39 1m 57s certora-squashed
certora-squashed
January 2, 2025 15:39 1m 57s
some small additions to spec solidity #1: Commit 87d022d pushed by nisnislevi
January 1, 2025 15:18 9m 25s certora
certora
January 1, 2025 15:18 9m 25s
some small additions to spec certora #1: Commit 87d022d pushed by nisnislevi
January 1, 2025 15:18 1m 9s certora
certora
January 1, 2025 15:18 1m 9s