Skip to content

Actions: morpho-org/morpho-token

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[Certora] Handle overflows Certora #125: Pull request #105 synchronize by colin-morpho
January 16, 2025 22:15 10m 29s colin@verif/overflows
colin@verif/overflows
January 16, 2025 22:15 10m 29s
[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
[Certora] Handle overflows Certora #124: Pull request #105 synchronize by colin-morpho
January 16, 2025 22:12 11m 15s colin@verif/overflows
colin@verif/overflows
January 16, 2025 22:12 11m 15s
fix: assert delegation doesn't revert CI #889: Commit 376c4fd pushed by colin-morpho
January 16, 2025 22:12 1m 57s colin@verif/overflows
colin@verif/overflows
January 16, 2025 22:12 1m 57s
[Certora] Handle overflows Certora #123: Pull request #105 synchronize by colin-morpho
January 16, 2025 16:07 11m 35s colin@verif/overflows
colin@verif/overflows
January 16, 2025 16:07 11m 35s
[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