Skip to content

Actions: makerdao/sky

Actions

Certora

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
59 workflow runs
59 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update CS audit
Certora #119: Pull request #13 opened by oldchili
September 5, 2024 10:33 4m 29s update-cs-audit
September 5, 2024 10:33 4m 29s
Update CS audit
Certora #118: Commit 017c071 pushed by oldchili
September 5, 2024 10:33 4m 39s update-cs-audit
September 5, 2024 10:33 4m 39s
Contracts + Certora specs
Certora #117: Pull request #1 synchronize by sunbreak1211
August 27, 2024 17:36 5m 25s dev
dev
August 27, 2024 17:36 5m 25s
Renaming (#12)
Certora #116: Commit 3ddfa5e pushed by sunbreak1211
August 27, 2024 17:36 4m 23s dev
dev
August 27, 2024 17:36 4m 23s
Renaming
Certora #115: Pull request #12 synchronize by sunbreak1211
August 27, 2024 15:48 5m 40s renaming
August 27, 2024 15:48 5m 40s
Fix test
Certora #114: Commit 24b8f35 pushed by sunbreak1211
August 27, 2024 15:48 5m 22s renaming
August 27, 2024 15:48 5m 22s
Renaming
Certora #113: Pull request #12 synchronize by sunbreak1211
August 27, 2024 15:31 9m 12s renaming
August 27, 2024 15:31 9m 12s
Adjust token name
Certora #112: Commit 7d6f620 pushed by sunbreak1211
August 27, 2024 15:31 9m 27s renaming
August 27, 2024 15:31 9m 27s
Renaming
Certora #111: Pull request #12 opened by sunbreak1211
August 27, 2024 14:38 5m 47s renaming
August 27, 2024 14:38 5m 47s
Renaming
Certora #110: Commit d8462d4 pushed by sunbreak1211
August 27, 2024 14:35 7m 18s renaming
August 27, 2024 14:35 7m 18s
Add Sherlock contest content
Certora #109: Commit 39d29dc pushed by sunbreak1211
July 5, 2024 20:06 9m 27s sherlock-contest
July 5, 2024 20:06 9m 27s
Contracts + Certora specs
Certora #108: Pull request #1 synchronize by sunbreak1211
April 26, 2024 11:49 2m 27s dev
dev
April 26, 2024 11:49 2m 27s
dev
April 26, 2024 11:49 2m 29s
Use solc 0.8.21 + upgrade token-tests and fix warnings due to it
Certora #106: Pull request #11 opened by sunbreak1211
April 25, 2024 21:42 5m 6s solc-0.8.21
April 25, 2024 21:42 5m 6s
Use solc 0.8.21 + upgrade token-tests
Certora #104: Commit 05b37bf pushed by sunbreak1211
April 25, 2024 21:40 6m 4s solc-0.8.21
April 25, 2024 21:40 6m 4s
Contracts + Certora specs
Certora #103: Pull request #1 synchronize by sunbreak1211
April 10, 2024 11:07 3m 32s dev
dev
April 10, 2024 11:07 3m 32s
Certora CI: clean make call
Certora #102: Commit 5c7c55c pushed by sunbreak1211
April 10, 2024 11:07 3m 36s dev
dev
April 10, 2024 11:07 3m 36s
Contracts + Certora specs
Certora #101: Pull request #1 synchronize by sunbreak1211
April 9, 2024 21:19 1m 54s dev
dev
April 9, 2024 21:19 1m 54s
Fix tests CI
Certora #100: Commit 705b40a pushed by sunbreak1211
April 9, 2024 21:19 1m 53s dev
dev
April 9, 2024 21:19 1m 53s
Contracts + Certora specs
Certora #99: Pull request #1 synchronize by sunbreak1211
April 9, 2024 15:20 5m 13s dev
dev
April 9, 2024 15:20 5m 13s
Update token-tests (#10)
Certora #98: Commit 9aa13e3 pushed by sunbreak1211
April 9, 2024 15:20 5m 14s dev
dev
April 9, 2024 15:20 5m 14s
Contracts + Certora specs
Certora #97: Pull request #1 synchronize by sunbreak1211
April 9, 2024 15:19 5m 40s dev
dev
April 9, 2024 15:19 5m 40s
Update Certora
Certora #96: Commit 53f1e3c pushed by sunbreak1211
April 9, 2024 15:19 4m 59s dev
dev
April 9, 2024 15:19 4m 59s
Update token-tests
Certora #95: Pull request #10 opened by telome
April 9, 2024 14:38 26s update-token-tests
April 9, 2024 14:38 26s