{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":384546699,"defaultBranch":"main","name":"morpho-optimizers","ownerLogin":"morpho-org","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2021-07-09T20:42:34.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/130973927?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1710519513.0","currentOid":""},"activityList":{"items":[{"before":"821c8ec8d2e6c1b19aa07f40bed297a1032e5dd8","after":null,"ref":"refs/heads/certora-rewards","pushedAt":"2024-03-15T17:24:59.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"QGarchery","name":"Quentin Garchery","path":"/QGarchery","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22668539?s=80&v=4"}},{"before":"52363dca47cedbcc62ae8924cd4d51c7bb43a1e2","after":"fbb5b1324f5dc2dd5963ba0bfc1fdff885fb582b","ref":"refs/heads/main","pushedAt":"2024-03-15T17:24:58.000Z","pushType":"pr_merge","commitsCount":98,"pusher":{"login":"QGarchery","name":"Quentin Garchery","path":"/QGarchery","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22668539?s=80&v=4"},"commit":{"message":"Merge pull request #1656 from morpho-org/certora-rewards\n\nCertora formally verified rewards checker","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1632556262\" data-permission-text=\"Title is private\" data-url=\"https://github.com/morpho-org/morpho-optimizers/issues/1656\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/morpho-org/morpho-optimizers/pull/1656/hovercard\" href=\"https://github.com/morpho-org/morpho-optimizers/pull/1656\">#1656</a> from morpho-org/certora-rewards"}},{"before":"226d5080a55c4e8ba80dcab1dcd035307af12ac3","after":"821c8ec8d2e6c1b19aa07f40bed297a1032e5dd8","ref":"refs/heads/certora-rewards","pushedAt":"2024-03-15T16:19:02.000Z","pushType":"push","commitsCount":11,"pusher":{"login":"QGarchery","name":"Quentin Garchery","path":"/QGarchery","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22668539?s=80&v=4"},"commit":{"message":"Merge remote-tracking branch 'origin/main' into certora-rewards","shortMessageHtmlLink":"Merge remote-tracking branch 'origin/main' into certora-rewards"}},{"before":"06a0616be57bdc5bc702cfca44da3932584e2ebb","after":null,"ref":"refs/heads/test/skip-lens-delta-rate","pushedAt":"2024-03-15T16:18:33.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"QGarchery","name":"Quentin Garchery","path":"/QGarchery","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22668539?s=80&v=4"}},{"before":"ca7e6c0a576245fd9467a4e157ad2eb41c6a1e11","after":"52363dca47cedbcc62ae8924cd4d51c7bb43a1e2","ref":"refs/heads/main","pushedAt":"2024-03-15T16:18:31.000Z","pushType":"pr_merge","commitsCount":8,"pusher":{"login":"QGarchery","name":"Quentin Garchery","path":"/QGarchery","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22668539?s=80&v=4"},"commit":{"message":"Merge pull request #1675 from morpho-org/test/skip-lens-delta-rate\n\nSkip upgrade tests in revert conditions","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2185827186\" data-permission-text=\"Title is private\" data-url=\"https://github.com/morpho-org/morpho-optimizers/issues/1675\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/morpho-org/morpho-optimizers/pull/1675/hovercard\" href=\"https://github.com/morpho-org/morpho-optimizers/pull/1675\">#1675</a> from morpho-org/test/skip-lens-delta-rate"}},{"before":"5126bdbf613c5fb0224ef6e294c74655b9d09a61","after":null,"ref":"refs/heads/test/skip-lens-over-utilized","pushedAt":"2024-03-14T13:51:30.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"QGarchery","name":"Quentin Garchery","path":"/QGarchery","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22668539?s=80&v=4"}},{"before":"72bf09c305bd4dd19e7e56df579710e2e642dae5","after":"06a0616be57bdc5bc702cfca44da3932584e2ebb","ref":"refs/heads/test/skip-lens-delta-rate","pushedAt":"2024-03-14T13:51:29.000Z","pushType":"pr_merge","commitsCount":4,"pusher":{"login":"QGarchery","name":"Quentin Garchery","path":"/QGarchery","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22668539?s=80&v=4"},"commit":{"message":"Merge pull request #1676 from morpho-org/test/skip-lens-over-utilized\n\nSkip lens rate tests when over utilized","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2185855633\" data-permission-text=\"Title is private\" data-url=\"https://github.com/morpho-org/morpho-optimizers/issues/1676\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/morpho-org/morpho-optimizers/pull/1676/hovercard\" href=\"https://github.com/morpho-org/morpho-optimizers/pull/1676\">#1676</a> from morpho-org/test/skip-lens-over-utilized"}},{"before":"03d629c84ede1dfe866adff5c42e747304c667dd","after":"5126bdbf613c5fb0224ef6e294c74655b9d09a61","ref":"refs/heads/test/skip-lens-over-utilized","pushedAt":"2024-03-14T13:47:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"QGarchery","name":"Quentin Garchery","path":"/QGarchery","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22668539?s=80&v=4"},"commit":{"message":"test: do not revert when nothing to tip","shortMessageHtmlLink":"test: do not revert when nothing to tip"}},{"before":"a17e5bcba2d977d225cbbf523bd7516122fe8cdd","after":"03d629c84ede1dfe866adff5c42e747304c667dd","ref":"refs/heads/test/skip-lens-over-utilized","pushedAt":"2024-03-14T10:16:46.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"QGarchery","name":"Quentin Garchery","path":"/QGarchery","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22668539?s=80&v=4"},"commit":{"message":"Merge branch 'test/skip-lens-delta-rate' into test/skip-lens-over-utilized","shortMessageHtmlLink":"Merge branch 'test/skip-lens-delta-rate' into test/skip-lens-over-uti…"}},{"before":"a9052672e13eb41dc6121bc6292afdf365b80ef2","after":"72bf09c305bd4dd19e7e56df579710e2e642dae5","ref":"refs/heads/test/skip-lens-delta-rate","pushedAt":"2024-03-14T09:56:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"QGarchery","name":"Quentin Garchery","path":"/QGarchery","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22668539?s=80&v=4"},"commit":{"message":"fix: corresponding delta for compound","shortMessageHtmlLink":"fix: corresponding delta for compound"}},{"before":"38e76d3827cf53bd508702f91fda44cba0530e9d","after":"a9052672e13eb41dc6121bc6292afdf365b80ef2","ref":"refs/heads/test/skip-lens-delta-rate","pushedAt":"2024-03-14T09:54:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"QGarchery","name":"Quentin Garchery","path":"/QGarchery","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22668539?s=80&v=4"},"commit":{"message":"fix: skip corresponding delta","shortMessageHtmlLink":"fix: skip corresponding delta"}},{"before":"38e76d3827cf53bd508702f91fda44cba0530e9d","after":"a17e5bcba2d977d225cbbf523bd7516122fe8cdd","ref":"refs/heads/test/skip-lens-over-utilized","pushedAt":"2024-03-14T09:21:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"QGarchery","name":"Quentin Garchery","path":"/QGarchery","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22668539?s=80&v=4"},"commit":{"message":"test: skip test lens when over utilized","shortMessageHtmlLink":"test: skip test lens when over utilized"}},{"before":null,"after":"38e76d3827cf53bd508702f91fda44cba0530e9d","ref":"refs/heads/test/skip-lens-over-utilized","pushedAt":"2024-03-14T09:19:50.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"QGarchery","name":"Quentin Garchery","path":"/QGarchery","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22668539?s=80&v=4"},"commit":{"message":"test: skip lens rate tests with deltas","shortMessageHtmlLink":"test: skip lens rate tests with deltas"}},{"before":null,"after":"38e76d3827cf53bd508702f91fda44cba0530e9d","ref":"refs/heads/test/skip-lens-delta-rate","pushedAt":"2024-03-14T09:08:31.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"QGarchery","name":"Quentin Garchery","path":"/QGarchery","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22668539?s=80&v=4"},"commit":{"message":"test: skip lens rate tests with deltas","shortMessageHtmlLink":"test: skip lens rate tests with deltas"}},{"before":"d8b0642c32fc2d2b133f287512a6e4244e489bfb","after":null,"ref":"refs/heads/chore/ci-auto-trigger","pushedAt":"2024-03-14T08:50:42.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"MathisGD","name":null,"path":"/MathisGD","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/74971347?s=80&v=4"}},{"before":"f0413e945cc37acfe0fe8d653de8e40e376ff36b","after":"ca7e6c0a576245fd9467a4e157ad2eb41c6a1e11","ref":"refs/heads/main","pushedAt":"2024-03-14T08:50:42.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"MathisGD","name":null,"path":"/MathisGD","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/74971347?s=80&v=4"},"commit":{"message":"Merge pull request #1672 from morpho-org/chore/ci-auto-trigger","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2183611148\" data-permission-text=\"Title is private\" data-url=\"https://github.com/morpho-org/morpho-optimizers/issues/1672\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/morpho-org/morpho-optimizers/pull/1672/hovercard\" href=\"https://github.com/morpho-org/morpho-optimizers/pull/1672\">#1672</a> from morpho-org/chore/ci-auto-trigger"}},{"before":null,"after":"d8b0642c32fc2d2b133f287512a6e4244e489bfb","ref":"refs/heads/chore/ci-auto-trigger","pushedAt":"2024-03-13T10:13:55.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"MathisGD","name":null,"path":"/MathisGD","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/74971347?s=80&v=4"},"commit":{"message":"chore: auto trigger ci periodically","shortMessageHtmlLink":"chore: auto trigger ci periodically"}},{"before":"8ad06d22029032d0bd6fd826d213b385635466fc","after":"226d5080a55c4e8ba80dcab1dcd035307af12ac3","ref":"refs/heads/certora-rewards","pushedAt":"2024-03-12T12:25:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"QGarchery","name":"Quentin Garchery","path":"/QGarchery","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22668539?s=80&v=4"},"commit":{"message":"refactor: clarify verification","shortMessageHtmlLink":"refactor: clarify verification"}},{"before":"8a3aed9258a8b38faaad025c5009060f0883b9c1","after":"8ad06d22029032d0bd6fd826d213b385635466fc","ref":"refs/heads/certora-rewards","pushedAt":"2024-03-12T10:56:51.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"QGarchery","name":"Quentin Garchery","path":"/QGarchery","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22668539?s=80&v=4"},"commit":{"message":"docs: node is the root candidate","shortMessageHtmlLink":"docs: node is the root candidate"}},{"before":"0b417733028533a607d36585c93a34311ac56562","after":"8a3aed9258a8b38faaad025c5009060f0883b9c1","ref":"refs/heads/certora-rewards","pushedAt":"2024-03-11T13:53:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"QGarchery","name":"Quentin Garchery","path":"/QGarchery","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22668539?s=80&v=4"},"commit":{"message":"fix: update root is not envfree","shortMessageHtmlLink":"fix: update root is not envfree"}},{"before":"223f71808fdf01910dfc423c867476c91507fb7a","after":"0b417733028533a607d36585c93a34311ac56562","ref":"refs/heads/certora-rewards","pushedAt":"2024-03-11T13:50:14.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"QGarchery","name":"Quentin Garchery","path":"/QGarchery","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22668539?s=80&v=4"},"commit":{"message":"feat: check update root storage change","shortMessageHtmlLink":"feat: check update root storage change"}},{"before":"ef54f35f4be1037ac5fbbbda29effed3bccb3c7b","after":"223f71808fdf01910dfc423c867476c91507fb7a","ref":"refs/heads/certora-rewards","pushedAt":"2024-03-11T13:36:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"QGarchery","name":"Quentin Garchery","path":"/QGarchery","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22668539?s=80&v=4"},"commit":{"message":"refactor: checker is now based on the contract instead of the lib","shortMessageHtmlLink":"refactor: checker is now based on the contract instead of the lib"}},{"before":"07db98dcf4b6d89e8e3d539076b051e4d69622bb","after":"ef54f35f4be1037ac5fbbbda29effed3bccb3c7b","ref":"refs/heads/certora-rewards","pushedAt":"2024-03-11T12:38:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"QGarchery","name":"Quentin Garchery","path":"/QGarchery","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22668539?s=80&v=4"},"commit":{"message":"docs: example of list of proofs","shortMessageHtmlLink":"docs: example of list of proofs"}},{"before":"b6f4f2a4cce0cc1d52676a98d51fe477524ea5c9","after":"07db98dcf4b6d89e8e3d539076b051e4d69622bb","ref":"refs/heads/certora-rewards","pushedAt":"2024-03-11T12:17:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"QGarchery","name":"Quentin Garchery","path":"/QGarchery","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22668539?s=80&v=4"},"commit":{"message":"refactor: remove unnecessary root of the Merkle tree","shortMessageHtmlLink":"refactor: remove unnecessary root of the Merkle tree"}},{"before":"f5daa10b75a1109103b7b777ef672f624d823a04","after":"b6f4f2a4cce0cc1d52676a98d51fe477524ea5c9","ref":"refs/heads/certora-rewards","pushedAt":"2024-03-11T11:55:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"QGarchery","name":"Quentin Garchery","path":"/QGarchery","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22668539?s=80&v=4"},"commit":{"message":"feat: check increasing claim amounts","shortMessageHtmlLink":"feat: check increasing claim amounts"}},{"before":"38276f290693fdb739adf787d60ec9c09d1909db","after":"f5daa10b75a1109103b7b777ef672f624d823a04","ref":"refs/heads/certora-rewards","pushedAt":"2024-03-11T11:45:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"QGarchery","name":"Quentin Garchery","path":"/QGarchery","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22668539?s=80&v=4"},"commit":{"message":"fix: new interface for node creation","shortMessageHtmlLink":"fix: new interface for node creation"}},{"before":"48e40e8baf0685589eaf1ed3e140806e2ca77191","after":"38276f290693fdb739adf787d60ec9c09d1909db","ref":"refs/heads/certora-rewards","pushedAt":"2024-03-11T11:26:52.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"QGarchery","name":"Quentin Garchery","path":"/QGarchery","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22668539?s=80&v=4"},"commit":{"message":"refactor: use structs in merkle tree lib","shortMessageHtmlLink":"refactor: use structs in merkle tree lib"}},{"before":"3b0b13fe45cdc7d658bc7d96412c65e398162bdd","after":"48e40e8baf0685589eaf1ed3e140806e2ca77191","ref":"refs/heads/certora-rewards","pushedAt":"2024-03-11T10:51:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"QGarchery","name":"Quentin Garchery","path":"/QGarchery","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22668539?s=80&v=4"},"commit":{"message":"docs: add comments","shortMessageHtmlLink":"docs: add comments"}},{"before":"adb56a404a9626d506f00fb836532ee77af42469","after":"3b0b13fe45cdc7d658bc7d96412c65e398162bdd","ref":"refs/heads/certora-rewards","pushedAt":"2024-03-11T10:14:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"QGarchery","name":"Quentin Garchery","path":"/QGarchery","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22668539?s=80&v=4"},"commit":{"message":"refactor: remove unnecessary require invariant","shortMessageHtmlLink":"refactor: remove unnecessary require invariant"}},{"before":"527a8c6366543597cfad78258fdf6a01f8dddc45","after":"adb56a404a9626d506f00fb836532ee77af42469","ref":"refs/heads/certora-rewards","pushedAt":"2024-03-06T14:26:30.000Z","pushType":"push","commitsCount":14,"pusher":{"login":"QGarchery","name":"Quentin Garchery","path":"/QGarchery","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22668539?s=80&v=4"},"commit":{"message":"Merge remote-tracking branch 'origin/main' into certora-rewards","shortMessageHtmlLink":"Merge remote-tracking branch 'origin/main' into certora-rewards"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEFuoCdwA","startCursor":null,"endCursor":null}},"title":"Activity · morpho-org/morpho-optimizers"}