Skip to content

Actions: morpho-org/morpho-token

Actions

Certora

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
certora.yml
131 workflow runs
131 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[Certora] Handle overflows Certora #131: Pull request #105 synchronize by colin-morpho
February 4, 2025 17:03 10m 35s colin@verif/overflows
colin@verif/overflows
February 4, 2025 17:03 10m 35s
[Certora] Handle overflows Certora #130: Pull request #105 synchronize by colin-morpho
February 4, 2025 15:48 10m 35s colin@verif/overflows
colin@verif/overflows
February 4, 2025 15:48 10m 35s
[Certora] Handle overflows Certora #129: Pull request #105 synchronize by colin-morpho
February 4, 2025 13:51 11m 31s colin@verif/overflows
colin@verif/overflows
February 4, 2025 13:51 11m 31s
[Certora] Handle overflows Certora #128: Pull request #105 synchronize by colin-morpho
February 4, 2025 13:06 11m 13s colin@verif/overflows
colin@verif/overflows
February 4, 2025 13:06 11m 13s
[Certora] Handle overflows Certora #127: Pull request #105 synchronize by colin-morpho
February 3, 2025 17:33 10m 39s colin@verif/overflows
colin@verif/overflows
February 3, 2025 17:33 10m 39s
[Certora] Handle overflows Certora #126: Pull request #105 synchronize by colin-morpho
January 20, 2025 15:24 9m 41s colin@verif/overflows
colin@verif/overflows
January 20, 2025 15:24 9m 41s
[Certora] Handle overflows Certora #125: Pull request #105 synchronize by colin-morpho
January 16, 2025 22:15 10m 29s colin@verif/overflows
colin@verif/overflows
January 16, 2025 22:15 10m 29s
[Certora] Handle overflows Certora #124: Pull request #105 synchronize by colin-morpho
January 16, 2025 22:12 11m 15s colin@verif/overflows
colin@verif/overflows
January 16, 2025 22:12 11m 15s
[Certora] Handle overflows Certora #123: Pull request #105 synchronize by colin-morpho
January 16, 2025 16:07 11m 35s colin@verif/overflows
colin@verif/overflows
January 16, 2025 16:07 11m 35s
[Certora] Handle overflows Certora #122: Pull request #105 synchronize by colin-morpho
January 16, 2025 15:38 9m 20s colin@verif/overflows
colin@verif/overflows
January 16, 2025 15:38 9m 20s
[Certora] Handle overflows Certora #121: Pull request #105 synchronize by colin-morpho
January 16, 2025 14:48 11m 34s colin@verif/overflows
colin@verif/overflows
January 16, 2025 14:48 11m 34s
[Certora] Handle overflows Certora #120: Pull request #105 synchronize by colin-morpho
January 15, 2025 16:05 11m 10s colin@verif/overflows
colin@verif/overflows
January 15, 2025 16:05 11m 10s
[Certora] Handle overflows Certora #119: Pull request #105 synchronize by colin-morpho
January 15, 2025 15:46 10m 14s colin@verif/overflows
colin@verif/overflows
January 15, 2025 15:46 10m 14s
[Certora] Handle overflows Certora #118: Pull request #105 synchronize by colin-morpho
January 15, 2025 15:31 7m 21s colin@verif/overflows
colin@verif/overflows
January 15, 2025 15:31 7m 21s
[Certora] Handle overflows Certora #117: Pull request #105 synchronize by colin-morpho
January 15, 2025 14:19 10m 1s colin@verif/overflows
colin@verif/overflows
January 15, 2025 14:19 10m 1s
[Certora] Handle overflows Certora #116: Pull request #105 synchronize by QGarchery
January 14, 2025 11:50 10m 23s colin@verif/overflows
colin@verif/overflows
January 14, 2025 11:50 10m 23s
[Certora] Safe require mint&burn Certora #115: Pull request #106 opened by QGarchery
January 14, 2025 11:38 10m 37s certora/safe-require-mint-burn
certora/safe-require-mint-burn
January 14, 2025 11:38 10m 37s
[Certora] Handle overflows Certora #114: Pull request #105 synchronize by colin-morpho
December 16, 2024 12:31 9m 25s colin@verif/overflows
colin@verif/overflows
December 16, 2024 12:31 9m 25s
[Certora] Handle overflows Certora #113: Pull request #105 opened by colin-morpho
December 16, 2024 08:44 10m 15s colin@verif/overflows
colin@verif/overflows
December 16, 2024 08:44 10m 15s
Merge pull request #93 from morpho-org/colin@verif/mint-burn Certora #112: Commit d828ef0 pushed by colin-morpho
December 11, 2024 09:27 10m 10s main
main
December 11, 2024 09:27 10m 10s
[Certora] Verify mint and burn Certora #111: Pull request #93 synchronize by colin-morpho
December 10, 2024 22:00 9m 54s colin@verif/mint-burn
colin@verif/mint-burn
December 10, 2024 22:00 9m 54s
[Certora] Verify mint and burn Certora #110: Pull request #93 synchronize by colin-morpho
December 10, 2024 21:51 10m 12s colin@verif/mint-burn
colin@verif/mint-burn
December 10, 2024 21:51 10m 12s
[Certora] Verify mint and burn Certora #109: Pull request #93 synchronize by colin-morpho
December 10, 2024 21:43 11m 25s colin@verif/mint-burn
colin@verif/mint-burn
December 10, 2024 21:43 11m 25s
Merge pull request #98 from morpho-org/colin@verif/reverts Certora #108: Commit be811e7 pushed by colin-morpho
December 10, 2024 17:02 10m 1s main
main
December 10, 2024 17:02 10m 1s
Merge pull request #104 from morpho-org/colin@verif/delegation-invari… Certora #107: Commit b082d3a pushed by colin-morpho
December 10, 2024 17:01 10m 28s main
main
December 10, 2024 17:01 10m 28s