Skip to content

Actions: morpho-org/morpho-blue-bundlers

Actions

Certora

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
certora.yml
18 workflow runs
18 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[Certora] Simplify veirifcation configuration Certora #18: Pull request #466 opened by colin-morpho
December 26, 2024 09:51 14m 17s colin@verif/simplify-config
colin@verif/simplify-config
December 26, 2024 09:51 14m 17s
Merge pull request #464 from morpho-org/chore/finish-sdk-removal Certora #17: Commit 1fa1725 pushed by MathisGD
November 6, 2024 16:38 6m 28s main
main
November 6, 2024 16:38 6m 28s
Fix leftover paths and pre-commit hook Certora #16: Pull request #464 opened by adhusson
November 5, 2024 23:36 6m 32s chore/finish-sdk-removal
chore/finish-sdk-removal
November 5, 2024 23:36 6m 32s
Merge pull request #463 from morpho-org/chore/remove-sdk Certora #15: Commit 1361511 pushed by MathisGD
November 5, 2024 20:37 6m 13s main
main
November 5, 2024 20:37 6m 13s
Remove sdk Certora #14: Pull request #463 synchronize by MathisGD
November 5, 2024 17:54 6m 13s chore/remove-sdk
chore/remove-sdk
November 5, 2024 17:54 6m 13s
Remove sdk Certora #13: Pull request #463 synchronize by MathisGD
November 5, 2024 11:19 8m 25s chore/remove-sdk
chore/remove-sdk
November 5, 2024 11:19 8m 25s
Remove sdk Certora #12: Pull request #463 synchronize by MathisGD
November 5, 2024 11:09 7m 13s chore/remove-sdk
chore/remove-sdk
November 5, 2024 11:09 7m 13s
Remove sdk Certora #11: Pull request #463 synchronize by MathisGD
November 5, 2024 11:09 7m 57s chore/remove-sdk
chore/remove-sdk
November 5, 2024 11:09 7m 57s
Remove sdk Certora #10: Pull request #463 synchronize by MathisGD
November 5, 2024 10:55 7m 49s chore/remove-sdk
chore/remove-sdk
November 5, 2024 10:55 7m 49s
Remove sdk Certora #9: Pull request #463 opened by MathisGD
November 5, 2024 09:27 6m 49s chore/remove-sdk
chore/remove-sdk
November 5, 2024 09:27 6m 49s
Merge pull request #461 from morpho-org/feat/certora Certora #8: Commit 17025b3 pushed by MathisGD
October 31, 2024 17:30 6m 29s main
main
October 31, 2024 17:30 6m 29s
Check non-view non-multicall functions are protected Certora #7: Pull request #461 synchronize by adhusson
October 31, 2024 14:32 6m 3s feat/certora
feat/certora
October 31, 2024 14:32 6m 3s
Check non-view non-multicall functions are protected Certora #6: Pull request #461 synchronize by adhusson
October 30, 2024 18:43 7m 57s feat/certora
feat/certora
October 30, 2024 18:43 7m 57s
Check non-view non-multicall functions are protected Certora #5: Pull request #461 synchronize by adhusson
October 30, 2024 13:25 7m 37s feat/certora
feat/certora
October 30, 2024 13:25 7m 37s
Check non-view non-multicall functions are protected Certora #4: Pull request #461 synchronize by adhusson
October 29, 2024 22:02 8m 55s feat/certora
feat/certora
October 29, 2024 22:02 8m 55s
Check non-view non-multicall functions are protected Certora #3: Pull request #461 synchronize by adhusson
October 29, 2024 17:21 9m 3s feat/certora
feat/certora
October 29, 2024 17:21 9m 3s
Check non-view non-multicall functions are protected Certora #2: Pull request #461 synchronize by adhusson
October 29, 2024 16:18 2m 58s feat/certora
feat/certora
October 29, 2024 16:18 2m 58s
Check non-view non-multicall functions are protected Certora #1: Pull request #461 opened by adhusson
October 29, 2024 16:18 2m 59s feat/certora
feat/certora
October 29, 2024 16:18 2m 59s