Skip to content

Actions: morpho-org/morpho-blue

Actions

Formatting

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
formatting.yml
646 workflow runs
646 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[Halmos] Setup for verification and first invariants Formatting #1409: Pull request #675 synchronize by QGarchery
April 5, 2024 10:04 32s halmos/setup
halmos/setup
April 5, 2024 10:04 32s
[Halmos] Setup for verification and first invariants Formatting #1408: Pull request #675 synchronize by QGarchery
April 4, 2024 15:19 31s halmos/setup
halmos/setup
April 4, 2024 15:19 31s
[Halmos] Setup for verification and first invariants Formatting #1407: Pull request #675 synchronize by QGarchery
April 4, 2024 14:54 29s halmos/setup
halmos/setup
April 4, 2024 14:54 29s
[Certora] fix exact math timeout Formatting #1406: Pull request #676 opened by QGarchery
April 3, 2024 12:47 47s certora/timeout-exact-math
certora/timeout-exact-math
April 3, 2024 12:47 47s
[Halmos] Setup for verification and first invariants Formatting #1405: Pull request #675 synchronize by QGarchery
April 3, 2024 09:36 35s halmos/setup
halmos/setup
April 3, 2024 09:36 35s
[Halmos] Setup for verification and first invariants Formatting #1404: Pull request #675 synchronize by QGarchery
April 2, 2024 15:52 35s halmos/setup
halmos/setup
April 2, 2024 15:52 35s
[Halmos] Setup for verification and first invariants Formatting #1403: Pull request #675 synchronize by QGarchery
April 2, 2024 15:50 1m 15s halmos/setup
halmos/setup
April 2, 2024 15:50 1m 15s
[Halmos] Setup for verification and first invariants Formatting #1402: Pull request #675 synchronize by QGarchery
April 2, 2024 15:45 29s halmos/setup
halmos/setup
April 2, 2024 15:45 29s
[Halmos] Setup for verification and first invariants Formatting #1401: Pull request #675 synchronize by QGarchery
April 2, 2024 15:37 33s halmos/setup
halmos/setup
April 2, 2024 15:37 33s
[Halmos] Setup for verification and first invariants Formatting #1400: Pull request #675 opened by QGarchery
April 2, 2024 15:35 31s halmos/setup
halmos/setup
April 2, 2024 15:35 31s
Merge pull request #674 from morpho-org/chore/whitepaper-update Formatting #1399: Commit 470a687 pushed by MerlinEgalite
March 26, 2024 15:53 39s main
main
March 26, 2024 15:53 39s
whitepaper update Formatting #1398: Pull request #674 opened by MathisGD
March 25, 2024 20:58 28s chore/whitepaper-update
chore/whitepaper-update
March 25, 2024 20:58 28s
Merge pull request #673 from morpho-org/certora/update-cvl-7.0.7 Formatting #1397: Commit e262e84 pushed by QGarchery
March 22, 2024 08:41 41s main
main
March 22, 2024 08:41 41s
[Certora] Update CVL version 7.0.7 Formatting #1396: Pull request #673 synchronize by QGarchery
March 21, 2024 12:26 30s certora/update-cvl-7.0.7
certora/update-cvl-7.0.7
March 21, 2024 12:26 30s
[Certora] Update CVL version 7.0.7 Formatting #1395: Pull request #673 opened by QGarchery
March 21, 2024 11:54 51s certora/update-cvl-7.0.7
certora/update-cvl-7.0.7
March 21, 2024 11:54 51s
fix invariants tests Formatting #1394: Pull request #595 synchronize by MathisGD
March 7, 2024 13:30 56s ci/invariant
ci/invariant
March 7, 2024 13:30 56s
Merge pull request #671 from morpho-org/certora/simplify-market-invar… Formatting #1393: Commit 8fd9262 pushed by MerlinEgalite
February 27, 2024 10:28 37s main
main
February 27, 2024 10:28 37s
[Certora] Complete the idToMarketParams invariant Formatting #1392: Pull request #671 synchronize by QGarchery
February 26, 2024 21:30 29s certora/simplify-market-invariant
certora/simplify-market-invariant
February 26, 2024 21:30 29s
[Certora] Complete the idToMarketParams invariant Formatting #1391: Pull request #671 synchronize by QGarchery
February 26, 2024 17:45 28s certora/simplify-market-invariant
certora/simplify-market-invariant
February 26, 2024 17:45 28s
[Certora] Complete the idToMarketParams invariant Formatting #1390: Pull request #671 synchronize by QGarchery
February 26, 2024 17:40 26s certora/simplify-market-invariant
certora/simplify-market-invariant
February 26, 2024 17:40 26s
[Certora] Complete the idToMarketParams invariant Formatting #1389: Pull request #671 synchronize by QGarchery
February 26, 2024 17:38 36s certora/simplify-market-invariant
certora/simplify-market-invariant
February 26, 2024 17:38 36s
[Certora] Complete the idToMarketParams invariant Formatting #1388: Pull request #671 opened by QGarchery
February 26, 2024 17:13 31s certora/simplify-market-invariant
certora/simplify-market-invariant
February 26, 2024 17:13 31s
Merge pull request #670 from morpho-org/feat/update-cantina-competition Formatting #1387: Commit 79915e7 pushed by MerlinEgalite
February 22, 2024 16:27 35s main
main
February 22, 2024 16:27 35s
[audit]: adding the cantina competition report Formatting #1386: Pull request #670 synchronize by tomrpl
February 22, 2024 16:13 34s feat/update-cantina-competition
feat/update-cantina-competition
February 22, 2024 16:13 34s
[audit]: adding the cantina competition report Formatting #1385: Pull request #670 opened by tomrpl
February 22, 2024 15:56 30s feat/update-cantina-competition
feat/update-cantina-competition
February 22, 2024 15:56 30s