Skip to content

Actions: morpho-org/morpho-token

Actions

Certora

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
certora.yml
135 workflow runs
135 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[Certora] Verify mint and burn Certora #85: Pull request #93 synchronize by colin-morpho
December 6, 2024 08:31 8m 22s colin@verif/mint-burn
colin@verif/mint-burn
December 6, 2024 08:31 8m 22s
[Certora] Verify mint and burn Certora #84: Pull request #93 synchronize by colin-morpho
December 6, 2024 07:38 7m 19s colin@verif/mint-burn
colin@verif/mint-burn
December 6, 2024 07:38 7m 19s
[Certora] Delegation invariant Certora #83: Pull request #102 synchronize by colin-morpho
December 5, 2024 13:33 10m 13s colin@verif/delegation-invariants
colin@verif/delegation-invariants
December 5, 2024 13:33 10m 13s
Merge pull request #100 from morpho-org/verif/munged-up Certora #82: Commit 665326c pushed by MathisGD
December 5, 2024 12:11 7m 39s main
main
December 5, 2024 12:11 7m 39s
[Certora] Move munged folder up Certora #81: Pull request #100 synchronize by QGarchery
December 5, 2024 08:30 7m 6s verif/munged-up
verif/munged-up
December 5, 2024 08:30 7m 6s
[Certora] Move munged folder up Certora #80: Pull request #100 synchronize by QGarchery
December 4, 2024 17:42 7m 50s verif/munged-up
verif/munged-up
December 4, 2024 17:42 7m 50s
[Certora] Delegation invariant Certora #79: Pull request #102 synchronize by colin-morpho
December 4, 2024 17:07 8m 42s colin@verif/delegation-invariants
colin@verif/delegation-invariants
December 4, 2024 17:07 8m 42s
Merge pull request #92 from morpho-org/colin@verif/delegation Certora #78: Commit 328e98e pushed by colin-morpho
December 4, 2024 16:59 4m 45s main
main
December 4, 2024 16:59 4m 45s
[Certora] Delegation invariant Certora #77: Pull request #102 synchronize by colin-morpho
December 4, 2024 16:56 6m 30s colin@verif/delegation-invariants
colin@verif/delegation-invariants
December 4, 2024 16:56 6m 30s
[Certora] Delegation invariant Certora #76: Pull request #102 synchronize by colin-morpho
December 4, 2024 16:15 5m 18s colin@verif/delegation-invariants
colin@verif/delegation-invariants
December 4, 2024 16:15 5m 18s
[Certora] Delegation invariant Certora #75: Pull request #102 synchronize by colin-morpho
December 4, 2024 16:11 5m 13s colin@verif/delegation-invariants
colin@verif/delegation-invariants
December 4, 2024 16:11 5m 13s
[Certora] Delegation invariant Certora #74: Pull request #102 synchronize by colin-morpho
December 4, 2024 16:09 5m 36s colin@verif/delegation-invariants
colin@verif/delegation-invariants
December 4, 2024 16:09 5m 36s
[Certora] Delegation invariant Certora #73: Pull request #102 synchronize by colin-morpho
December 4, 2024 16:07 7m 30s colin@verif/delegation-invariants
colin@verif/delegation-invariants
December 4, 2024 16:07 7m 30s
[Certora] Delegation invariant Certora #72: Pull request #102 synchronize by colin-morpho
December 4, 2024 16:02 8m 28s colin@verif/delegation-invariants
colin@verif/delegation-invariants
December 4, 2024 16:02 8m 28s
[Certora] Delegation invariant Certora #71: Pull request #102 synchronize by colin-morpho
December 4, 2024 15:46 10m 1s colin@verif/delegation-invariants
colin@verif/delegation-invariants
December 4, 2024 15:46 10m 1s
[Certora] Verify delegation correctness Certora #70: Pull request #92 synchronize by MathisGD
December 4, 2024 15:23 7m 14s colin@verif/delegation
colin@verif/delegation
December 4, 2024 15:23 7m 14s
[Certora] Delegation invariant Certora #69: Pull request #102 synchronize by colin-morpho
December 4, 2024 15:04 9m 0s colin@verif/delegation-invariants
colin@verif/delegation-invariants
December 4, 2024 15:04 9m 0s
[Certora] Delegation invariant Certora #68: Pull request #102 synchronize by colin-morpho
December 2, 2024 16:46 5m 8s colin@verif/delegation-invariants
colin@verif/delegation-invariants
December 2, 2024 16:46 5m 8s
[Certora] Verify delegation correctness Certora #67: Pull request #92 synchronize by colin-morpho
December 2, 2024 16:41 5m 42s colin@verif/delegation
colin@verif/delegation
December 2, 2024 16:41 5m 42s
[Certora] Delegation invariant Certora #66: Pull request #102 synchronize by colin-morpho
December 2, 2024 16:35 10m 0s colin@verif/delegation-invariants
colin@verif/delegation-invariants
December 2, 2024 16:35 10m 0s
[Certora] Delegation invariant Certora #65: Pull request #102 synchronize by colin-morpho
December 2, 2024 15:29 9m 16s colin@verif/delegation-invariants
colin@verif/delegation-invariants
December 2, 2024 15:29 9m 16s
[Certora] Verify delegation correctness Certora #64: Pull request #92 synchronize by colin-morpho
December 2, 2024 14:55 7m 23s colin@verif/delegation
colin@verif/delegation
December 2, 2024 14:55 7m 23s
[Certora] Verify delegation correctness Certora #63: Pull request #92 synchronize by colin-morpho
December 2, 2024 14:12 6m 40s colin@verif/delegation
colin@verif/delegation
December 2, 2024 14:12 6m 40s
[Certora] Delegation invariant Certora #62: Pull request #102 synchronize by colin-morpho
December 2, 2024 09:29 8m 45s colin@verif/delegation-invariants
colin@verif/delegation-invariants
December 2, 2024 09:29 8m 45s
[Certora] Delegation invariant Certora #61: Pull request #102 synchronize by colin-morpho
December 2, 2024 08:50 7m 39s colin@verif/delegation-invariants
colin@verif/delegation-invariants
December 2, 2024 08:50 7m 39s