{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":762414711,"defaultBranch":"main","name":"cosmwasm-to-quint","ownerLogin":"informalsystems","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2024-02-23T18:23:38.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/59101308?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1719599389.0","currentOid":""},"activityList":{"items":[{"before":null,"after":"899e96aaf48a872c77c49c8917dfa457861b6f14","ref":"refs/heads/deps-parameter","pushedAt":"2024-06-28T18:29:49.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"bugarela","name":"Gabriela Moreira","path":"/bugarela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18356186?s=80&v=4"},"commit":{"message":"Pass Deps with bank attr as parameter","shortMessageHtmlLink":"Pass Deps with bank attr as parameter"}},{"before":"0ee9e2155725f24a47f9bd7a6f04f1920de5e307","after":null,"ref":"refs/heads/gabriela/syntax-reliability","pushedAt":"2024-06-14T17:27:29.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"bugarela","name":"Gabriela Moreira","path":"/bugarela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18356186?s=80&v=4"}},{"before":"11aeede19d3361fb1b7dae1aed6dfba76d878c02","after":"13222c398b9657a27cf226d461c985f80d18453d","ref":"refs/heads/main","pushedAt":"2024-06-14T17:27:28.000Z","pushType":"pr_merge","commitsCount":5,"pusher":{"login":"bugarela","name":"Gabriela Moreira","path":"/bugarela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18356186?s=80&v=4"},"commit":{"message":"Merge pull request #21 from informalsystems/gabriela/syntax-reliability\n\nAvoid useless errors in generated files","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2351858158\" data-permission-text=\"Title is private\" data-url=\"https://github.com/informalsystems/cosmwasm-to-quint/issues/21\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/informalsystems/cosmwasm-to-quint/pull/21/hovercard\" href=\"https://github.com/informalsystems/cosmwasm-to-quint/pull/21\">#21</a> from informalsystems/gabriela/syntax-reliability"}},{"before":"2e6c4a5f92c64b64954974c4239c8599d0ffca10","after":"0ee9e2155725f24a47f9bd7a6f04f1920de5e307","ref":"refs/heads/gabriela/syntax-reliability","pushedAt":"2024-06-14T17:19:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"bugarela","name":"Gabriela Moreira","path":"/bugarela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18356186?s=80&v=4"},"commit":{"message":"Annotate `init_contract_state` and handle Option","shortMessageHtmlLink":"Annotate <code>init_contract_state</code> and handle Option"}},{"before":"9e4ca7f542da66d107e70036b3fc8b226ae1f90a","after":"2e6c4a5f92c64b64954974c4239c8599d0ffca10","ref":"refs/heads/gabriela/syntax-reliability","pushedAt":"2024-06-13T18:40:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"bugarela","name":"Gabriela Moreira","path":"/bugarela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18356186?s=80&v=4"},"commit":{"message":"Fix capture group issue","shortMessageHtmlLink":"Fix capture group issue"}},{"before":"e8bf30601c8958f5bf5feb18d2c788a005f708d4","after":"9e4ca7f542da66d107e70036b3fc8b226ae1f90a","ref":"refs/heads/gabriela/syntax-reliability","pushedAt":"2024-06-13T18:37:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"bugarela","name":"Gabriela Moreira","path":"/bugarela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18356186?s=80&v=4"},"commit":{"message":"Improve handling of generics","shortMessageHtmlLink":"Improve handling of generics"}},{"before":null,"after":"e8bf30601c8958f5bf5feb18d2c788a005f708d4","ref":"refs/heads/gabriela/syntax-reliability","pushedAt":"2024-06-13T15:09:19.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"bugarela","name":"Gabriela Moreira","path":"/bugarela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18356186?s=80&v=4"},"commit":{"message":"Reduce number of potential syntax issues in generated models","shortMessageHtmlLink":"Reduce number of potential syntax issues in generated models"}},{"before":"23bde03d1b778b94a97cea13783bbdfb83084ee9","after":null,"ref":"refs/heads/gabriela/complete-ctf01-example","pushedAt":"2024-06-05T18:51:38.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"bugarela","name":"Gabriela Moreira","path":"/bugarela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18356186?s=80&v=4"}},{"before":"baa08f7298da0a0e18ce97e02635710f3b15ff7d","after":"11aeede19d3361fb1b7dae1aed6dfba76d878c02","ref":"refs/heads/main","pushedAt":"2024-06-05T18:51:36.000Z","pushType":"pr_merge","commitsCount":5,"pusher":{"login":"bugarela","name":"Gabriela Moreira","path":"/bugarela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18356186?s=80&v=4"},"commit":{"message":"Merge pull request #20 from informalsystems/gabriela/complete-ctf01-example\n\nAdd CTF 01 example","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2336598628\" data-permission-text=\"Title is private\" data-url=\"https://github.com/informalsystems/cosmwasm-to-quint/issues/20\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/informalsystems/cosmwasm-to-quint/pull/20/hovercard\" href=\"https://github.com/informalsystems/cosmwasm-to-quint/pull/20\">#20</a> from informalsystems/gabriela/complete-ctf01-e…"}},{"before":"51fcd3edec067531014aaba4863be9dd551d89a3","after":"23bde03d1b778b94a97cea13783bbdfb83084ee9","ref":"refs/heads/gabriela/complete-ctf01-example","pushedAt":"2024-06-05T18:46:00.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"bugarela","name":"Gabriela Moreira","path":"/bugarela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18356186?s=80&v=4"},"commit":{"message":"Merge branch 'main' into gabriela/complete-ctf01-example","shortMessageHtmlLink":"Merge branch 'main' into gabriela/complete-ctf01-example"}},{"before":"a05e723accb5fade092759fba0d6a7c3654f3ca7","after":"51fcd3edec067531014aaba4863be9dd551d89a3","ref":"refs/heads/gabriela/complete-ctf01-example","pushedAt":"2024-06-05T18:45:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"bugarela","name":"Gabriela Moreira","path":"/bugarela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18356186?s=80&v=4"},"commit":{"message":"Add header comment for syntax highlighting","shortMessageHtmlLink":"Add header comment for syntax highlighting"}},{"before":"c6ec72168a3d884b3586f0e23272a3869375e1bd","after":"a05e723accb5fade092759fba0d6a7c3654f3ca7","ref":"refs/heads/gabriela/complete-ctf01-example","pushedAt":"2024-06-05T18:44:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"bugarela","name":"Gabriela Moreira","path":"/bugarela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18356186?s=80&v=4"},"commit":{"message":"Add links to files on the README","shortMessageHtmlLink":"Add links to files on the README"}},{"before":null,"after":"c6ec72168a3d884b3586f0e23272a3869375e1bd","ref":"refs/heads/gabriela/complete-ctf01-example","pushedAt":"2024-06-05T18:41:00.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"bugarela","name":"Gabriela Moreira","path":"/bugarela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18356186?s=80&v=4"},"commit":{"message":"Add complete CTF-01 example","shortMessageHtmlLink":"Add complete CTF-01 example"}},{"before":"e20cac97bfb29f6d696e7f4ef54c90fbb402e5c7","after":"baa08f7298da0a0e18ce97e02635710f3b15ff7d","ref":"refs/heads/main","pushedAt":"2024-05-28T11:19:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"bugarela","name":"Gabriela Moreira","path":"/bugarela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18356186?s=80&v=4"},"commit":{"message":"Add link to walk-through","shortMessageHtmlLink":"Add link to walk-through"}},{"before":"c4194eb12814dc4dda6bdf8ba938a947885011cf","after":null,"ref":"refs/heads/gabriela/readme-update","pushedAt":"2024-05-27T23:31:41.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"bugarela","name":"Gabriela Moreira","path":"/bugarela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18356186?s=80&v=4"}},{"before":"91d41f1109613136538c390b6982c821c334d5d4","after":"e20cac97bfb29f6d696e7f4ef54c90fbb402e5c7","ref":"refs/heads/main","pushedAt":"2024-05-27T23:31:40.000Z","pushType":"pr_merge","commitsCount":12,"pusher":{"login":"bugarela","name":"Gabriela Moreira","path":"/bugarela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18356186?s=80&v=4"},"commit":{"message":"Merge pull request #19 from informalsystems/gabriela/readme-update\n\nWrite proper README","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2319589925\" data-permission-text=\"Title is private\" data-url=\"https://github.com/informalsystems/cosmwasm-to-quint/issues/19\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/informalsystems/cosmwasm-to-quint/pull/19/hovercard\" href=\"https://github.com/informalsystems/cosmwasm-to-quint/pull/19\">#19</a> from informalsystems/gabriela/readme-update"}},{"before":"e9adee17d24a6b0aafbc437a26486901fc435148","after":"c4194eb12814dc4dda6bdf8ba938a947885011cf","ref":"refs/heads/gabriela/readme-update","pushedAt":"2024-05-27T23:22:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"bugarela","name":"Gabriela Moreira","path":"/bugarela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18356186?s=80&v=4"},"commit":{"message":"Apply suggestions from code review\n\nCo-authored-by: Ivan Gavran <ivan.gavran7@gmail.com>","shortMessageHtmlLink":"Apply suggestions from code review"}},{"before":"992b490eeacb52ea7d1376ad398165b9ab128101","after":"e9adee17d24a6b0aafbc437a26486901fc435148","ref":"refs/heads/gabriela/readme-update","pushedAt":"2024-05-27T18:48:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"bugarela","name":"Gabriela Moreira","path":"/bugarela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18356186?s=80&v=4"},"commit":{"message":"Add link to CosmWasm website","shortMessageHtmlLink":"Add link to CosmWasm website"}},{"before":"f09588b74bfffea2215c0b1a729780640ba0fdde","after":"992b490eeacb52ea7d1376ad398165b9ab128101","ref":"refs/heads/gabriela/readme-update","pushedAt":"2024-05-27T18:33:39.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"bugarela","name":"Gabriela Moreira","path":"/bugarela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18356186?s=80&v=4"},"commit":{"message":"Merge branch 'main' into gabriela/readme-update","shortMessageHtmlLink":"Merge branch 'main' into gabriela/readme-update"}},{"before":"1d3e2221bcef1b6f5d87a36335be0afa16da5bbf","after":"f09588b74bfffea2215c0b1a729780640ba0fdde","ref":"refs/heads/gabriela/readme-update","pushedAt":"2024-05-27T18:33:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"bugarela","name":"Gabriela Moreira","path":"/bugarela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18356186?s=80&v=4"},"commit":{"message":"Create LICENSE","shortMessageHtmlLink":"Create LICENSE"}},{"before":"27fad74bf68e74b21c6b3de4c41cb55a18cc7008","after":null,"ref":"refs/heads/gabriela/test-generation","pushedAt":"2024-05-27T18:25:37.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"bugarela","name":"Gabriela Moreira","path":"/bugarela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18356186?s=80&v=4"}},{"before":"70f7b2ec8ea7d1038d0244aea6bd729a64c7d12f","after":"91d41f1109613136538c390b6982c821c334d5d4","ref":"refs/heads/main","pushedAt":"2024-05-27T18:25:36.000Z","pushType":"pr_merge","commitsCount":20,"pusher":{"login":"bugarela","name":"Gabriela Moreira","path":"/bugarela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18356186?s=80&v=4"},"commit":{"message":"Merge pull request #18 from informalsystems/gabriela/test-generation\n\nTest generation","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2315478276\" data-permission-text=\"Title is private\" data-url=\"https://github.com/informalsystems/cosmwasm-to-quint/issues/18\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/informalsystems/cosmwasm-to-quint/pull/18/hovercard\" href=\"https://github.com/informalsystems/cosmwasm-to-quint/pull/18\">#18</a> from informalsystems/gabriela/test-generation"}},{"before":"1650ba27d3371672a987c8b051c6f663b6345a40","after":"1d3e2221bcef1b6f5d87a36335be0afa16da5bbf","ref":"refs/heads/gabriela/readme-update","pushedAt":"2024-05-27T18:24:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"bugarela","name":"Gabriela Moreira","path":"/bugarela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18356186?s=80&v=4"},"commit":{"message":"Add instruction to run the test and troubleshooting item","shortMessageHtmlLink":"Add instruction to run the test and troubleshooting item"}},{"before":"3281bfc75171e870dc8209dfd255a9449b3a3db3","after":"1650ba27d3371672a987c8b051c6f663b6345a40","ref":"refs/heads/gabriela/readme-update","pushedAt":"2024-05-27T18:13:37.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"bugarela","name":"Gabriela Moreira","path":"/bugarela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18356186?s=80&v=4"},"commit":{"message":"Center image","shortMessageHtmlLink":"Center image"}},{"before":"d05b28b7424d07f4a753e4a852d550d4705d79bc","after":"3281bfc75171e870dc8209dfd255a9449b3a3db3","ref":"refs/heads/gabriela/readme-update","pushedAt":"2024-05-27T18:10:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"bugarela","name":"Gabriela Moreira","path":"/bugarela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18356186?s=80&v=4"},"commit":{"message":"Add banner","shortMessageHtmlLink":"Add banner"}},{"before":"7774ce09746cb97eb6c52fb627eda6bf243f0e89","after":"d05b28b7424d07f4a753e4a852d550d4705d79bc","ref":"refs/heads/gabriela/readme-update","pushedAt":"2024-05-27T17:57:47.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"bugarela","name":"Gabriela Moreira","path":"/bugarela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18356186?s=80&v=4"},"commit":{"message":"Add Examples section","shortMessageHtmlLink":"Add Examples section"}},{"before":"da1e0c7841b6c84ac46712318c90b47251ea05d0","after":"7774ce09746cb97eb6c52fb627eda6bf243f0e89","ref":"refs/heads/gabriela/readme-update","pushedAt":"2024-05-27T17:38:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"bugarela","name":"Gabriela Moreira","path":"/bugarela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18356186?s=80&v=4"},"commit":{"message":"Improve formatting","shortMessageHtmlLink":"Improve formatting"}},{"before":null,"after":"da1e0c7841b6c84ac46712318c90b47251ea05d0","ref":"refs/heads/gabriela/readme-update","pushedAt":"2024-05-27T17:31:10.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"bugarela","name":"Gabriela Moreira","path":"/bugarela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18356186?s=80&v=4"},"commit":{"message":"Add context and update README.md","shortMessageHtmlLink":"Add context and update README.md"}},{"before":"a366a8d9e6bc29a813f9e3d8c17a80b7391a6099","after":"27fad74bf68e74b21c6b3de4c41cb55a18cc7008","ref":"refs/heads/gabriela/test-generation","pushedAt":"2024-05-27T15:45:44.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"bugarela","name":"Gabriela Moreira","path":"/bugarela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18356186?s=80&v=4"},"commit":{"message":"Improve formatting and print expected result from trace on generated tests","shortMessageHtmlLink":"Improve formatting and print expected result from trace on generated …"}},{"before":"d6990e6f0af1302672f4e9cff75ddbe5c4153e3e","after":"a366a8d9e6bc29a813f9e3d8c17a80b7391a6099","ref":"refs/heads/gabriela/test-generation","pushedAt":"2024-05-24T14:03:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"bugarela","name":"Gabriela Moreira","path":"/bugarela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18356186?s=80&v=4"},"commit":{"message":"Improve struct definitions and more spacing fixes","shortMessageHtmlLink":"Improve struct definitions and more spacing fixes"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNi0yOFQxODoyOTo0OS4wMDAwMDBazwAAAARyIgXx","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNS0yNFQxNDowMzozNC4wMDAwMDBazwAAAARTGuc0"}},"title":"Activity · informalsystems/cosmwasm-to-quint"}