Skip to content

Actions: morpho-org/morpho-token

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
913 workflow runs
913 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[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
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 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
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 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
[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
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 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 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 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
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
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 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
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