Skip to content

Actions: m0-foundation/protocol

Actions

certora-verification

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
certora_verification.yml
49 workflow runs
49 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: 98% safety rate multiplier in Earner rate model certora-verification #53: Pull request #195 opened by toninorair
November 5, 2024 18:25 5m 54s feat/earner-model-with-98%-rate-multiplier
feat/earner-model-with-98%-rate-multiplier
November 5, 2024 18:25 5m 54s
chore: add MTokenHarness to gas reports config (#185) certora-verification #51: Commit b1c6e62 pushed by PierrickGT
May 15, 2024 20:28 6m 25s main
main
May 15, 2024 20:28 6m 25s
chore: add MTokenHarness to gas reports config certora-verification #50: Pull request #185 opened by PierrickGT
May 14, 2024 23:09 5m 2s test/add-m-token-harness-to-gas-report
test/add-m-token-harness-to-gas-report
May 14, 2024 23:09 5m 2s
M is almost born (#184) certora-verification #49: Commit 9ae79c9 pushed by toninorair
May 3, 2024 16:38 4m 50s main
main
May 3, 2024 16:38 4m 50s
M is almost born certora-verification #48: Pull request #184 opened by toninorair
May 3, 2024 16:18 15m 44s feat/rename-m
feat/rename-m
May 3, 2024 16:18 15m 44s
Switch multiplier from 90% to 99% certora-verification #47: Pull request #183 opened by toninorair
May 1, 2024 20:52 4m 38s feat/launch-parameters
feat/launch-parameters
May 1, 2024 20:52 4m 38s
Imperfections, last review (#182) certora-verification #46: Commit c9c0f64 pushed by toninorair
May 1, 2024 15:22 5m 2s main
main
May 1, 2024 15:22 5m 2s
Imperfections, last review certora-verification #45: Pull request #182 synchronize by PierrickGT
April 30, 2024 23:44 5m 9s feat/toni-last-findings
feat/toni-last-findings
April 30, 2024 23:44 5m 9s
Imperfections, last review certora-verification #44: Pull request #182 synchronize by toninorair
April 30, 2024 20:25 5m 1s feat/toni-last-findings
feat/toni-last-findings
April 30, 2024 20:25 5m 1s
Imperfections, last review certora-verification #43: Pull request #182 synchronize by toninorair
April 30, 2024 16:36 25m 43s feat/toni-last-findings
feat/toni-last-findings
April 30, 2024 16:36 25m 43s
Imperfections, last review certora-verification #42: Pull request #182 synchronize by toninorair
April 30, 2024 16:32 36m 5s feat/toni-last-findings
feat/toni-last-findings
April 30, 2024 16:32 36m 5s
Imperfections, last review certora-verification #41: Pull request #182 synchronize by toninorair
April 30, 2024 15:22 16m 18s feat/toni-last-findings
feat/toni-last-findings
April 30, 2024 15:22 16m 18s
Imperfections, last review certora-verification #40: Pull request #182 synchronize by toninorair
April 30, 2024 14:54 17m 42s feat/toni-last-findings
feat/toni-last-findings
April 30, 2024 14:54 17m 42s
Imperfections, last review certora-verification #39: Pull request #182 synchronize by toninorair
April 29, 2024 20:00 14m 22s feat/toni-last-findings
feat/toni-last-findings
April 29, 2024 20:00 14m 22s
Imperfections, last review certora-verification #38: Pull request #182 synchronize by toninorair
April 29, 2024 19:39 16m 58s feat/toni-last-findings
feat/toni-last-findings
April 29, 2024 19:39 16m 58s
Imperfections, last review certora-verification #37: Pull request #182 opened by toninorair
April 29, 2024 15:36 16m 31s feat/toni-last-findings
feat/toni-last-findings
April 29, 2024 15:36 16m 31s
feat: Deploy getters and tests (#181) certora-verification #36: Commit f58e97e pushed by toninorair
April 24, 2024 16:20 3m 31s main
main
April 24, 2024 16:20 3m 31s
feat: Deploy getters and tests certora-verification #35: Pull request #181 synchronize by deluca-mike
April 23, 2024 17:17 5m 28s feat/deploy-tests
feat/deploy-tests
April 23, 2024 17:17 5m 28s
Merge pull request #179 from MZero-Labs/feat/fee-events certora-verification #34: Commit 524de09 pushed by deluca-mike
April 23, 2024 17:15 4m 48s main
main
April 23, 2024 17:15 4m 48s
feat: Deploy getters and tests certora-verification #33: Pull request #181 synchronize by deluca-mike
April 23, 2024 16:48 20m 37s feat/deploy-tests
feat/deploy-tests
April 23, 2024 16:48 20m 37s
feat: split fee events certora-verification #32: Pull request #179 synchronize by deluca-mike
April 23, 2024 16:45 16m 34s feat/fee-events
feat/fee-events
April 23, 2024 16:45 16m 34s
feat: split fee events certora-verification #31: Pull request #179 synchronize by deluca-mike
April 23, 2024 16:45 27m 7s feat/fee-events
feat/fee-events
April 23, 2024 16:45 27m 7s
feat: split fee events certora-verification #30: Pull request #179 synchronize by deluca-mike
April 23, 2024 15:37 4m 55s feat/fee-events
feat/fee-events
April 23, 2024 15:37 4m 55s
feat: split fee events certora-verification #29: Pull request #179 synchronize by deluca-mike
April 23, 2024 15:21 4m 53s feat/fee-events
feat/fee-events
April 23, 2024 15:21 4m 53s
feat: split fee events certora-verification #28: Pull request #179 synchronize by toninorair
April 23, 2024 14:18 17m 2s feat/fee-events
feat/fee-events
April 23, 2024 14:18 17m 2s