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 CI #884: Pull request #105 synchronize by colin-morpho
January 16, 2025 14:48 1m 24s colin@verif/overflows
colin@verif/overflows
January 16, 2025 14:48 1m 24s
[Certora] Handle overflows Certora #121: Pull request #105 synchronize by colin-morpho
January 16, 2025 14:48 11m 34s colin@verif/overflows
colin@verif/overflows
January 16, 2025 14:48 11m 34s
fix: add missing hypothesis in transfer rules CI #883: Commit f121755 pushed by colin-morpho
January 16, 2025 14:48 1m 12s colin@verif/overflows
colin@verif/overflows
January 16, 2025 14:48 1m 12s
[Certora] Handle overflows CI #882: Pull request #105 synchronize by colin-morpho
January 15, 2025 16:05 1m 12s colin@verif/overflows
colin@verif/overflows
January 15, 2025 16:05 1m 12s
[Certora] Handle overflows Certora #120: Pull request #105 synchronize by colin-morpho
January 15, 2025 16:05 11m 10s colin@verif/overflows
colin@verif/overflows
January 15, 2025 16:05 11m 10s
fix: syntax CI #881: Commit f6f5b89 pushed by colin-morpho
January 15, 2025 16:05 2m 1s colin@verif/overflows
colin@verif/overflows
January 15, 2025 16:05 2m 1s
[Certora] Handle overflows Certora #119: Pull request #105 synchronize by colin-morpho
January 15, 2025 15:46 10m 14s colin@verif/overflows
colin@verif/overflows
January 15, 2025 15:46 10m 14s
[Certora] Handle overflows CI #880: Pull request #105 synchronize by colin-morpho
January 15, 2025 15:46 1m 15s colin@verif/overflows
colin@verif/overflows
January 15, 2025 15:46 1m 15s
fix: change style CI #879: Commit a73bda1 pushed by colin-morpho
January 15, 2025 15:46 1m 13s colin@verif/overflows
colin@verif/overflows
January 15, 2025 15:46 1m 13s
[Certora] Handle overflows Certora #118: Pull request #105 synchronize by colin-morpho
January 15, 2025 15:31 7m 21s colin@verif/overflows
colin@verif/overflows
January 15, 2025 15:31 7m 21s
[Certora] Handle overflows CI #878: Pull request #105 synchronize by colin-morpho
January 15, 2025 15:31 1m 21s colin@verif/overflows
colin@verif/overflows
January 15, 2025 15:31 1m 21s
refactor: improve updatedDelegatedVPLTEqTotalSupply CI #877: Commit 273104e pushed by colin-morpho
January 15, 2025 15:31 1m 32s colin@verif/overflows
colin@verif/overflows
January 15, 2025 15:31 1m 32s
[Certora] Handle overflows CI #876: Pull request #105 synchronize by colin-morpho
January 15, 2025 14:19 2m 2s colin@verif/overflows
colin@verif/overflows
January 15, 2025 14:19 2m 2s
[Certora] Handle overflows Certora #117: Pull request #105 synchronize by colin-morpho
January 15, 2025 14:19 10m 1s colin@verif/overflows
colin@verif/overflows
January 15, 2025 14:19 10m 1s
fix: change unsafe require CI #875: Commit f55c098 pushed by colin-morpho
January 15, 2025 14:19 1m 13s colin@verif/overflows
colin@verif/overflows
January 15, 2025 14:19 1m 13s
[Certora] Handle overflows Certora #116: Pull request #105 synchronize by QGarchery
January 14, 2025 11:50 10m 23s colin@verif/overflows
colin@verif/overflows
January 14, 2025 11:50 10m 23s
[Certora] Handle overflows CI #874: Pull request #105 synchronize by QGarchery
January 14, 2025 11:50 1m 58s colin@verif/overflows
colin@verif/overflows
January 14, 2025 11:50 1m 58s
Merge pull request #106 from morpho-org/certora/safe-require-mint-burn CI #873: Commit c394113 pushed by QGarchery
January 14, 2025 11:50 1m 11s colin@verif/overflows
colin@verif/overflows
January 14, 2025 11:50 1m 11s
[Certora] Safe require mint&burn CI #872: Pull request #106 opened by QGarchery
January 14, 2025 11:38 1m 5s certora/safe-require-mint-burn
certora/safe-require-mint-burn
January 14, 2025 11:38 1m 5s
[Certora] Safe require mint&burn Certora #115: Pull request #106 opened by QGarchery
January 14, 2025 11:38 10m 37s certora/safe-require-mint-burn
certora/safe-require-mint-burn
January 14, 2025 11:38 10m 37s
refactor: safe require in MintBurn CI #871: Commit 2279357 pushed by QGarchery
January 14, 2025 11:37 1m 3s certora/safe-require-mint-burn
certora/safe-require-mint-burn
January 14, 2025 11:37 1m 3s
[Certora] Handle overflows Certora #114: Pull request #105 synchronize by colin-morpho
December 16, 2024 12:31 9m 25s colin@verif/overflows
colin@verif/overflows
December 16, 2024 12:31 9m 25s
[Certora] Handle overflows CI #870: Pull request #105 synchronize by colin-morpho
December 16, 2024 12:31 1m 52s colin@verif/overflows
colin@verif/overflows
December 16, 2024 12:31 1m 52s
refactor: simplify revert causes CI #869: Commit 6ab5bad pushed by colin-morpho
December 16, 2024 12:31 1m 26s colin@verif/overflows
colin@verif/overflows
December 16, 2024 12:31 1m 26s
[Certora] Handle overflows Certora #113: Pull request #105 opened by colin-morpho
December 16, 2024 08:44 10m 15s colin@verif/overflows
colin@verif/overflows
December 16, 2024 08:44 10m 15s