Skip to content

Actions: makerdao/dss-allocator

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
347 workflow runs
347 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Remove unnecessary lines Certora #128: Commit 51e9f60 pushed by sunbreak1211
November 17, 2023 20:43 13m 39s certora
certora
November 17, 2023 20:43 13m 39s
SwapperCalleePsm: Add note regarding dust accumulation Tests #935: Pull request #72 opened by telome
November 17, 2023 18:13 48s amt-callee-psm
amt-callee-psm
November 17, 2023 18:13 48s
SwapperCalleePsm: Prevent swap amts not multiple of to18ConversionFactor Tests #934: Commit a310b23 pushed by telome
November 17, 2023 18:13 51s amt-callee-psm
amt-callee-psm
November 17, 2023 18:13 51s
Add Certora specs Tests #933: Pull request #46 synchronize by sunbreak1211
November 16, 2023 14:37 55s certora
certora
November 16, 2023 14:37 55s
Add Certora specs Certora #127: Pull request #46 synchronize by sunbreak1211
November 16, 2023 14:37 6m 4s certora
certora
November 16, 2023 14:37 6m 4s
Merge branch 'dev' into certora Certora #126: Commit 1c4538b pushed by sunbreak1211
November 16, 2023 14:37 5m 15s certora
certora
November 16, 2023 14:37 5m 15s
Merge branch 'dev' into certora Tests #932: Commit 1c4538b pushed by sunbreak1211
November 16, 2023 14:37 58s certora
certora
November 16, 2023 14:37 58s
Add Certora specs Certora #125: Pull request #46 synchronize by sunbreak1211
November 16, 2023 13:55 5m 25s certora
certora
November 16, 2023 13:55 5m 25s
Add Certora specs Tests #931: Pull request #46 synchronize by sunbreak1211
November 16, 2023 13:55 1m 0s certora
certora
November 16, 2023 13:55 1m 0s
Make reverts rules shorter using double implication Tests #930: Commit 9737b41 pushed by sunbreak1211
November 16, 2023 13:55 52s certora
certora
November 16, 2023 13:55 52s
Make reverts rules shorter using double implication Certora #124: Commit 9737b41 pushed by sunbreak1211
November 16, 2023 13:55 4m 15s certora
certora
November 16, 2023 13:55 4m 15s
Make reverts rules shorter using double implication Certora #123: Commit a0bd6b1 pushed by sunbreak1211
November 16, 2023 13:38 7m 57s certora-shorter-revert-rules
certora-shorter-revert-rules
November 16, 2023 13:38 7m 57s
Make reverts rules shorter using double implication Tests #929: Commit a0bd6b1 pushed by sunbreak1211
November 16, 2023 13:38 51s certora-shorter-revert-rules
certora-shorter-revert-rules
November 16, 2023 13:38 51s
Add Certora specs Tests #928: Pull request #46 synchronize by sunbreak1211
November 16, 2023 13:21 53s certora
certora
November 16, 2023 13:21 53s
Add Certora specs Certora #122: Pull request #46 synchronize by sunbreak1211
November 16, 2023 13:21 4m 6s certora
certora
November 16, 2023 13:21 4m 6s
Add VaultMinter specs Certora #121: Commit ba8209c pushed by sunbreak1211
November 16, 2023 13:21 4m 13s certora
certora
November 16, 2023 13:21 4m 13s
Add VaultMinter specs Tests #927: Commit ba8209c pushed by sunbreak1211
November 16, 2023 13:21 55s certora
certora
November 16, 2023 13:21 55s
Add Certora specs Certora #120: Pull request #46 synchronize by sunbreak1211
November 16, 2023 12:31 3m 54s certora
certora
November 16, 2023 12:31 3m 54s
Add Certora specs Tests #926: Pull request #46 synchronize by sunbreak1211
November 16, 2023 12:31 51s certora
certora
November 16, 2023 12:31 51s
Add VaultMinter automation contract (#70) Tests #925: Commit 0c6457a pushed by sunbreak1211
November 16, 2023 12:31 1m 7s certora
certora
November 16, 2023 12:31 1m 7s
Add VaultMinter automation contract (#70) Certora #119: Commit 0c6457a pushed by sunbreak1211
November 16, 2023 12:31 4m 3s certora
certora
November 16, 2023 12:31 4m 3s
Add Certora specs Certora #118: Pull request #46 synchronize by sunbreak1211
November 16, 2023 12:29 5m 37s certora
certora
November 16, 2023 12:29 5m 37s
Add Certora specs Tests #924: Pull request #46 synchronize by sunbreak1211
November 16, 2023 12:29 52s certora
certora
November 16, 2023 12:29 52s
Add rule for checking non corresponding storage keeps unchanged (#67) Tests #923: Commit fe33f4d pushed by sunbreak1211
November 16, 2023 12:29 51s certora
certora
November 16, 2023 12:29 51s
Add rule for checking non corresponding storage keeps unchanged (#67) Certora #117: Commit fe33f4d pushed by sunbreak1211
November 16, 2023 12:29 5m 58s certora
certora
November 16, 2023 12:29 5m 58s