Skip to content

Actions: makerdao/sky

Actions

Certora

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
certora.yml
77 workflow runs
77 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

One direction converter Certora #170: Pull request #17 synchronize by sunbreak1211
May 2, 2025 10:12 4m 3s one-direction
one-direction
May 2, 2025 10:12 4m 3s
Add audit reports (#19) Certora #169: Commit 2ec7f7e pushed by sunbreak1211
May 2, 2025 10:12 4m 48s one-direction
one-direction
May 2, 2025 10:12 4m 48s
Add audit reports Certora #168: Pull request #19 opened by sunbreak1211
May 1, 2025 11:19 5m 54s audit
audit
May 1, 2025 11:19 5m 54s
Add audit reports Certora #167: Commit 0943ff9 pushed by sunbreak1211
May 1, 2025 11:17 5m 44s audit
audit
May 1, 2025 11:17 5m 44s
One direction converter Certora #166: Pull request #17 synchronize by sunbreak1211
April 10, 2025 19:25 8m 20s one-direction
one-direction
April 10, 2025 19:25 8m 20s
Upgrade python for Certora CI Certora #165: Commit 893bccd pushed by sunbreak1211
April 10, 2025 19:25 8m 18s one-direction
one-direction
April 10, 2025 19:25 8m 18s
One direction converter Certora #164: Pull request #17 synchronize by sunbreak1211
April 10, 2025 18:18 34s one-direction
one-direction
April 10, 2025 18:18 34s
Remove error messages from init library to optimize size (#18) Certora #163: Commit 4339698 pushed by sunbreak1211
April 10, 2025 18:18 33s one-direction
one-direction
April 10, 2025 18:18 33s
Remove error messages from init library to optimize size Certora #162: Pull request #18 opened by sunbreak1211
April 8, 2025 19:53 9m 12s init-remove-errors
init-remove-errors
April 8, 2025 19:53 9m 12s
Remove error messages from init library to optimize size Certora #161: Commit 5d6a82e pushed by sunbreak1211
April 8, 2025 19:52 7m 22s init-remove-errors
init-remove-errors
April 8, 2025 19:52 7m 22s
One direction converter Certora #160: Pull request #17 synchronize by oldchili
March 5, 2025 10:14 4m 27s one-direction
one-direction
March 5, 2025 10:14 4m 27s
Add sanity checks, read tokens from old converter Certora #159: Commit b70ffad pushed by oldchili
March 5, 2025 10:14 2m 57s one-direction
one-direction
March 5, 2025 10:14 2m 57s
One direction converter Certora #158: Pull request #17 synchronize by oldchili
March 5, 2025 09:55 5m 37s one-direction
one-direction
March 5, 2025 09:55 5m 37s
Add evmVersion to foundry.toml Certora #157: Commit c215a17 pushed by oldchili
March 5, 2025 09:55 4m 38s one-direction
one-direction
March 5, 2025 09:55 4m 38s
One direction converter Certora #156: Pull request #17 synchronize by oldchili
March 5, 2025 09:47 1m 35s one-direction
one-direction
March 5, 2025 09:47 1m 35s
Read rate from old converter on init Certora #155: Commit 0dcc774 pushed by oldchili
March 5, 2025 09:47 3m 2s one-direction
one-direction
March 5, 2025 09:47 3m 2s
One direction converter Certora #154: Pull request #17 synchronize by oldchili
March 4, 2025 21:18 5m 9s one-direction
one-direction
March 4, 2025 21:18 5m 9s
Remove unneeded casting Certora #153: Commit c90b9fd pushed by oldchili
March 4, 2025 21:18 5m 12s one-direction
one-direction
March 4, 2025 21:18 5m 12s
One direction converter Certora #152: Pull request #17 synchronize by oldchili
March 4, 2025 16:31 2m 15s one-direction
one-direction
March 4, 2025 16:31 2m 15s
Test converting to another address Certora #151: Commit 9d26694 pushed by oldchili
March 4, 2025 16:31 2m 47s one-direction
one-direction
March 4, 2025 16:31 2m 47s
One direction converter Certora #150: Pull request #17 synchronize by oldchili
March 4, 2025 16:10 8m 24s one-direction
one-direction
March 4, 2025 16:10 8m 24s
Remove outdated line from readme Certora #149: Commit 1f1debe pushed by oldchili
March 4, 2025 16:09 6m 15s one-direction
one-direction
March 4, 2025 16:09 6m 15s
One direction converter Certora #148: Pull request #17 synchronize by sunbreak1211
February 25, 2025 21:28 7m 39s one-direction
one-direction
February 25, 2025 21:28 7m 39s
Update Certora specs Certora #147: Commit 1de23b7 pushed by sunbreak1211
February 25, 2025 21:28 7m 41s one-direction
one-direction
February 25, 2025 21:28 7m 41s
One direction converter Certora #146: Pull request #17 opened by oldchili
February 25, 2025 13:29 3m 49s one-direction
one-direction
February 25, 2025 13:29 3m 49s