Skip to content

Actions: morpho-org/morpho-token

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,034 workflow runs
1,034 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

refactor: safe require in MintBurn CI #871: Commit 2279357 pushed by QGarchery
January 14, 2025 11:37 1m 3s certora/safe-require-mint-burn
certora/safe-require-mint-burn
January 14, 2025 11:37 1m 3s
[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 CI #870: Pull request #105 synchronize by colin-morpho
December 16, 2024 12:31 1m 52s colin@verif/overflows
colin@verif/overflows
December 16, 2024 12:31 1m 52s
refactor: simplify revert causes CI #869: Commit 6ab5bad pushed by colin-morpho
December 16, 2024 12:31 1m 26s colin@verif/overflows
colin@verif/overflows
December 16, 2024 12:31 1m 26s
[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
[Certora] Handle overflows CI #868: Pull request #105 opened by colin-morpho
December 16, 2024 08:44 1m 57s colin@verif/overflows
colin@verif/overflows
December 16, 2024 08:44 1m 57s
refactor: add require statements CI #867: Commit 2ebbdff pushed by colin-morpho
December 16, 2024 08:41 2m 12s colin@verif/overflows
colin@verif/overflows
December 16, 2024 08:41 2m 12s
Merge pull request #93 from morpho-org/colin@verif/mint-burn CI #866: Commit d828ef0 pushed by colin-morpho
December 16, 2024 08:11 1m 8s colin@verif/overflows
colin@verif/overflows
December 16, 2024 08:11 1m 8s
Merge pull request #93 from morpho-org/colin@verif/mint-burn CI #865: Commit d828ef0 pushed by colin-morpho
December 11, 2024 09:27 1m 9s main
main
December 11, 2024 09:27 1m 9s
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 CI #864: Pull request #93 synchronize by colin-morpho
December 10, 2024 22:00 1m 52s colin@verif/mint-burn
colin@verif/mint-burn
December 10, 2024 22:00 1m 52s
[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
fix: update to new invariants CI #863: Commit d648654 pushed by colin-morpho
December 10, 2024 22:00 1m 59s colin@verif/mint-burn
colin@verif/mint-burn
December 10, 2024 22:00 1m 59s
[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 CI #862: Pull request #93 synchronize by colin-morpho
December 10, 2024 21:51 1m 12s colin@verif/mint-burn
colin@verif/mint-burn
December 10, 2024 21:51 1m 12s
refactor: use new invariants in ERC20 spec CI #861: Commit 9132208 pushed by colin-morpho
December 10, 2024 21:51 2m 5s colin@verif/mint-burn
colin@verif/mint-burn
December 10, 2024 21:51 2m 5s
[Certora] Verify mint and burn CI #860: Pull request #93 synchronize by colin-morpho
December 10, 2024 21:43 1m 17s colin@verif/mint-burn
colin@verif/mint-burn
December 10, 2024 21:43 1m 17s
[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 branch 'main' into colin@verif/mint-burn CI #859: Commit bbbee4a pushed by colin-morpho
December 10, 2024 21:42 1m 13s colin@verif/mint-burn
colin@verif/mint-burn
December 10, 2024 21:42 1m 13s
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 #98 from morpho-org/colin@verif/reverts CI #858: Commit be811e7 pushed by colin-morpho
December 10, 2024 17:02 1m 18s main
main
December 10, 2024 17:02 1m 18s
Merge pull request #104 from morpho-org/colin@verif/delegation-invari… CI #857: Commit b082d3a pushed by colin-morpho
December 10, 2024 17:01 2m 9s main
main
December 10, 2024 17:01 2m 9s
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
[Certora] Verify mint and burn CI #856: Pull request #93 synchronize by colin-morpho
December 10, 2024 15:31 1m 32s colin@verif/mint-burn
colin@verif/mint-burn
December 10, 2024 15:31 1m 32s
[Certora] Verify mint and burn Certora #106: Pull request #93 synchronize by colin-morpho
December 10, 2024 15:31 6m 38s colin@verif/mint-burn
colin@verif/mint-burn
December 10, 2024 15:31 6m 38s