Skip to content

Actions: Certora/ccip-old

Dependency Vulnerability Check

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
14 workflow runs
14 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

for PR
Dependency Vulnerability Check #14: Commit 9b7f870 pushed by nisnislevi
May 28, 2024 11:00 38s certora-squashed
May 28, 2024 11:00 38s
fixed comments
Dependency Vulnerability Check #13: Commit cf662e9 pushed by nisnislevi
May 28, 2024 10:58 42s certora
May 28, 2024 10:58 42s
for PR
Dependency Vulnerability Check #12: Commit fa54c02 pushed by nisnislevi
May 28, 2024 09:41 36s certora-squashed
May 28, 2024 09:41 36s
fix conflict
Dependency Vulnerability Check #11: Commit 25e8b7d pushed by nisnislevi
May 28, 2024 09:38 34s certora
May 28, 2024 09:38 34s
update spec: remove rebalancer and add bridgeLimitAdmin rule
Dependency Vulnerability Check #10: Commit 463c9be pushed by nisnislevi
May 28, 2024 09:27 40s certora
May 28, 2024 09:27 40s
for PR
Dependency Vulnerability Check #9: Commit 4cb1239 pushed by nisnislevi
May 27, 2024 14:36 43s certora-squashed
May 27, 2024 14:36 43s
fix .yml
Dependency Vulnerability Check #8: Commit d711fb3 pushed by nisnislevi
May 27, 2024 14:33 36s certora
May 27, 2024 14:33 36s
for PR
Dependency Vulnerability Check #7: Commit ffbda1f pushed by nisnislevi
May 27, 2024 14:25 43s certora-squashed
May 27, 2024 14:25 43s
add 2 rules according to Miguel request
Dependency Vulnerability Check #6: Commit 33dcf1b pushed by nisnislevi
May 26, 2024 14:58 40s certora
May 26, 2024 14:58 40s
for PR
Dependency Vulnerability Check #5: Commit a254e42 pushed by nisnislevi
May 22, 2024 12:43 35s certora-squashed
May 22, 2024 12:43 35s
clean and document spec file
Dependency Vulnerability Check #4: Commit c36ccde pushed by nisnislevi
May 22, 2024 12:40 37s certora
May 22, 2024 12:40 37s
fix yml
Dependency Vulnerability Check #3: Commit 408dbca pushed by nisnislevi
May 22, 2024 12:28 19s certora
May 22, 2024 12:28 19s
fix yml
Dependency Vulnerability Check #2: Commit e08c03d pushed by nisnislevi
May 22, 2024 12:23 33s certora
May 22, 2024 12:23 33s
clean and add yml
Dependency Vulnerability Check #1: Commit 98e5411 pushed by nisnislevi
May 22, 2024 12:21 46s certora
May 22, 2024 12:21 46s