Skip to content

Actions: makerdao/dss-direct-deposit

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
152 workflow runs
152 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'multisig-plan' of github.com:makerdao/dss-direct-deposi… Certora #437: Commit 22298e7 pushed by hexonaut
March 19, 2024 15:23 43m 33s multisig-plan
multisig-plan
March 19, 2024 15:23 43m 33s
Fix Certora Specs (#119) Certora #436: Commit 06cf0ee pushed by hexonaut
March 19, 2024 15:22 35m 4s master
master
March 19, 2024 15:22 35m 4s
Fix Certora Specs (#119) .github/workflows/tests.yaml #1369: Commit 06cf0ee pushed by hexonaut
March 19, 2024 15:22 52s master
master
March 19, 2024 15:22 52s
Merge remote-tracking branch 'origin/multisig-plan' into multisig-plan .github/workflows/tests.yaml #1368: Commit 5e659d1 pushed by MathisGD
March 19, 2024 13:55 1m 22s multisig-plan
multisig-plan
March 19, 2024 13:55 1m 22s
Merge remote-tracking branch 'origin/multisig-plan' into multisig-plan Certora #435: Commit 5e659d1 pushed by MathisGD
March 19, 2024 13:55 29s multisig-plan
multisig-plan
March 19, 2024 13:55 29s
use approx eq instead and remove comments Certora #434: Commit bcd532c pushed by hexonaut
March 19, 2024 13:52 32s multisig-plan
multisig-plan
March 19, 2024 13:52 32s
use approx eq instead and remove comments .github/workflows/tests.yaml #1367: Commit bcd532c pushed by hexonaut
March 19, 2024 13:52 1m 2s multisig-plan
multisig-plan
March 19, 2024 13:52 1m 2s
Fix Certora Specs Certora #433: Commit e5920be pushed by sunbreak1211
March 19, 2024 13:45 1h 13m 20s fix-certora
fix-certora
March 19, 2024 13:45 1h 13m 20s
Fix Certora Specs .github/workflows/tests.yaml #1366: Commit e5920be pushed by sunbreak1211
March 19, 2024 13:45 42s fix-certora
fix-certora
March 19, 2024 13:45 42s
enable the asserts again with the rounding taken into account .github/workflows/tests.yaml #1365: Commit 6b827d0 pushed by hexonaut
March 19, 2024 13:32 1m 44s multisig-plan
multisig-plan
March 19, 2024 13:32 1m 44s
enable the asserts again with the rounding taken into account Certora #432: Commit 6b827d0 pushed by hexonaut
March 19, 2024 13:32 34s multisig-plan
multisig-plan
March 19, 2024 13:32 34s
remove increase in error threshold Certora #431: Commit 574965d pushed by hexonaut
March 19, 2024 13:12 48s multisig-plan
multisig-plan
March 19, 2024 13:12 48s
remove increase in error threshold .github/workflows/tests.yaml #1364: Commit 574965d pushed by hexonaut
March 19, 2024 13:12 2m 2s multisig-plan
multisig-plan
March 19, 2024 13:12 2m 2s
revert certora changes .github/workflows/tests.yaml #1363: Commit 7f9752a pushed by hexonaut
March 18, 2024 16:46 1m 4s multisig-plan
multisig-plan
March 18, 2024 16:46 1m 4s
revert certora changes Certora #430: Commit 7f9752a pushed by hexonaut
March 18, 2024 16:46 28s multisig-plan
multisig-plan
March 18, 2024 16:46 28s
Merge pull request #118 from QGarchery/certora/update-certora-ci Certora #429: Commit 6cab878 pushed by hexonaut
March 18, 2024 14:54 9m 55s multisig-plan
multisig-plan
March 18, 2024 14:54 9m 55s
Merge pull request #118 from QGarchery/certora/update-certora-ci .github/workflows/tests.yaml #1362: Commit 6cab878 pushed by hexonaut
March 18, 2024 14:54 1m 48s multisig-plan
multisig-plan
March 18, 2024 14:54 1m 48s
docs: typo .github/workflows/tests.yaml #1361: Commit da33537 pushed by MathisGD
March 18, 2024 14:17 1m 16s multisig-plan
multisig-plan
March 18, 2024 14:17 1m 16s
docs: typo Certora #428: Commit da33537 pushed by MathisGD
March 18, 2024 14:17 31s multisig-plan
multisig-plan
March 18, 2024 14:17 31s
test: first metamorpho specific integration test Certora #427: Commit 940cb93 pushed by MathisGD
March 18, 2024 14:16 35s multisig-plan
multisig-plan
March 18, 2024 14:16 35s
test: first metamorpho specific integration test .github/workflows/tests.yaml #1360: Commit 940cb93 pushed by MathisGD
March 18, 2024 14:16 1m 20s multisig-plan
multisig-plan
March 18, 2024 14:16 1m 20s
fix morpho integration tests Certora #426: Commit 698ec5c pushed by hexonaut
March 17, 2024 20:51 30s multisig-plan
multisig-plan
March 17, 2024 20:51 30s
fix morpho integration tests .github/workflows/tests.yaml #1359: Commit 698ec5c pushed by hexonaut
March 17, 2024 20:51 1m 1s multisig-plan
multisig-plan
March 17, 2024 20:51 1m 1s
fixing some test behaviour Certora #425: Commit bbdea8b pushed by hexonaut
March 17, 2024 20:29 29s multisig-plan
multisig-plan
March 17, 2024 20:29 29s
fixing some test behaviour .github/workflows/tests.yaml #1358: Commit bbdea8b pushed by hexonaut
March 17, 2024 20:29 1m 19s multisig-plan
multisig-plan
March 17, 2024 20:29 1m 19s