Skip to content

Actions: morpho-org/morpho-blue

Actions

Formatting

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
formatting.yml
482 workflow runs
482 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[Halmos] Setup for verification and first invariants Formatting #1449: Pull request #675 synchronize by QGarchery
April 22, 2024 16:26 35s halmos/setup
halmos/setup
April 22, 2024 16:26 35s
Merge pull request #678 from morpho-org/chore/remove-draft-overlay-ca… Formatting #1448: Commit 44ae45b pushed by MerlinEgalite
April 22, 2024 15:42 37s main
main
April 22, 2024 15:42 37s
[Halmos] Setup for verification and first invariants Formatting #1447: Pull request #675 synchronize by MathisGD
April 22, 2024 13:36 37s halmos/setup
halmos/setup
April 22, 2024 13:36 37s
[Halmos] Setup for verification and first invariants Formatting #1446: Pull request #675 synchronize by MathisGD
April 22, 2024 13:33 38s halmos/setup
halmos/setup
April 22, 2024 13:33 38s
[Halmos] Setup for verification and first invariants Formatting #1445: Pull request #675 synchronize by QGarchery
April 22, 2024 12:53 41s halmos/setup
halmos/setup
April 22, 2024 12:53 41s
chore: remove 'draft' overlay of cantina managed audit Formatting #1444: Pull request #678 opened by MathisGD
April 22, 2024 12:51 37s chore/remove-draft-overlay-cantina-audit
chore/remove-draft-overlay-cantina-audit
April 22, 2024 12:51 37s
[Halmos] Setup for verification and first invariants Formatting #1443: Pull request #675 synchronize by QGarchery
April 22, 2024 12:48 31s halmos/setup
halmos/setup
April 22, 2024 12:48 31s
[Halmos] Setup for verification and first invariants Formatting #1442: Pull request #675 synchronize by QGarchery
April 22, 2024 12:25 42s halmos/setup
halmos/setup
April 22, 2024 12:25 42s
Halmos: Few more basic rules Formatting #1441: Pull request #677 synchronize by MathisGD
April 22, 2024 11:44 34s halmos/more-rules
halmos/more-rules
April 22, 2024 11:44 34s
Halmos: Few more basic rules Formatting #1440: Pull request #677 synchronize by MathisGD
April 22, 2024 10:40 35s halmos/more-rules
halmos/more-rules
April 22, 2024 10:40 35s
Halmos: Few more basic rules Formatting #1439: Pull request #677 synchronize by MathisGD
April 22, 2024 10:35 30s halmos/more-rules
halmos/more-rules
April 22, 2024 10:35 30s
Halmos: Few more basic rules Formatting #1438: Pull request #677 opened by MathisGD
April 22, 2024 10:32 38s halmos/more-rules
halmos/more-rules
April 22, 2024 10:32 38s
[Halmos] Setup for verification and first invariants Formatting #1437: Pull request #675 synchronize by QGarchery
April 19, 2024 13:22 35s halmos/setup
halmos/setup
April 19, 2024 13:22 35s
[Halmos] Setup for verification and first invariants Formatting #1436: Pull request #675 synchronize by QGarchery
April 19, 2024 11:40 36s halmos/setup
halmos/setup
April 19, 2024 11:40 36s
[Halmos] Setup for verification and first invariants Formatting #1435: Pull request #675 synchronize by QGarchery
April 19, 2024 07:37 38s halmos/setup
halmos/setup
April 19, 2024 07:37 38s
[Halmos] Setup for verification and first invariants Formatting #1434: Pull request #675 synchronize by QGarchery
April 16, 2024 15:39 31s halmos/setup
halmos/setup
April 16, 2024 15:39 31s
[Halmos] Setup for verification and first invariants Formatting #1433: Pull request #675 synchronize by QGarchery
April 16, 2024 15:24 28s halmos/setup
halmos/setup
April 16, 2024 15:24 28s
[Halmos] Setup for verification and first invariants Formatting #1432: Pull request #675 synchronize by QGarchery
April 16, 2024 15:20 36s halmos/setup
halmos/setup
April 16, 2024 15:20 36s
[Halmos] Setup for verification and first invariants Formatting #1431: Pull request #675 synchronize by QGarchery
April 16, 2024 15:16 40s halmos/setup
halmos/setup
April 16, 2024 15:16 40s
[Halmos] Setup for verification and first invariants Formatting #1430: Pull request #675 synchronize by QGarchery
April 16, 2024 08:25 29s halmos/setup
halmos/setup
April 16, 2024 08:25 29s
Merge pull request #676 from morpho-org/certora/timeout-exact-math Formatting #1429: Commit c10f215 pushed by QGarchery
April 16, 2024 08:24 35s main
main
April 16, 2024 08:24 35s
[Certora] fix exact math timeout Formatting #1428: Pull request #676 synchronize by QGarchery
April 15, 2024 12:51 41s certora/timeout-exact-math
certora/timeout-exact-math
April 15, 2024 12:51 41s
[Certora] fix exact math timeout Formatting #1427: Pull request #676 synchronize by QGarchery
April 15, 2024 10:40 29s certora/timeout-exact-math
certora/timeout-exact-math
April 15, 2024 10:40 29s
[Certora] fix exact math timeout Formatting #1426: Pull request #676 synchronize by QGarchery
April 15, 2024 10:30 25s certora/timeout-exact-math
certora/timeout-exact-math
April 15, 2024 10:30 25s
[Certora] fix exact math timeout Formatting #1425: Pull request #676 synchronize by QGarchery
April 15, 2024 09:06 36s certora/timeout-exact-math
certora/timeout-exact-math
April 15, 2024 09:06 36s