{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":371719112,"defaultBranch":"main","name":"quint","ownerLogin":"informalsystems","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2021-05-28T14:01:41.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/59101308?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1716397479.0","currentOid":""},"activityList":{"items":[{"before":"b2b8525234240b3621ddc880e144573c7ac3fc8f","after":null,"ref":"refs/heads/vscode-release/0.14.4","pushedAt":"2024-05-22T17:04:39.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":"802268cccee14049a72331647d41ecd0ec5160ac","after":"9d7ad150945b87e8a92644da6b86eed8ceac85c2","ref":"refs/heads/main","pushedAt":"2024-05-22T17:04:38.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"bugarela","name":"Gabriela Moreira","path":"/bugarela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18356186?s=80&v=4"},"commit":{"message":"Merge pull request #1447 from informalsystems/vscode-release/0.14.4\n\nVSCode Release v0.14.4","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2311024042\" data-permission-text=\"Title is private\" data-url=\"https://github.com/informalsystems/quint/issues/1447\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/informalsystems/quint/pull/1447/hovercard\" href=\"https://github.com/informalsystems/quint/pull/1447\">#1447</a> from informalsystems/vscode-release/0.14.4"}},{"before":null,"after":"b2b8525234240b3621ddc880e144573c7ac3fc8f","ref":"refs/heads/vscode-release/0.14.4","pushedAt":"2024-05-22T16:48:16.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":"VSCode Release v0.14.4","shortMessageHtmlLink":"VSCode Release v0.14.4"}},{"before":"d7639320a15537f901f79cef4d354531a311e1d8","after":null,"ref":"refs/heads/release/0.20.0","pushedAt":"2024-05-22T16:38:21.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":"2942b2372b744073d95f70d8ecc7c32612d24e70","after":"802268cccee14049a72331647d41ecd0ec5160ac","ref":"refs/heads/main","pushedAt":"2024-05-22T16:38:20.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"bugarela","name":"Gabriela Moreira","path":"/bugarela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18356186?s=80&v=4"},"commit":{"message":"Merge pull request #1446 from informalsystems/release/0.20.0\n\nRelease v0.20.0","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2310982152\" data-permission-text=\"Title is private\" data-url=\"https://github.com/informalsystems/quint/issues/1446\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/informalsystems/quint/pull/1446/hovercard\" href=\"https://github.com/informalsystems/quint/pull/1446\">#1446</a> from informalsystems/release/0.20.0"}},{"before":null,"after":"d7639320a15537f901f79cef4d354531a311e1d8","ref":"refs/heads/release/0.20.0","pushedAt":"2024-05-22T16:31:28.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":"Release v0.20.0","shortMessageHtmlLink":"Release v0.20.0"}},{"before":"dc7eadc35c76acc8d180b008837654f32c621597","after":null,"ref":"refs/heads/gabriela/all-lists-up-to","pushedAt":"2024-05-22T14:21: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":"709821b166e9e8e642d1c9bee2a8eae63fbce7a1","after":"2942b2372b744073d95f70d8ecc7c32612d24e70","ref":"refs/heads/main","pushedAt":"2024-05-22T14:21:40.000Z","pushType":"pr_merge","commitsCount":9,"pusher":{"login":"bugarela","name":"Gabriela Moreira","path":"/bugarela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18356186?s=80&v=4"},"commit":{"message":"Merge pull request #1442 from informalsystems/gabriela/all-lists-up-to\n\nIntroduce `allListsUpTo`","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2307016637\" data-permission-text=\"Title is private\" data-url=\"https://github.com/informalsystems/quint/issues/1442\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/informalsystems/quint/pull/1442/hovercard\" href=\"https://github.com/informalsystems/quint/pull/1442\">#1442</a> from informalsystems/gabriela/all-lists-up-to"}},{"before":"bf07d71adb0074cbc3c175c689caaf7eb2a7a454","after":"dc7eadc35c76acc8d180b008837654f32c621597","ref":"refs/heads/gabriela/all-lists-up-to","pushedAt":"2024-05-22T12:18:56.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"bugarela","name":"Gabriela Moreira","path":"/bugarela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18356186?s=80&v=4"},"commit":{"message":"Merge remote-tracking branch 'origin/main' into gabriela/all-lists-up-to","shortMessageHtmlLink":"Merge remote-tracking branch 'origin/main' into gabriela/all-lists-up-to"}},{"before":"20d146607c450f67323f53d5eb748e071c881882","after":"bf07d71adb0074cbc3c175c689caaf7eb2a7a454","ref":"refs/heads/gabriela/all-lists-up-to","pushedAt":"2024-05-22T12:14:07.000Z","pushType":"push","commitsCount":10,"pusher":{"login":"bugarela","name":"Gabriela Moreira","path":"/bugarela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18356186?s=80&v=4"},"commit":{"message":"Merge remote-tracking branch 'origin/main' into gabriela/all-lists-up-to","shortMessageHtmlLink":"Merge remote-tracking branch 'origin/main' into gabriela/all-lists-up-to"}},{"before":"e537a72122176d7293d7b70d78095b37b100a73f","after":"20d146607c450f67323f53d5eb748e071c881882","ref":"refs/heads/gabriela/all-lists-up-to","pushedAt":"2024-05-22T12:12: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":"Remove outdated comment","shortMessageHtmlLink":"Remove outdated comment"}},{"before":"f0598bb7a5059c1075aa4f03931858435f6b7124","after":"e537a72122176d7293d7b70d78095b37b100a73f","ref":"refs/heads/gabriela/all-lists-up-to","pushedAt":"2024-05-22T11:46:56.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":"Make `allListsUpTo` a builtin","shortMessageHtmlLink":"Make <code>allListsUpTo</code> a builtin"}},{"before":"3dc9bcc8c6f3be3fd1a5bfab494a2302bf1c8568","after":"036350ea27d621cc3a64f112391de0fa54f3f6ab","ref":"refs/heads/gabriela/erc20-sum-types","pushedAt":"2024-05-22T11:10:38.000Z","pushType":"push","commitsCount":511,"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/erc20-sum-types","shortMessageHtmlLink":"Merge branch 'main' into gabriela/erc20-sum-types"}},{"before":"19dd6ffb006d2b55d2593d3543278acb2b78e4e2","after":null,"ref":"refs/heads/1298/typechecking-polymorphic-types","pushedAt":"2024-05-22T11:08:49.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":"bab78e21603526ccd31b2fc2f366ef0066e83251","after":null,"ref":"refs/heads/gabriela/fix-compilation-imported-variables","pushedAt":"2024-05-22T11:08:06.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":"8d0c0426681b20eba31a39544b7b34f64f4107bf","after":null,"ref":"refs/heads/gabriela/improve-parsing-error-recovery","pushedAt":"2024-05-22T11:07:21.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":"d9c785e8f32bc67862e43175ed49a955449deac2","after":null,"ref":"refs/heads/gabriela/poc-new-flattener","pushedAt":"2024-05-22T11:06:15.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":"c2c6cbac273a987c7f44ecdc6eb4338e69af2c62","after":null,"ref":"refs/heads/gabriela/poc-incremental-compilation","pushedAt":"2024-05-22T11:06:13.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":"73d53ffa44e8ad5e294b0e8b1b184756b9d58376","after":null,"ref":"refs/heads/gabriela/vscode-launch-instructions","pushedAt":"2024-05-22T11:05:57.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":"f86abab118cc809818960434df8738375c350cd8","after":null,"ref":"refs/heads/gabriela/type-overquantification-fix","pushedAt":"2024-05-22T11:05: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":"db67d0301975b11e9f7363efdc6de569c5e1d958","after":null,"ref":"refs/heads/gabriela/soft-unshadowing","pushedAt":"2024-05-22T10:55:10.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":"ccb05a270dac999453c722b75b7919cdb1c8bdf1","after":"709821b166e9e8e642d1c9bee2a8eae63fbce7a1","ref":"refs/heads/main","pushedAt":"2024-05-22T10:55:10.000Z","pushType":"pr_merge","commitsCount":9,"pusher":{"login":"bugarela","name":"Gabriela Moreira","path":"/bugarela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18356186?s=80&v=4"},"commit":{"message":"Merge pull request #1444 from informalsystems/gabriela/soft-unshadowing\n\nRelax unshadowing for let defs","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2308919612\" data-permission-text=\"Title is private\" data-url=\"https://github.com/informalsystems/quint/issues/1444\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/informalsystems/quint/pull/1444/hovercard\" href=\"https://github.com/informalsystems/quint/pull/1444\">#1444</a> from informalsystems/gabriela/soft-unshadowing"}},{"before":"a7b6cf4c35ee2c5317ec78d0dbd121dfe20392a4","after":"db67d0301975b11e9f7363efdc6de569c5e1d958","ref":"refs/heads/gabriela/soft-unshadowing","pushedAt":"2024-05-21T19:20: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":"Add CHANGELOG entry","shortMessageHtmlLink":"Add CHANGELOG entry"}},{"before":"0ef309a6264a98d3c5e82511fb624474971eabb3","after":"a7b6cf4c35ee2c5317ec78d0dbd121dfe20392a4","ref":"refs/heads/gabriela/soft-unshadowing","pushedAt":"2024-05-21T19:17:39.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":"Update docstring","shortMessageHtmlLink":"Update docstring"}},{"before":"1d8c268f9952150e826d053cc6c2e73e54f7b29d","after":"0ef309a6264a98d3c5e82511fb624474971eabb3","ref":"refs/heads/gabriela/soft-unshadowing","pushedAt":"2024-05-21T19:16:07.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":"Update depth on fixtures","shortMessageHtmlLink":"Update depth on fixtures"}},{"before":"0f93187ba4e481fb22518c7b58d96683b7072ce1","after":"1d8c268f9952150e826d053cc6c2e73e54f7b29d","ref":"refs/heads/gabriela/soft-unshadowing","pushedAt":"2024-05-21T18:53:19.000Z","pushType":"push","commitsCount":22,"pusher":{"login":"bugarela","name":"Gabriela Moreira","path":"/bugarela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18356186?s=80&v=4"},"commit":{"message":"Update tests and fix some collector behavior","shortMessageHtmlLink":"Update tests and fix some collector behavior"}},{"before":"601ae2b40b65f12af6a20f5964f67750c755e5da","after":"f0598bb7a5059c1075aa4f03931858435f6b7124","ref":"refs/heads/gabriela/all-lists-up-to","pushedAt":"2024-05-21T16:16:02.000Z","pushType":"push","commitsCount":20,"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/all-lists-up-to","shortMessageHtmlLink":"Merge branch 'main' into gabriela/all-lists-up-to"}},{"before":"25384a5a931de98ed91df9e3f42c11f0aca21eac","after":null,"ref":"refs/heads/gabriela/mbt-metadata","pushedAt":"2024-05-21T16:06:32.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":"b222820e1cfedfce063a69c27d7947e92d7b6077","after":"ccb05a270dac999453c722b75b7919cdb1c8bdf1","ref":"refs/heads/main","pushedAt":"2024-05-21T16:06:31.000Z","pushType":"pr_merge","commitsCount":19,"pusher":{"login":"bugarela","name":"Gabriela Moreira","path":"/bugarela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18356186?s=80&v=4"},"commit":{"message":"Merge pull request #1441 from informalsystems/gabriela/mbt-metadata\n\nAutomatically produce metadata to be used in MBT tests","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2306042696\" data-permission-text=\"Title is private\" data-url=\"https://github.com/informalsystems/quint/issues/1441\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/informalsystems/quint/pull/1441/hovercard\" href=\"https://github.com/informalsystems/quint/pull/1441\">#1441</a> from informalsystems/gabriela/mbt-metadata"}},{"before":"3f762e74332d65c40fcf0d18dfca55059562f283","after":"25384a5a931de98ed91df9e3f42c11f0aca21eac","ref":"refs/heads/gabriela/mbt-metadata","pushedAt":"2024-05-21T14:48: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":"Update comments on how nondetPicks are collected","shortMessageHtmlLink":"Update comments on how nondetPicks are collected"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEUTBo9wA","startCursor":null,"endCursor":null}},"title":"Activity · informalsystems/quint"}