Skip to content

Actions: morpho-org/morpho-token

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
docs: apply suggestions from code review CI #855: Commit c72065a pushed by colin-morpho
December 10, 2024 15:31 2m 1s colin@verif/mint-burn
colin@verif/mint-burn
December 10, 2024 15:31 2m 1s
[Certora] Add delegation related invariants Certora #105: Pull request #104 synchronize by colin-morpho
December 10, 2024 15:14 9m 47s colin@verif/delegation-invariant-bis
colin@verif/delegation-invariant-bis
December 10, 2024 15:14 9m 47s
[Certora] Add delegation related invariants CI #854: Pull request #104 synchronize by colin-morpho
December 10, 2024 15:14 2m 2s colin@verif/delegation-invariant-bis
colin@verif/delegation-invariant-bis
December 10, 2024 15:14 2m 2s
docs: apply suggestions from code review CI #853: Commit 9da610b pushed by colin-morpho
December 10, 2024 15:14 1m 14s colin@verif/delegation-invariant-bis
colin@verif/delegation-invariant-bis
December 10, 2024 15:14 1m 14s
[Certora] Check Missing Reverts Certora #104: Pull request #98 synchronize by colin-morpho
December 10, 2024 13:57 10m 8s colin@verif/reverts
colin@verif/reverts
December 10, 2024 13:57 10m 8s
[Certora] Check Missing Reverts CI #852: Pull request #98 synchronize by colin-morpho
December 10, 2024 13:57 2m 0s colin@verif/reverts
colin@verif/reverts
December 10, 2024 13:57 2m 0s
fix: typo CI #851: Commit 7ed3254 pushed by colin-morpho
December 10, 2024 13:57 1m 11s colin@verif/reverts
colin@verif/reverts
December 10, 2024 13:57 1m 11s
[Certora] Add delegation related invariants Certora #103: Pull request #104 synchronize by colin-morpho
December 10, 2024 13:37 9m 20s colin@verif/delegation-invariant-bis
colin@verif/delegation-invariant-bis
December 10, 2024 13:37 9m 20s
[Certora] Add delegation related invariants CI #850: Pull request #104 synchronize by colin-morpho
December 10, 2024 13:37 2m 4s colin@verif/delegation-invariant-bis
colin@verif/delegation-invariant-bis
December 10, 2024 13:37 2m 4s
docs: improve docs CI #849: Commit 9a935dd pushed by colin-morpho
December 10, 2024 13:37 1m 58s colin@verif/delegation-invariant-bis
colin@verif/delegation-invariant-bis
December 10, 2024 13:37 1m 58s
[Certora] Check Missing Reverts CI #848: Pull request #98 synchronize by colin-morpho
December 10, 2024 13:28 1m 57s colin@verif/reverts
colin@verif/reverts
December 10, 2024 13:28 1m 57s
[Certora] Check Missing Reverts Certora #102: Pull request #98 synchronize by colin-morpho
December 10, 2024 13:28 7m 42s colin@verif/reverts
colin@verif/reverts
December 10, 2024 13:28 7m 42s
refactor: simplify require statements CI #847: Commit 75370ef pushed by colin-morpho
December 10, 2024 13:28 2m 11s colin@verif/reverts
colin@verif/reverts
December 10, 2024 13:28 2m 11s
[Certora] Check Missing Reverts CI #846: Pull request #98 synchronize by colin-morpho
December 10, 2024 13:20 1m 27s colin@verif/reverts
colin@verif/reverts
December 10, 2024 13:20 1m 27s
[Certora] Check Missing Reverts Certora #101: Pull request #98 synchronize by colin-morpho
December 10, 2024 13:20 9m 4s colin@verif/reverts
colin@verif/reverts
December 10, 2024 13:20 9m 4s