Skip to content

Actions: morpho-org/morpho-utils

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
99 workflow runs
99 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 Foundry tests #272: Commit 8ddb14e pushed by MathisGD
August 13, 2023 07:04 36s main
main
August 13, 2023 07:04 36s
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
Add ERC712, ERC2330, ERC3156x, Ownable & Ownable2Step Foundry tests #271: Pull request #114 synchronize by Rubilmax
June 21, 2023 14:47 51s feat/eip712-ownable
feat/eip712-ownable
June 21, 2023 14:47 51s
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
Add ERC712, ERC2330, ERC3156x, Ownable & Ownable2Step Foundry tests #270: Pull request #114 synchronize by Rubilmax
June 21, 2023 14:46 37s feat/eip712-ownable
feat/eip712-ownable
June 21, 2023 14:46 37s
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
Add ERC712, ERC2330, ERC3156x, Ownable & Ownable2Step Foundry tests #269: Pull request #114 synchronize by Rubilmax
June 21, 2023 14:44 38s feat/eip712-ownable
feat/eip712-ownable
June 21, 2023 14:44 38s
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
Add ERC712, ERC2330, ERC3156x, Ownable & Ownable2Step Foundry tests #268: Pull request #114 synchronize by Rubilmax
June 21, 2023 14:43 1m 3s feat/eip712-ownable
feat/eip712-ownable
June 21, 2023 14:43 1m 3s
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 Foundry tests #267: Commit d50e424 pushed by MathisGD
June 21, 2023 09:26 43s main
main
June 21, 2023 09:26 43s
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
Add ERC712, ERC2330, ERC3156x, Ownable & Ownable2Step Foundry tests #266: Pull request #114 synchronize by Rubilmax
June 20, 2023 15:19 4m 21s feat/eip712-ownable
feat/eip712-ownable
June 20, 2023 15:19 4m 21s
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
Add ERC712, ERC2330, ERC3156x, Ownable & Ownable2Step Foundry tests #265: Pull request #114 synchronize by Rubilmax
June 20, 2023 15:13 51s feat/eip712-ownable
feat/eip712-ownable
June 20, 2023 15:13 51s
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
Add ERC712, ERC2330, ERC3156x, Ownable & Ownable2Step Foundry tests #264: Pull request #114 synchronize by Rubilmax
June 20, 2023 14:55 53s feat/eip712-ownable
feat/eip712-ownable
June 20, 2023 14:55 53s
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
Add ERC712, ERC2330, ERC3156x, Ownable & Ownable2Step Foundry tests #263: Pull request #114 synchronize by Rubilmax
June 20, 2023 13:34 56s feat/eip712-ownable
feat/eip712-ownable
June 20, 2023 13:34 56s
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
Add ERC712, ERC2330, ERC3156x, Ownable & Ownable2Step Foundry tests #262: Pull request #114 synchronize by Rubilmax
June 20, 2023 12:52 51s feat/eip712-ownable
feat/eip712-ownable
June 20, 2023 12:52 51s
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