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

Merge pull request #108 from morpho-org/certora/remove-ghost-execution CI #914: Commit 8ffb645 pushed by MathisGD
February 17, 2025 11:02 1m 24s colin@verif/overflows
colin@verif/overflows
February 17, 2025 11:02 1m 24s
[Certora] Remove ghost execution CI #913: Pull request #108 synchronize by colin-morpho
February 14, 2025 09:31 1m 26s certora/remove-ghost-execution
certora/remove-ghost-execution
February 14, 2025 09:31 1m 26s
Merge pull request #110 from morpho-org/certora/fix-transfer-revert CI #912: Commit 70d3314 pushed by colin-morpho
February 14, 2025 09:31 2m 3s certora/remove-ghost-execution
certora/remove-ghost-execution
February 14, 2025 09:31 2m 3s
[Certora] Fix sumOfTwoDelegatedVPLTEqTotalVP usage CI #911: Pull request #110 opened by QGarchery
February 12, 2025 16:45 1m 29s certora/fix-transfer-revert
certora/fix-transfer-revert
February 12, 2025 16:45 1m 29s
fix: usage of sumOfTwoDelegatedVPLTEqTotalVP CI #910: Commit 1f385d3 pushed by QGarchery
February 12, 2025 16:38 1m 9s certora/fix-transfer-revert
certora/fix-transfer-revert
February 12, 2025 16:38 1m 9s
[Certora] Remove ghost execution CI #909: Pull request #108 opened by QGarchery
February 12, 2025 08:28 2m 4s certora/remove-ghost-execution
certora/remove-ghost-execution
February 12, 2025 08:28 2m 4s
chore: linting CI #908: Commit e258cd3 pushed by QGarchery
February 12, 2025 08:27 1m 26s certora/remove-ghost-execution
certora/remove-ghost-execution
February 12, 2025 08:27 1m 26s
refactor: remove ghost execution CI #907: Commit 3b68f26 pushed by QGarchery
February 12, 2025 08:26 1m 6s certora/remove-ghost-execution
certora/remove-ghost-execution
February 12, 2025 08:26 1m 6s
[Certora] Handle overflows CI #906: Pull request #105 synchronize by colin-morpho
February 11, 2025 14:06 1m 12s colin@verif/overflows
colin@verif/overflows
February 11, 2025 14:06 1m 12s
docs: apply suggestions from code review CI #905: Commit 4961928 pushed by colin-morpho
February 11, 2025 14:06 1m 28s colin@verif/overflows
colin@verif/overflows
February 11, 2025 14:06 1m 28s
[Certora] Handle overflows CI #904: Pull request #105 synchronize by colin-morpho
February 4, 2025 17:03 1m 14s colin@verif/overflows
colin@verif/overflows
February 4, 2025 17:03 1m 14s
refactor: readability CI #903: Commit 4de56d8 pushed by colin-morpho
February 4, 2025 17:03 1m 14s colin@verif/overflows
colin@verif/overflows
February 4, 2025 17:03 1m 14s
[Certora] Handle overflows CI #902: Pull request #105 synchronize by colin-morpho
February 4, 2025 15:48 2m 6s colin@verif/overflows
colin@verif/overflows
February 4, 2025 15:48 2m 6s
refactor: implement review suggestions CI #901: Commit 619435e pushed by colin-morpho
February 4, 2025 15:48 1m 27s colin@verif/overflows
colin@verif/overflows
February 4, 2025 15:48 1m 27s
[Certora] Handle overflows CI #900: Pull request #105 synchronize by colin-morpho
February 4, 2025 13:51 1m 11s colin@verif/overflows
colin@verif/overflows
February 4, 2025 13:51 1m 11s
refactor: genelarize amount to balance of sender CI #899: Commit 0874bf3 pushed by colin-morpho
February 4, 2025 13:50 1m 10s colin@verif/overflows
colin@verif/overflows
February 4, 2025 13:50 1m 10s
[Certora] Handle overflows CI #898: Pull request #105 synchronize by colin-morpho
February 4, 2025 13:06 1m 9s colin@verif/overflows
colin@verif/overflows
February 4, 2025 13:06 1m 9s
fix: soundness issue and improve readability CI #897: Commit 01aca82 pushed by colin-morpho
February 4, 2025 13:06 2m 1s colin@verif/overflows
colin@verif/overflows
February 4, 2025 13:06 2m 1s
[Certora] Handle overflows CI #896: Pull request #105 synchronize by colin-morpho
February 3, 2025 17:33 1m 33s colin@verif/overflows
colin@verif/overflows
February 3, 2025 17:33 1m 33s
fix: implement review suggestions CI #895: Commit 3fb5d42 pushed by colin-morpho
February 3, 2025 17:33 1m 11s colin@verif/overflows
colin@verif/overflows
February 3, 2025 17:33 1m 11s
[Certora] Handle overflows CI #894: Pull request #105 synchronize by colin-morpho
January 20, 2025 15:24 1m 58s colin@verif/overflows
colin@verif/overflows
January 20, 2025 15:24 1m 58s
fix: usage and docs of rule CI #893: Commit 06b6407 pushed by colin-morpho
January 20, 2025 15:24 1m 14s colin@verif/overflows
colin@verif/overflows
January 20, 2025 15:24 1m 14s
[Certora] Handle overflows CI #892: Pull request #105 synchronize by colin-morpho
January 16, 2025 22:15 1m 11s colin@verif/overflows
colin@verif/overflows
January 16, 2025 22:15 1m 11s
docs: improve comment CI #891: Commit 65567c2 pushed by colin-morpho
January 16, 2025 22:15 2m 3s colin@verif/overflows
colin@verif/overflows
January 16, 2025 22:15 2m 3s
[Certora] Handle overflows CI #890: Pull request #105 synchronize by colin-morpho
January 16, 2025 22:12 1m 14s colin@verif/overflows
colin@verif/overflows
January 16, 2025 22:12 1m 14s