Skip to content

Actions: morpho-org/morpho-token

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
913 workflow runs
913 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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 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
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
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
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 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 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
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 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
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 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 CI #868: Pull request #105 opened by colin-morpho
December 16, 2024 08:44 1m 57s colin@verif/overflows
colin@verif/overflows
December 16, 2024 08:44 1m 57s
refactor: add require statements CI #867: Commit 2ebbdff pushed by colin-morpho
December 16, 2024 08:41 2m 12s colin@verif/overflows
colin@verif/overflows
December 16, 2024 08:41 2m 12s
Merge pull request #93 from morpho-org/colin@verif/mint-burn CI #866: Commit d828ef0 pushed by colin-morpho
December 16, 2024 08:11 1m 8s colin@verif/overflows
colin@verif/overflows
December 16, 2024 08:11 1m 8s
Merge pull request #93 from morpho-org/colin@verif/mint-burn CI #865: Commit d828ef0 pushed by colin-morpho
December 11, 2024 09:27 1m 9s main
main
December 11, 2024 09:27 1m 9s