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

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
docs: apply suggestions from code review CI #845: Commit de8f6e2 pushed 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 #100: Pull request #98 synchronize by colin-morpho
December 9, 2024 18:52 9m 13s colin@verif/reverts
colin@verif/reverts
December 9, 2024 18:52 9m 13s
[Certora] Check Missing Reverts CI #844: Pull request #98 synchronize by colin-morpho
December 9, 2024 18:52 1m 30s colin@verif/reverts
colin@verif/reverts
December 9, 2024 18:52 1m 30s
chore: formatting CI #843: Commit a712cf9 pushed by colin-morpho
December 9, 2024 18:52 1m 9s colin@verif/reverts
colin@verif/reverts
December 9, 2024 18:52 1m 9s
[Certora] Add delegation related invariants CI #842: Pull request #104 opened by colin-morpho
December 9, 2024 18:50 2m 6s colin@verif/delegation-invariant-bis
colin@verif/delegation-invariant-bis
December 9, 2024 18:50 2m 6s
[Certora] Add delegation related invariants Certora #99: Pull request #104 opened by colin-morpho
December 9, 2024 18:50 11m 11s colin@verif/delegation-invariant-bis
colin@verif/delegation-invariant-bis
December 9, 2024 18:50 11m 11s
feat: add more invariants on delegation CI #841: Commit 7db9d33 pushed by colin-morpho
December 9, 2024 18:46 1m 34s colin@verif/delegation-invariant-bis
colin@verif/delegation-invariant-bis
December 9, 2024 18:46 1m 34s
[Certora] Check Missing Reverts CI #840: Pull request #98 synchronize by colin-morpho
December 9, 2024 15:54 2m 15s colin@verif/reverts
colin@verif/reverts
December 9, 2024 15:54 2m 15s
[Certora] Check Missing Reverts Certora #98: Pull request #98 synchronize by colin-morpho
December 9, 2024 15:54 9m 27s colin@verif/reverts
colin@verif/reverts
December 9, 2024 15:54 9m 27s
refactor: change require-statements and improve docs CI #839: Commit 1c09db8 pushed by colin-morpho
December 9, 2024 15:54 2m 8s colin@verif/reverts
colin@verif/reverts
December 9, 2024 15:54 2m 8s