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 #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
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
[Certora] Handle overflows Certora #129: Pull request #105 synchronize by colin-morpho
February 4, 2025 13:51 11m 31s colin@verif/overflows
colin@verif/overflows
February 4, 2025 13:51 11m 31s
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 Certora #128: Pull request #105 synchronize by colin-morpho
February 4, 2025 13:06 11m 13s colin@verif/overflows
colin@verif/overflows
February 4, 2025 13:06 11m 13s
[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
[Certora] Handle overflows Certora #127: Pull request #105 synchronize by colin-morpho
February 3, 2025 17:33 10m 39s colin@verif/overflows
colin@verif/overflows
February 3, 2025 17:33 10m 39s
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 Certora #126: Pull request #105 synchronize by colin-morpho
January 20, 2025 15:24 9m 41s colin@verif/overflows
colin@verif/overflows
January 20, 2025 15:24 9m 41s
[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 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