Skip to content

Actions: morpho-org/metamorpho

Actions

Formatting

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
formatting.yml
1,277 workflow runs
1,277 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #418 from jhoenicke/certora/MarketInteractionSanity Formatting #1227: Commit e6c50dc pushed by MathisGD
April 23, 2024 09:39 41s main
main
April 23, 2024 09:39 41s
[Certora] Added sanity checks for MarketInteractions Formatting #1226: Pull request #418 opened by jhoenicke
April 18, 2024 15:46 40s jhoenicke:certora/MarketInteractionSanity
jhoenicke:certora/MarketInteractionSanity
April 18, 2024 15:46 40s
Merge pull request #411 from morpho-org/certora/distinct-performance Formatting #1225: Commit 3066d68 pushed by MerlinEgalite
April 18, 2024 14:58 46s main
main
April 18, 2024 14:58 46s
[Certora] Fix solver setup Formatting #1224: Pull request #411 synchronize by QGarchery
April 18, 2024 13:29 10m 37s certora/distinct-performance
certora/distinct-performance
April 18, 2024 13:29 10m 37s
[Certora] import invariant statement Formatting #1223: Pull request #417 synchronize by QGarchery
April 18, 2024 13:28 45s certora/import-invariant-statement
certora/import-invariant-statement
April 18, 2024 13:28 45s
[Certora] Fix solver setup Formatting #1222: Pull request #411 synchronize by QGarchery
April 18, 2024 13:13 46s certora/distinct-performance
certora/distinct-performance
April 18, 2024 13:13 46s
[Certora] Fix solver setup Formatting #1221: Pull request #411 synchronize by QGarchery
April 18, 2024 13:11 58s certora/distinct-performance
certora/distinct-performance
April 18, 2024 13:11 58s
[Certora] Fix solver setup Formatting #1220: Pull request #411 synchronize by QGarchery
April 18, 2024 12:55 48s certora/distinct-performance
certora/distinct-performance
April 18, 2024 12:55 48s
Merge pull request #415 from morpho-org/fix/ERC1820Registry-SPDX Formatting #1219: Commit 549cc21 pushed by MerlinEgalite
April 16, 2024 07:41 47s main
main
April 16, 2024 07:41 47s
[Certora] import invariant statement Formatting #1218: Pull request #417 synchronize by QGarchery
April 15, 2024 13:56 37s certora/import-invariant-statement
certora/import-invariant-statement
April 15, 2024 13:56 37s
[Certora] import invariant statement Formatting #1217: Pull request #417 synchronize by QGarchery
April 15, 2024 13:52 47s certora/import-invariant-statement
certora/import-invariant-statement
April 15, 2024 13:52 47s
[Certora] import invariant statement Formatting #1216: Pull request #417 opened by QGarchery
April 15, 2024 13:51 47s certora/import-invariant-statement
certora/import-invariant-statement
April 15, 2024 13:51 47s
[Certora] Fix solver setup Formatting #1215: Pull request #411 synchronize by QGarchery
April 15, 2024 09:09 1m 32s certora/distinct-performance
certora/distinct-performance
April 15, 2024 09:09 1m 32s
[Certora] fix revert timeout Formatting #1214: Pull request #416 synchronize by QGarchery
April 15, 2024 08:23 42s certora/revert-timeout
certora/revert-timeout
April 15, 2024 08:23 42s
[Certora] fix revert timeout Formatting #1213: Pull request #416 opened by QGarchery
April 15, 2024 08:03 47s certora/revert-timeout
certora/revert-timeout
April 15, 2024 08:03 47s
Add SPDX identifier to ERC1820Registry.sol Formatting #1212: Pull request #415 synchronize by Jean-Grimal
April 11, 2024 14:29 47s fix/ERC1820Registry-SPDX
fix/ERC1820Registry-SPDX
April 11, 2024 14:29 47s
Add SPDX identifier to ERC1820Registry.sol Formatting #1211: Pull request #415 opened by Jean-Grimal
April 10, 2024 14:09 49s fix/ERC1820Registry-SPDX
fix/ERC1820Registry-SPDX
April 10, 2024 14:09 49s
Add BUSL license text & bump node version Formatting #1210: Pull request #414 synchronize by QGarchery
April 9, 2024 10:00 46s fix/license
fix/license
April 9, 2024 10:00 46s
Add BUSL license text & bump node version Formatting #1209: Pull request #414 synchronize by QGarchery
April 8, 2024 10:43 43s fix/license
fix/license
April 8, 2024 10:43 43s
Merge pull request #413 from morpho-org/certora/after-reviews Formatting #1208: Commit 08b5962 pushed by QGarchery
April 8, 2024 10:43 51s main
main
April 8, 2024 10:43 51s
Add BUSL license text & bump node version Formatting #1207: Pull request #414 synchronize by QGarchery
April 5, 2024 15:22 1m 5s fix/license
fix/license
April 5, 2024 15:22 1m 5s
Add BUSL license text & bump node version Formatting #1206: Pull request #414 synchronize by QGarchery
April 5, 2024 15:09 1m 8s fix/license
fix/license
April 5, 2024 15:09 1m 8s
Add BUSL license text & bump node version Formatting #1205: Pull request #414 opened by QGarchery
April 5, 2024 09:17 1m 5s fix/license
fix/license
April 5, 2024 09:17 1m 5s
[Certora] Fix solver setup Formatting #1204: Pull request #411 synchronize by QGarchery
April 4, 2024 08:18 1m 2s certora/distinct-performance
certora/distinct-performance
April 4, 2024 08:18 1m 2s
[Certora] Fix solver setup Formatting #1203: Pull request #411 synchronize by QGarchery
April 3, 2024 14:16 1m 4s certora/distinct-performance
certora/distinct-performance
April 3, 2024 14:16 1m 4s