{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":516790869,"defaultBranch":"main","name":"LiquidityPoolExample","ownerLogin":"Certora","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2022-07-22T14:58:44.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/39188753?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1697144066.0","currentOid":""},"activityList":{"items":[{"before":"44a14c360070ba9ceed10673bf2cbade81a7ebba","after":"6526fe53af568313e4b046deef6b9f744368c2c6","ref":"refs/heads/main","pushedAt":"2023-10-17T19:22:56.000Z","pushType":"pr_merge","commitsCount":10,"pusher":{"login":"mdgeorge4153","name":"Michael D. George","path":"/mdgeorge4153","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1286449?s=80&v=4"},"commit":{"message":"Merge pull request #2 from Certora/CVL2\n\nConvert to CVL2 and add CI","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1941692911\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Certora/LiquidityPoolExample/issues/2\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/Certora/LiquidityPoolExample/pull/2/hovercard\" href=\"https://github.com/Certora/LiquidityPoolExample/pull/2\">#2</a> from Certora/CVL2"}},{"before":"e8899e21046cf81271ff43c1c644abf3a0b50518","after":"21ea8cc91df0b703b2944a54c3e769fce9f1d577","ref":"refs/heads/CVL2","pushedAt":"2023-10-13T10:41:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mdgeorge4153","name":"Michael D. George","path":"/mdgeorge4153","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1286449?s=80&v=4"},"commit":{"message":"maybe this will work?","shortMessageHtmlLink":"maybe this will work?"}},{"before":"10de863b487d420e58a0c1be9bc43253fed1a5c7","after":"e8899e21046cf81271ff43c1c644abf3a0b50518","ref":"refs/heads/CVL2","pushedAt":"2023-10-13T10:26:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mdgeorge4153","name":"Michael D. George","path":"/mdgeorge4153","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1286449?s=80&v=4"},"commit":{"message":"adding expect feature","shortMessageHtmlLink":"adding expect feature"}},{"before":"bf0a610298229009b73a07eaa1711f5115c989a9","after":"10de863b487d420e58a0c1be9bc43253fed1a5c7","ref":"refs/heads/CVL2","pushedAt":"2023-10-12T21:30:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mdgeorge4153","name":"Michael D. George","path":"/mdgeorge4153","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1286449?s=80&v=4"},"commit":{"message":"removed some warnings","shortMessageHtmlLink":"removed some warnings"}},{"before":"03d5f4716cc1186ddd18c940c5568b86386c1b2a","after":"bf0a610298229009b73a07eaa1711f5115c989a9","ref":"refs/heads/CVL2","pushedAt":"2023-10-12T21:17:34.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"mdgeorge4153","name":"Michael D. George","path":"/mdgeorge4153","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1286449?s=80&v=4"},"commit":{"message":"fixed confs","shortMessageHtmlLink":"fixed confs"}},{"before":"192c6328eb86dc79b9979d079032be5c8d3d7098","after":"03d5f4716cc1186ddd18c940c5568b86386c1b2a","ref":"refs/heads/CVL2","pushedAt":"2023-10-12T21:08:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mdgeorge4153","name":"Michael D. George","path":"/mdgeorge4153","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1286449?s=80&v=4"},"commit":{"message":"requirements","shortMessageHtmlLink":"requirements"}},{"before":"fb3ae2a2de870989d51ccdb32579a5290ed62eb8","after":"192c6328eb86dc79b9979d079032be5c8d3d7098","ref":"refs/heads/CVL2","pushedAt":"2023-10-12T21:06:55.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"mdgeorge4153","name":"Michael D. George","path":"/mdgeorge4153","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1286449?s=80&v=4"},"commit":{"message":"fixed confs, updated scripts to use them, added CI","shortMessageHtmlLink":"fixed confs, updated scripts to use them, added CI"}},{"before":"a93a5528dcaf2fd5e2149d4e285d176bd0d1682a","after":null,"ref":"refs/heads/VSCodeAdditions","pushedAt":"2023-10-12T20:54:26.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"mdgeorge4153","name":"Michael D. George","path":"/mdgeorge4153","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1286449?s=80&v=4"}},{"before":"44f695b92245aec1aa32f82dd82e41c888e7dfb5","after":"44a14c360070ba9ceed10673bf2cbade81a7ebba","ref":"refs/heads/main","pushedAt":"2023-10-12T20:54:22.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"mdgeorge4153","name":"Michael D. George","path":"/mdgeorge4153","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1286449?s=80&v=4"},"commit":{"message":"Merge pull request #1 from Certora/VSCodeAdditions\n\nVSCode - Added conf files according to prenest scripts","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1633976192\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Certora/LiquidityPoolExample/issues/1\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/Certora/LiquidityPoolExample/pull/1/hovercard\" href=\"https://github.com/Certora/LiquidityPoolExample/pull/1\">#1</a> from Certora/VSCodeAdditions"}},{"before":null,"after":"fb3ae2a2de870989d51ccdb32579a5290ed62eb8","ref":"refs/heads/CVL2","pushedAt":"2023-05-27T14:29:09.054Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"shellygr","name":null,"path":"/shellygr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3807885?s=80&v=4"},"commit":{"message":"CVL2","shortMessageHtmlLink":"CVL2"}},{"before":null,"after":"3b14006a48ced3505a8dd5bfabb80d43ffb67acb","ref":"refs/heads/CVL1","pushedAt":"2023-05-27T13:43:27.947Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"shellygr","name":null,"path":"/shellygr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3807885?s=80&v=4"},"commit":{"message":"made the 'final' spec pass","shortMessageHtmlLink":"made the 'final' spec pass"}},{"before":"3b14006a48ced3505a8dd5bfabb80d43ffb67acb","after":"44f695b92245aec1aa32f82dd82e41c888e7dfb5","ref":"refs/heads/main","pushedAt":"2023-05-09T19:52:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mdgeorge4153","name":"Michael D. George","path":"/mdgeorge4153","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1286449?s=80&v=4"},"commit":{"message":"added missing require","shortMessageHtmlLink":"added missing require"}},{"before":null,"after":"44f695b92245aec1aa32f82dd82e41c888e7dfb5","ref":"refs/heads/mike/mulitcontract-fix","pushedAt":"2023-05-09T19:48:51.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"mdgeorge4153","name":"Michael D. George","path":"/mdgeorge4153","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1286449?s=80&v=4"},"commit":{"message":"added missing require","shortMessageHtmlLink":"added missing require"}},{"before":null,"after":"a93a5528dcaf2fd5e2149d4e285d176bd0d1682a","ref":"refs/heads/VSCodeAdditions","pushedAt":"2023-03-21T13:51:47.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"NoaBablikiCertora","name":null,"path":"/NoaBablikiCertora","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/101042618?s=80&v=4"},"commit":{"message":"Added conf files according to prenest scripts","shortMessageHtmlLink":"Added conf files according to prenest scripts"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADmVBOmQA","startCursor":null,"endCursor":null}},"title":"Activity · Certora/LiquidityPoolExample"}