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

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
[Certora] Verify mint and burn CI #838: Pull request #93 synchronize by QGarchery
December 9, 2024 15:24 1m 13s colin@verif/mint-burn
colin@verif/mint-burn
December 9, 2024 15:24 1m 13s
Merge pull request #103 from morpho-org/verif/tweak-mint-burn CI #837: Commit 1563a01 pushed by QGarchery
December 9, 2024 15:24 1m 29s colin@verif/mint-burn
colin@verif/mint-burn
December 9, 2024 15:24 1m 29s
[Certora] Small change to mint&burn CI #836: Pull request #103 synchronize by QGarchery
December 9, 2024 15:13 2m 3s verif/tweak-mint-burn
verif/tweak-mint-burn
December 9, 2024 15:13 2m 3s
chore: revert onlyAuthorizeCanTransfer refactor CI #835: Commit 1c74c95 pushed by QGarchery
December 9, 2024 15:13 2m 9s verif/tweak-mint-burn
verif/tweak-mint-burn
December 9, 2024 15:13 2m 9s
[Certora] Small change to mint&burn CI #834: Pull request #103 opened by QGarchery
December 9, 2024 14:29 1m 13s verif/tweak-mint-burn
verif/tweak-mint-burn
December 9, 2024 14:29 1m 13s
feat: tweak to conform to diff CI #833: Commit 1ee1291 pushed by QGarchery
December 9, 2024 14:27 2m 12s verif/tweak-mint-burn
verif/tweak-mint-burn
December 9, 2024 14:27 2m 12s
[Certora] Check Missing Reverts CI #832: Pull request #98 synchronize by colin-morpho
December 6, 2024 18:00 1m 18s colin@verif/reverts
colin@verif/reverts
December 6, 2024 18:00 1m 18s
chore: update specs CI #831: Commit 94fef53 pushed by colin-morpho
December 6, 2024 18:00 1m 22s colin@verif/reverts
colin@verif/reverts
December 6, 2024 18:00 1m 22s
[Certora] Verify mint and burn CI #830: Pull request #93 synchronize by colin-morpho
December 6, 2024 17:20 1m 11s colin@verif/mint-burn
colin@verif/mint-burn
December 6, 2024 17:20 1m 11s
fix: implement suggestions from review CI #829: Commit f14e8d2 pushed by colin-morpho
December 6, 2024 17:20 1m 16s colin@verif/mint-burn
colin@verif/mint-burn
December 6, 2024 17:20 1m 16s
Merge pull request #102 from morpho-org/colin@verif/delegation-invari… CI #828: Commit 82c9c5c pushed by colin-morpho
December 6, 2024 15:37 1m 17s main
main
December 6, 2024 15:37 1m 17s
[Certora] Verify mint and burn CI #827: Pull request #93 synchronize by colin-morpho
December 6, 2024 15:13 1m 30s colin@verif/mint-burn
colin@verif/mint-burn
December 6, 2024 15:13 1m 30s
Merge branch 'colin@verif/delegation-invariants' into colin@verif/min… CI #826: Commit 3f309e0 pushed by colin-morpho
December 6, 2024 15:13 2m 4s colin@verif/mint-burn
colin@verif/mint-burn
December 6, 2024 15:13 2m 4s
[Certora] Delegation invariant CI #825: Pull request #102 synchronize by colin-morpho
December 6, 2024 15:11 2m 2s colin@verif/delegation-invariants
colin@verif/delegation-invariants
December 6, 2024 15:11 2m 2s
Merge branch 'main' into colin@verif/delegation-invariants CI #824: Commit 58c9a1a pushed by colin-morpho
December 6, 2024 15:11 2m 4s colin@verif/delegation-invariants
colin@verif/delegation-invariants
December 6, 2024 15:11 2m 4s
[Certora] Delegation invariant CI #823: Pull request #102 synchronize by colin-morpho
December 6, 2024 14:43 1m 27s colin@verif/delegation-invariants
colin@verif/delegation-invariants
December 6, 2024 14:43 1m 27s
docs: apply suggestions from code review CI #822: Commit c263e91 pushed by colin-morpho
December 6, 2024 14:43 1m 13s colin@verif/delegation-invariants
colin@verif/delegation-invariants
December 6, 2024 14:43 1m 13s
[Certora] Delegation invariant CI #821: Pull request #102 synchronize by colin-morpho
December 6, 2024 14:42 1m 28s colin@verif/delegation-invariants
colin@verif/delegation-invariants
December 6, 2024 14:42 1m 28s
docs: apply suggestions from code review CI #820: Commit 226a313 pushed by colin-morpho
December 6, 2024 14:42 1m 12s colin@verif/delegation-invariants
colin@verif/delegation-invariants
December 6, 2024 14:42 1m 12s
[Certora] Verify mint and burn CI #819: Pull request #93 synchronize by colin-morpho
December 6, 2024 14:21 1m 56s colin@verif/mint-burn
colin@verif/mint-burn
December 6, 2024 14:21 1m 56s
Merge branch 'colin@verif/delegation-invariants' into colin@verif/min… CI #818: Commit f2a2468 pushed by colin-morpho
December 6, 2024 14:21 1m 15s colin@verif/mint-burn
colin@verif/mint-burn
December 6, 2024 14:21 1m 15s
[Certora] Delegation invariant CI #817: Pull request #102 synchronize by colin-morpho
December 6, 2024 14:12 1m 24s colin@verif/delegation-invariants
colin@verif/delegation-invariants
December 6, 2024 14:12 1m 24s
docs: improve docs CI #816: Commit ecf4070 pushed by colin-morpho
December 6, 2024 14:12 1m 15s colin@verif/delegation-invariants
colin@verif/delegation-invariants
December 6, 2024 14:12 1m 15s
[Certora] Verify mint and burn CI #815: Pull request #93 synchronize by colin-morpho
December 6, 2024 08:31 2m 3s colin@verif/mint-burn
colin@verif/mint-burn
December 6, 2024 08:31 2m 3s