Skip to content

Actions: morpho-org/morpho-blue

Actions

Formatting

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
formatting.yml
240 workflow runs
240 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #708 from morpho-org/certora/exec-liquidate-buffer Formatting #1614: Commit 9e2b075 pushed by QGarchery
March 3, 2025 09:41 39s main
main
March 3, 2025 09:41 39s
Merge pull request #722 from morpho-org/certora/simplify-summary Formatting #1613: Commit a23260a pushed by MathisGD
March 2, 2025 22:15 33s main
main
March 2, 2025 22:15 33s
Merge pull request #723 from morpho-org/certora/remove-gambit Formatting #1612: Commit 831e09a pushed by MathisGD
February 28, 2025 17:44 36s main
main
February 28, 2025 17:44 36s
[Certora] Liquidate buffer, with executable code Formatting #1611: Pull request #708 synchronize by QGarchery
February 28, 2025 16:24 1m 3s certora/exec-liquidate-buffer
certora/exec-liquidate-buffer
February 28, 2025 16:24 1m 3s
[Certora] Liquidate buffer, with executable code Formatting #1610: Pull request #708 synchronize by QGarchery
February 28, 2025 10:40 42s certora/exec-liquidate-buffer
certora/exec-liquidate-buffer
February 28, 2025 10:40 42s
[Certora] Remove gambit Formatting #1609: Pull request #723 opened by QGarchery
February 27, 2025 16:34 37s certora/remove-gambit
certora/remove-gambit
February 27, 2025 16:34 37s
[Certora] Liquidate buffer, with executable code Formatting #1608: Pull request #708 synchronize by QGarchery
February 27, 2025 15:33 36s certora/exec-liquidate-buffer
certora/exec-liquidate-buffer
February 27, 2025 15:33 36s
[Certora] Liquidate buffer, with executable code Formatting #1607: Pull request #708 synchronize by QGarchery
February 27, 2025 15:31 52s certora/exec-liquidate-buffer
certora/exec-liquidate-buffer
February 27, 2025 15:31 52s
[Certora] Liquidate buffer, with executable code Formatting #1606: Pull request #708 synchronize by QGarchery
February 27, 2025 15:14 36s certora/exec-liquidate-buffer
certora/exec-liquidate-buffer
February 27, 2025 15:14 36s
[Certora] Liquidate buffer, with executable code Formatting #1605: Pull request #708 synchronize by QGarchery
February 27, 2025 12:34 1m 2s certora/exec-liquidate-buffer
certora/exec-liquidate-buffer
February 27, 2025 12:34 1m 2s
[Certora] Simplify summarization of mulDiv and price Formatting #1604: Pull request #722 synchronize by QGarchery
February 25, 2025 16:33 54s certora/simplify-summary
certora/simplify-summary
February 25, 2025 16:33 54s
[Certora] Simplify summarization of mulDiv and price Formatting #1603: Pull request #722 synchronize by QGarchery
February 25, 2025 16:32 44s certora/simplify-summary
certora/simplify-summary
February 25, 2025 16:32 44s
[Certora] Simplify summarization of mulDiv and price Formatting #1602: Pull request #722 synchronize by QGarchery
February 25, 2025 10:50 51s certora/simplify-summary
certora/simplify-summary
February 25, 2025 10:50 51s
[Certora] Simplify summarization of mulDiv and price Formatting #1601: Pull request #722 synchronize by QGarchery
February 25, 2025 10:48 35s certora/simplify-summary
certora/simplify-summary
February 25, 2025 10:48 35s
[Certora] Simplify summarization of mulDiv and price Formatting #1600: Pull request #722 synchronize by QGarchery
February 24, 2025 16:02 1m 0s certora/simplify-summary
certora/simplify-summary
February 24, 2025 16:02 1m 0s
[Certora] Simplify summarization of mulDiv and price Formatting #1599: Pull request #722 synchronize by QGarchery
February 24, 2025 15:32 35s certora/simplify-summary
certora/simplify-summary
February 24, 2025 15:32 35s
Merge pull request #721 from morpho-org/chore/funding Formatting #1598: Commit d9a4a03 pushed by MerlinEgalite
February 21, 2025 18:14 37s main
main
February 21, 2025 18:14 37s
[Certora] Simplify summarization of mulDiv and price Formatting #1597: Pull request #722 opened by QGarchery
February 21, 2025 17:26 38s certora/simplify-summary
certora/simplify-summary
February 21, 2025 17:26 38s
Add verifier for OP funding Formatting #1596: Pull request #721 opened by MerlinEgalite
February 21, 2025 14:28 39s chore/funding
chore/funding
February 21, 2025 14:28 39s
[Certora] liquidate buffer view Formatting #1595: Pull request #710 synchronize by QGarchery
February 17, 2025 10:12 37s certora/liquidate-buffer
certora/liquidate-buffer
February 17, 2025 10:12 37s
[Certora] Liquidate buffer, with executable code Formatting #1594: Pull request #708 synchronize by QGarchery
February 17, 2025 10:10 32s certora/exec-liquidate-buffer
certora/exec-liquidate-buffer
February 17, 2025 10:10 32s
[Certora] Liquidate buffer, with executable code Formatting #1593: Pull request #708 synchronize by QGarchery
February 17, 2025 09:00 35s certora/exec-liquidate-buffer
certora/exec-liquidate-buffer
February 17, 2025 09:00 35s
[Certora] Liquidate buffer, with executable code Formatting #1592: Pull request #708 synchronize by QGarchery
February 17, 2025 08:49 1m 2s certora/exec-liquidate-buffer
certora/exec-liquidate-buffer
February 17, 2025 08:49 1m 2s
[Certora] Liquidate buffer, with executable code Formatting #1591: Pull request #708 synchronize by QGarchery
February 16, 2025 23:00 38s certora/exec-liquidate-buffer
certora/exec-liquidate-buffer
February 16, 2025 23:00 38s
[Certora] Liquidate buffer, with executable code Formatting #1590: Pull request #708 reopened by QGarchery
February 16, 2025 22:43 35s certora/exec-liquidate-buffer
certora/exec-liquidate-buffer
February 16, 2025 22:43 35s