Skip to content

Actions: makerdao/spark-alm-controller-certora

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
16 workflow runs
16 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix assert messages Certora #16: Commit 5c09d17 pushed by sunbreak1211
November 21, 2024 01:40 12m 51s dev
dev
November 21, 2024 01:40 12m 51s
Add ALMProxy to CI Certora #15: Commit f52f570 pushed by sunbreak1211
November 21, 2024 01:24 45m 18s dev
dev
November 21, 2024 01:24 45m 18s
Improve call resolutions efficiency Certora #14: Commit 15a40ca pushed by sunbreak1211
November 21, 2024 01:21 40m 2s dev
dev
November 21, 2024 01:21 40m 2s
Add some ALMProxy specs Certora #13: Commit 1842c56 pushed by sunbreak1211
November 19, 2024 11:28 41m 45s dev
dev
November 19, 2024 11:28 41m 45s
Add some ALMProxy specs Certora #12: Commit 5498927 pushed by sunbreak1211
November 19, 2024 11:28 43m 35s dev
dev
November 19, 2024 11:28 43m 35s
Add missing rules for ForeignController Certora #11: Commit 70be452 pushed by sunbreak1211
November 14, 2024 20:14 13m 7s dev
dev
November 14, 2024 20:14 13m 7s
Workaround for ForeignController storageAffected Certora #10: Commit a13434e pushed by sunbreak1211
November 14, 2024 19:58 9m 12s dev
dev
November 14, 2024 19:58 9m 12s
Workaround for ForeignController storageAffected Certora #9: Commit caedba7 pushed by sunbreak1211
November 14, 2024 19:47 4m 3s dev
dev
November 14, 2024 19:47 4m 3s
Workaround for ForeignController storageAffected Certora #8: Commit e65a855 pushed by sunbreak1211
November 14, 2024 19:44 39m 35s dev
dev
November 14, 2024 19:44 39m 35s
Workaround for ForeignController storageAffected Certora #7: Commit 9889edc pushed by sunbreak1211
November 14, 2024 19:43 37m 52s dev
dev
November 14, 2024 19:43 37m 52s
Workaround for ForeignController storageAffected Certora #6: Commit 066c7f0 pushed by sunbreak1211
November 14, 2024 19:42 4m 39s dev
dev
November 14, 2024 19:42 4m 39s
Add missing rules for RateLimits Certora #5: Commit 791093b pushed by sunbreak1211
November 14, 2024 17:41 4m 35s dev
dev
November 14, 2024 17:41 4m 35s
Add more checks to MainnetController Certora #4: Commit 15a0244 pushed by sunbreak1211
November 14, 2024 15:40 48m 15s dev
dev
November 14, 2024 15:40 48m 15s
Fix rules Certora #3: Commit ce18cc9 pushed by sunbreak1211
November 14, 2024 14:58 4m 43s dev
dev
November 14, 2024 14:58 4m 43s
Add .gitignore Certora #2: Commit 30df9a4 pushed by sunbreak1211
November 14, 2024 13:51 4m 18s dev
dev
November 14, 2024 13:51 4m 18s
Add Certora specs Certora #1: Commit 019f67f pushed by sunbreak1211
November 14, 2024 13:11 41m 12s dev
dev
November 14, 2024 13:11 41m 12s