Skip to content

Actions: morpho-org/morpho-utils

Actions

Certora

Actions

Loading...

Show workflow options

Create status badge

certora.yml
58 workflow runs
58 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Certora Certora #178: Manually run by QGarchery
January 19, 2024 20:55 6m 44s main
main
January 19, 2024 20:55 6m 44s
Merge pull request #115 from morpho-org/certora/update-script Certora #177: Commit 8ddb14e pushed by MathisGD
August 13, 2023 07:04 6m 24s main
main
August 13, 2023 07:04 6m 24s
Update to version 4.4.0 Certora #176: Pull request #115 synchronize by QGarchery
August 10, 2023 09:58 7m 0s certora/update-script
certora/update-script
August 10, 2023 09:58 7m 0s
chore: update to version 4.4.0 Certora #175: Commit 0e24973 pushed by QGarchery
July 7, 2023 09:30 1m 53s certora/update-script
certora/update-script
July 7, 2023 09:30 1m 53s
fix(imports): use . instead of src Certora #174: Commit 74f1943 pushed by Rubilmax
June 21, 2023 14:47 4m 23s feat/eip712-ownable
feat/eip712-ownable
June 21, 2023 14:47 4m 23s
fix(imports): use . instead of src Certora #173: Commit 4b11ba6 pushed by Rubilmax
June 21, 2023 14:46 4m 23s feat/eip712-ownable
feat/eip712-ownable
June 21, 2023 14:46 4m 23s
fix(imports): use . instead of src Certora #172: Commit 54116fe pushed by Rubilmax
June 21, 2023 14:44 4m 24s feat/eip712-ownable
feat/eip712-ownable
June 21, 2023 14:44 4m 24s
fix(imports): use . instead of src Certora #171: Commit 191a020 pushed by Rubilmax
June 21, 2023 14:43 3m 50s feat/eip712-ownable
feat/eip712-ownable
June 21, 2023 14:43 3m 50s
Merge pull request #106 from morpho-org/test/abs-certora Certora #170: Commit d50e424 pushed by MathisGD
June 21, 2023 09:26 6m 44s main
main
June 21, 2023 09:26 6m 44s
refacgtor(remappings): update solmate remapping Certora #169: Commit 97080d1 pushed by Rubilmax
June 20, 2023 15:19 4m 27s feat/eip712-ownable
feat/eip712-ownable
June 20, 2023 15:19 4m 27s
feat(erc2330): add erc2330 alternative Certora #168: Commit a826a08 pushed by Rubilmax
June 20, 2023 15:13 4m 27s feat/eip712-ownable
feat/eip712-ownable
June 20, 2023 15:13 4m 27s
test(erc3156x): test lender/borrower Certora #167: Commit 5a7ae7d pushed by Rubilmax
June 20, 2023 14:55 7m 37s feat/eip712-ownable
feat/eip712-ownable
June 20, 2023 14:55 7m 37s
test(erc712): fix erc712 tests Certora #166: Commit 60035db pushed by Rubilmax
June 20, 2023 13:34 4m 31s feat/eip712-ownable
feat/eip712-ownable
June 20, 2023 13:34 4m 31s
fix(erc3156): make it compile Certora #165: Commit c221ee3 pushed by Rubilmax
June 20, 2023 12:52 3m 57s feat/eip712-ownable
feat/eip712-ownable
June 20, 2023 12:52 3m 57s
test(eip712): added eip712 tests Certora #164: Commit 5c96ca4 pushed by Rubilmax
June 20, 2023 10:39 8m 40s feat/eip712-ownable
feat/eip712-ownable
June 20, 2023 10:39 8m 40s
Merge pull request #113 from morpho-org/test/fix-bounds Certora #163: Commit 540207b pushed by QGarchery
June 17, 2023 08:21 6m 5s main
main
June 17, 2023 08:21 6m 5s
Merge pull request #111 from morpho-org/refactor/constant-comments Certora #162: Commit c8cc8be pushed by QGarchery
June 16, 2023 12:38 5m 31s main
main
June 16, 2023 12:38 5m 31s
fix: verify the corresponding specification Certora #161: Commit 82669d7 pushed by QGarchery
June 14, 2023 18:09 6m 20s test/abs-certora
test/abs-certora
June 14, 2023 18:09 6m 20s
fix: use bv encoding only when needed Certora #160: Commit 4374832 pushed by QGarchery
June 14, 2023 18:04 2m 12s test/abs-certora
test/abs-certora
June 14, 2023 18:04 2m 12s
test: fix bounds in the revert conditions Certora #159: Commit d5133d6 pushed by QGarchery
June 14, 2023 08:46 6m 57s test/fix-bounds
test/fix-bounds
June 14, 2023 08:46 6m 57s
test: fix bounds in the revert conditions Certora #158: Commit 26f8c83 pushed by QGarchery
June 14, 2023 08:43 8m 34s test/fix-bounds
test/fix-bounds
June 14, 2023 08:43 8m 34s
test: fix bounds in the revert conditions Certora #157: Commit 31c2b6b pushed by QGarchery
June 14, 2023 08:16 6m 54s test/fix-bounds
test/fix-bounds
June 14, 2023 08:16 6m 54s
refactor: factorize math constants in MathConstants.sol Certora #156: Commit 5b1d784 pushed by QGarchery
June 13, 2023 13:44 5m 28s refactor/factorize-math-constants
refactor/factorize-math-constants
June 13, 2023 13:44 5m 28s
docs: move internal up Certora #155: Commit 61edcbd pushed by QGarchery
June 13, 2023 13:31 4m 57s refactor/constant-comments
refactor/constant-comments
June 13, 2023 13:31 4m 57s
Merge branch 'main' into test/abs-certora Certora #154: Commit 5621185 pushed by QGarchery
June 12, 2023 15:31 2m 54s test/abs-certora
test/abs-certora
June 12, 2023 15:31 2m 54s