Skip to content

Actions: morpho-org/metamorpho

Actions

Certora

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
certora.yml
388 workflow runs
388 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[Certora] Fix solver setup Certora #313: Pull request #411 synchronize by QGarchery
April 15, 2024 09:09 1h 4m 33s certora/distinct-performance
certora/distinct-performance
April 15, 2024 09:09 1h 4m 33s
[Certora] fix revert timeout Certora #312: Pull request #416 synchronize by QGarchery
April 15, 2024 08:23 1h 29m 13s certora/revert-timeout
certora/revert-timeout
April 15, 2024 08:23 1h 29m 13s
[Certora] fix revert timeout Certora #311: Pull request #416 opened by QGarchery
April 15, 2024 08:03 16m 51s certora/revert-timeout
certora/revert-timeout
April 15, 2024 08:03 16m 51s
Add SPDX identifier to ERC1820Registry.sol Certora #310: Pull request #415 synchronize by Jean-Grimal
April 11, 2024 14:29 2h 4m 50s fix/ERC1820Registry-SPDX
fix/ERC1820Registry-SPDX
April 11, 2024 14:29 2h 4m 50s
Add SPDX identifier to ERC1820Registry.sol Certora #309: Pull request #415 opened by Jean-Grimal
April 10, 2024 14:09 17m 6s fix/ERC1820Registry-SPDX
fix/ERC1820Registry-SPDX
April 10, 2024 14:09 17m 6s
Add BUSL license text & bump node version Certora #308: Pull request #414 synchronize by QGarchery
April 9, 2024 10:00 40m 28s fix/license
fix/license
April 9, 2024 10:00 40m 28s
Add BUSL license text & bump node version Certora #307: Pull request #414 synchronize by QGarchery
April 8, 2024 10:43 17m 22s fix/license
fix/license
April 8, 2024 10:43 17m 22s
Merge pull request #413 from morpho-org/certora/after-reviews Certora #306: Commit 08b5962 pushed by QGarchery
April 8, 2024 10:43 24m 41s main
main
April 8, 2024 10:43 24m 41s
Add BUSL license text & bump node version Certora #305: Pull request #414 synchronize by QGarchery
April 5, 2024 15:22 41m 45s fix/license
fix/license
April 5, 2024 15:22 41m 45s
Add BUSL license text & bump node version Certora #304: Pull request #414 synchronize by QGarchery
April 5, 2024 15:09 42m 18s fix/license
fix/license
April 5, 2024 15:09 42m 18s
Add BUSL license text & bump node version Certora #303: Pull request #414 opened by QGarchery
April 5, 2024 09:17 18m 19s fix/license
fix/license
April 5, 2024 09:17 18m 19s
[Certora] Fix solver setup Certora #302: Pull request #411 synchronize by QGarchery
April 4, 2024 08:18 10m 24s certora/distinct-performance
certora/distinct-performance
April 4, 2024 08:18 10m 24s
[Certora] Fix solver setup Certora #301: Pull request #411 synchronize by QGarchery
April 3, 2024 14:16 19m 52s certora/distinct-performance
certora/distinct-performance
April 3, 2024 14:16 19m 52s
[Certora] Implement reviews suggestions Certora #300: Pull request #413 synchronize by QGarchery
April 2, 2024 13:03 43m 37s certora/after-reviews
certora/after-reviews
April 2, 2024 13:03 43m 37s
[Certora] Implement reviews suggestions Certora #299: Pull request #413 synchronize by QGarchery
April 2, 2024 13:02 44m 18s certora/after-reviews
certora/after-reviews
April 2, 2024 13:02 44m 18s
[Certora] Implement reviews suggestions Certora #298: Pull request #413 synchronize by QGarchery
April 2, 2024 11:49 16m 26s certora/after-reviews
certora/after-reviews
April 2, 2024 11:49 16m 26s
[Certora] Implement reviews suggestions Certora #297: Pull request #413 opened by QGarchery
April 2, 2024 09:44 2h 30m 49s certora/after-reviews
certora/after-reviews
April 2, 2024 09:44 2h 30m 49s
[Certora] Fix solver setup Certora #296: Pull request #411 synchronize by QGarchery
March 26, 2024 08:57 18m 8s certora/distinct-performance
certora/distinct-performance
March 26, 2024 08:57 18m 8s
[Certora] Fix solver setup Certora #295: Pull request #411 opened by QGarchery
March 25, 2024 17:19 2h 4m 31s certora/distinct-performance
certora/distinct-performance
March 25, 2024 17:19 2h 4m 31s
Merge pull request #410 from morpho-org/certora/check-supply-withdraw… Certora #294: Commit 398c553 pushed by MerlinEgalite
March 25, 2024 10:44 42m 42s main
main
March 25, 2024 10:44 42m 42s
[Certora] Market interactions Certora #293: Pull request #410 synchronize by QGarchery
March 25, 2024 08:40 19m 48s certora/check-supply-withdraw-markets
certora/check-supply-withdraw-markets
March 25, 2024 08:40 19m 48s
[Certora] Market interactions Certora #292: Pull request #410 synchronize by QGarchery
March 22, 2024 14:31 12m 44s certora/check-supply-withdraw-markets
certora/check-supply-withdraw-markets
March 22, 2024 14:31 12m 44s
[Certora] Market interactions Certora #291: Pull request #410 synchronize by QGarchery
March 22, 2024 13:30 46m 42s certora/check-supply-withdraw-markets
certora/check-supply-withdraw-markets
March 22, 2024 13:30 46m 42s
[Certora] Market interactions Certora #290: Pull request #410 synchronize by QGarchery
March 22, 2024 13:27 2h 31m 0s certora/check-supply-withdraw-markets
certora/check-supply-withdraw-markets
March 22, 2024 13:27 2h 31m 0s
Merge pull request #408 from morpho-org/certora/switch-to-stable Certora #289: Commit 7600763 pushed by MerlinEgalite
March 22, 2024 10:48 1h 18m 51s main
main
March 22, 2024 10:48 1h 18m 51s