Skip to content

Actions: morpho-org/morpho-token

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[Certora] Handle overflows Certora #138: Pull request #105 synchronize by MathisGD
February 17, 2025 11:02 10m 42s colin@verif/overflows
colin@verif/overflows
February 17, 2025 11:02 10m 42s
[Certora] Handle overflows Foundry #3: Pull request #105 synchronize by MathisGD
February 17, 2025 11:02 2m 4s colin@verif/overflows
colin@verif/overflows
February 17, 2025 11:02 2m 4s
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 Certora #137: Pull request #108 synchronize by colin-morpho
February 14, 2025 09:31 12m 7s certora/remove-ghost-execution
certora/remove-ghost-execution
February 14, 2025 09:31 12m 7s
[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
Merge pull request #109 from morpho-org/ci/foundry-update Foundry #2: Commit 34c898b pushed by QGarchery
February 14, 2025 08:42 2m 3s main
main
February 14, 2025 08:42 2m 3s
Merge pull request #109 from morpho-org/ci/foundry-update Certora #136: Commit 34c898b pushed by QGarchery
February 14, 2025 08:42 10m 26s main
main
February 14, 2025 08:42 10m 26s
[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
[Certora] Fix sumOfTwoDelegatedVPLTEqTotalVP usage Certora #135: Pull request #110 opened by QGarchery
February 12, 2025 16:45 11m 38s certora/fix-transfer-revert
certora/fix-transfer-revert
February 12, 2025 16:45 11m 38s
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
Update foundry CI Certora #134: Pull request #109 opened by QGarchery
February 12, 2025 08:41 11m 4s ci/foundry-update
ci/foundry-update
February 12, 2025 08:41 11m 4s
Update foundry CI Foundry #1: Pull request #109 opened by QGarchery
February 12, 2025 08:41 1m 26s ci/foundry-update
ci/foundry-update
February 12, 2025 08:41 1m 26s
[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
[Certora] Remove ghost execution Certora #133: Pull request #108 opened by QGarchery
February 12, 2025 08:28 10m 21s certora/remove-ghost-execution
certora/remove-ghost-execution
February 12, 2025 08:28 10m 21s
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
[Certora] Handle overflows Certora #132: Pull request #105 synchronize by colin-morpho
February 11, 2025 14:06 11m 12s colin@verif/overflows
colin@verif/overflows
February 11, 2025 14:06 11m 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
[Certora] Handle overflows Certora #131: Pull request #105 synchronize by colin-morpho
February 4, 2025 17:03 10m 35s colin@verif/overflows
colin@verif/overflows
February 4, 2025 17:03 10m 35s
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
[Certora] Handle overflows Certora #130: Pull request #105 synchronize by colin-morpho
February 4, 2025 15:48 10m 35s colin@verif/overflows
colin@verif/overflows
February 4, 2025 15:48 10m 35s