Skip to content

Actions: morpho-org/metamorpho

Actions

Foundry

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
foundry.yml
1,276 workflow runs
1,276 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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