Skip to content

Actions: morpho-org/morpho-token

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[Certora] Handle overflows CI #888: Pull request #105 synchronize by colin-morpho
January 16, 2025 16:07 1m 29s colin@verif/overflows
colin@verif/overflows
January 16, 2025 16:07 1m 29s
fix: repair unsound rule CI #887: Commit 389f418 pushed by colin-morpho
January 16, 2025 16:07 1m 14s colin@verif/overflows
colin@verif/overflows
January 16, 2025 16:07 1m 14s
[Certora] Handle overflows CI #886: Pull request #105 synchronize by colin-morpho
January 16, 2025 15:38 1m 33s colin@verif/overflows
colin@verif/overflows
January 16, 2025 15:38 1m 33s
[Certora] Handle overflows Certora #122: Pull request #105 synchronize by colin-morpho
January 16, 2025 15:38 9m 20s colin@verif/overflows
colin@verif/overflows
January 16, 2025 15:38 9m 20s
fix: require statements CI #885: Commit fdbcc97 pushed by colin-morpho
January 16, 2025 15:38 1m 28s colin@verif/overflows
colin@verif/overflows
January 16, 2025 15:38 1m 28s
[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