Skip to content

Actions: morpho-org/morpho-token

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test.yml
893 workflow runs
893 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[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 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
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