Skip to content

Actions: Certora/ccip-old

Actions

CI Scripts

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-scripts.yml
17 workflow runs
17 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

for PR CI Scripts #17: Commit 9b7f870 pushed by nisnislevi
May 28, 2024 11:00 2s certora-squashed
certora-squashed
May 28, 2024 11:00 2s
fixed comments CI Scripts #16: Commit cf662e9 pushed by nisnislevi
May 28, 2024 10:58 3s certora
certora
May 28, 2024 10:58 3s
Certora squashed CI Scripts #15: Pull request #3 opened by nisnislevi
May 28, 2024 09:43 28s certora-squashed
certora-squashed
May 28, 2024 09:43 28s
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
fix conflict CI Scripts #13: Commit 25e8b7d pushed by nisnislevi
May 28, 2024 09:38 3s certora
certora
May 28, 2024 09:38 3s
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
Certora squashed CI Scripts #11: Pull request #2 opened by nisnislevi
May 27, 2024 14:37 3m 34s certora-squashed
certora-squashed
May 27, 2024 14:37 3m 34s
for PR CI Scripts #10: Commit 4cb1239 pushed by nisnislevi
May 27, 2024 14:36 3s certora-squashed
certora-squashed
May 27, 2024 14:36 3s
fix .yml CI Scripts #9: Commit d711fb3 pushed by nisnislevi
May 27, 2024 14:33 3s certora
certora
May 27, 2024 14:33 3s
Certora squashed CI Scripts #8: Pull request #1 opened by nisnislevi
May 27, 2024 14:28 1m 43s certora-squashed
certora-squashed
May 27, 2024 14:28 1m 43s
for PR CI Scripts #7: Commit ffbda1f pushed by nisnislevi
May 27, 2024 14:25 3s certora-squashed
certora-squashed
May 27, 2024 14:25 3s
add 2 rules according to Miguel request CI Scripts #6: Commit 33dcf1b pushed by nisnislevi
May 26, 2024 14:58 3s certora
certora
May 26, 2024 14:58 3s
for PR CI Scripts #5: Commit a254e42 pushed by nisnislevi
May 22, 2024 12:43 3s certora-squashed
certora-squashed
May 22, 2024 12:43 3s
clean and document spec file CI Scripts #4: Commit c36ccde pushed by nisnislevi
May 22, 2024 12:40 2s certora
certora
May 22, 2024 12:40 2s
fix yml CI Scripts #3: Commit 408dbca pushed by nisnislevi
May 22, 2024 12:28 2s certora
certora
May 22, 2024 12:28 2s
fix yml CI Scripts #2: Commit e08c03d pushed by nisnislevi
May 22, 2024 12:23 4s certora
certora
May 22, 2024 12:23 4s
clean and add yml CI Scripts #1: Commit 98e5411 pushed by nisnislevi
May 22, 2024 12:21 3s certora
certora
May 22, 2024 12:21 3s