{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":520882355,"defaultBranch":"main","name":"polarity","ownerLogin":"polarity-lang","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2022-08-03T13:01:37.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/161849262?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1727187975.0","currentOid":""},"activityList":{"items":[{"before":"611d47f02f6e3b71b5d3b7ce8e4882d9e6cbf90b","after":"9e2fbb49b8354b496acc90d270aa8c6e79338bcd","ref":"refs/heads/main","pushedAt":"2024-09-24T21:33:43.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"BinderDavid","name":"David Binder","path":"/BinderDavid","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18737248?s=80&v=4"},"commit":{"message":"Add MSRV 1.80 and test in CI (#302)\n\n* Add MSRV 1.80\r\n\r\n* Test 1.80.1 in CI\r\n\r\n* Only test build on MSRV\r\n\r\n* Fix deprecated GitHub actions output mechanism\r\n\r\n* Make shellcheck happy\r\n\r\n---------\r\n\r\nCo-authored-by: Tim Süberkrüb <dev@timsueberkrueb.io>","shortMessageHtmlLink":"Add MSRV 1.80 and test in CI (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2545569862\" data-permission-text=\"Title is private\" data-url=\"https://github.com/polarity-lang/polarity/issues/302\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/polarity-lang/polarity/pull/302/hovercard\" href=\"https://github.com/polarity-lang/polarity/pull/302\">#302</a>)"}},{"before":"6b16cc6f156a74ef57249ab32b66a3058140f874","after":"dd4ed7d98073df4f576d176dbcf3185693fbcfe3","ref":"refs/heads/fix-299","pushedAt":"2024-09-24T17:17:06.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"timsueberkrueb","name":"Tim Süberkrüb","path":"/timsueberkrueb","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11774614?s=80&v=4"},"commit":{"message":"Make shellcheck happy","shortMessageHtmlLink":"Make shellcheck happy"}},{"before":"9a6ce5fb91167e82ea178f7de6b2935eb7375b6e","after":"6b16cc6f156a74ef57249ab32b66a3058140f874","ref":"refs/heads/fix-299","pushedAt":"2024-09-24T17:13:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"timsueberkrueb","name":"Tim Süberkrüb","path":"/timsueberkrueb","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11774614?s=80&v=4"},"commit":{"message":"Fix deprecated GitHub actions output mechanism","shortMessageHtmlLink":"Fix deprecated GitHub actions output mechanism"}},{"before":"b90c63c4869f5e0ac4a4b91d8255ad159d23fb41","after":"9a6ce5fb91167e82ea178f7de6b2935eb7375b6e","ref":"refs/heads/fix-299","pushedAt":"2024-09-24T17:08:33.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"timsueberkrueb","name":"Tim Süberkrüb","path":"/timsueberkrueb","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11774614?s=80&v=4"},"commit":{"message":"Only test build on MSRV","shortMessageHtmlLink":"Only test build on MSRV"}},{"before":"fe21550ce17f353de78c018ff15311b7a95ca457","after":"b90c63c4869f5e0ac4a4b91d8255ad159d23fb41","ref":"refs/heads/fix-299","pushedAt":"2024-09-24T17:04:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"timsueberkrueb","name":"Tim Süberkrüb","path":"/timsueberkrueb","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11774614?s=80&v=4"},"commit":{"message":"Only test build on MSRV","shortMessageHtmlLink":"Only test build on MSRV"}},{"before":"3033526f573c48c01ec5a9de2b7d95719f74a650","after":"fe21550ce17f353de78c018ff15311b7a95ca457","ref":"refs/heads/fix-299","pushedAt":"2024-09-24T14:44:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"BinderDavid","name":"David Binder","path":"/BinderDavid","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18737248?s=80&v=4"},"commit":{"message":"Test 1.80.1 in CI","shortMessageHtmlLink":"Test 1.80.1 in CI"}},{"before":"9ffefe3ec7b055da142e7e41d61308be7397ff31","after":"611d47f02f6e3b71b5d3b7ce8e4882d9e6cbf90b","ref":"refs/heads/main","pushedAt":"2024-09-24T14:28:39.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"BinderDavid","name":"David Binder","path":"/BinderDavid","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18737248?s=80&v=4"},"commit":{"message":"Add span to idents (#301)\n\n* Add span to CST Idents\r\n\r\n* Add span to AST Idents\r\n\r\n* Fix bug","shortMessageHtmlLink":"Add span to idents (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2545525670\" data-permission-text=\"Title is private\" data-url=\"https://github.com/polarity-lang/polarity/issues/301\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/polarity-lang/polarity/pull/301/hovercard\" href=\"https://github.com/polarity-lang/polarity/pull/301\">#301</a>)"}},{"before":null,"after":"3033526f573c48c01ec5a9de2b7d95719f74a650","ref":"refs/heads/fix-299","pushedAt":"2024-09-24T14:26:15.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"BinderDavid","name":"David Binder","path":"/BinderDavid","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18737248?s=80&v=4"},"commit":{"message":"Add MSRV 1.80","shortMessageHtmlLink":"Add MSRV 1.80"}},{"before":"7e7b443c253cd45affb701cbd659997f7dd3a541","after":"c9fab6ea7292d1a23ccde8d108ea1eff597f57b5","ref":"refs/heads/add-span-to-idents","pushedAt":"2024-09-24T14:09:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"BinderDavid","name":"David Binder","path":"/BinderDavid","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18737248?s=80&v=4"},"commit":{"message":"Fix bug","shortMessageHtmlLink":"Fix bug"}},{"before":null,"after":"7e7b443c253cd45affb701cbd659997f7dd3a541","ref":"refs/heads/add-span-to-idents","pushedAt":"2024-09-24T14:06:10.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"BinderDavid","name":"David Binder","path":"/BinderDavid","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18737248?s=80&v=4"},"commit":{"message":"Add span to AST Idents","shortMessageHtmlLink":"Add span to AST Idents"}},{"before":"63536e34499e70e1d2d627bc135ab369194a3b59","after":"9ffefe3ec7b055da142e7e41d61308be7397ff31","ref":"refs/heads/main","pushedAt":"2024-09-24T12:32:33.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"BinderDavid","name":"David Binder","path":"/BinderDavid","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18737248?s=80&v=4"},"commit":{"message":"Add colored output to testsuite driver (#300)\n\n* Add colored output to testsuite driver\r\n\r\n* Use ColorChoice::Auto","shortMessageHtmlLink":"Add colored output to testsuite driver (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2545019666\" data-permission-text=\"Title is private\" data-url=\"https://github.com/polarity-lang/polarity/issues/300\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/polarity-lang/polarity/pull/300/hovercard\" href=\"https://github.com/polarity-lang/polarity/pull/300\">#300</a>)"}},{"before":"a724fa8a1fb6c7e73bbf8566c8b6922a12c351b7","after":"b9a2631ce8cd611ca29331653dc14f6282d72025","ref":"refs/heads/colored-testsuite-output","pushedAt":"2024-09-24T12:03:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"BinderDavid","name":"David Binder","path":"/BinderDavid","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18737248?s=80&v=4"},"commit":{"message":"Use ColorChoice::Auto","shortMessageHtmlLink":"Use ColorChoice::Auto"}},{"before":null,"after":"a724fa8a1fb6c7e73bbf8566c8b6922a12c351b7","ref":"refs/heads/colored-testsuite-output","pushedAt":"2024-09-24T10:30:37.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"BinderDavid","name":"David Binder","path":"/BinderDavid","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18737248?s=80&v=4"},"commit":{"message":"Add colored output to testsuite driver","shortMessageHtmlLink":"Add colored output to testsuite driver"}},{"before":"825bd3607c6bfcfbd8e08401a9483158bb3c103f","after":"63536e34499e70e1d2d627bc135ab369194a3b59","ref":"refs/heads/main","pushedAt":"2024-09-24T09:22:58.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"BinderDavid","name":"David Binder","path":"/BinderDavid","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18737248?s=80&v=4"},"commit":{"message":"Store dependency graph in database (#294)\n\n\r\n\r\n---------\r\n\r\nCo-authored-by: David Binder <david.binder@uni-tuebingen.de>","shortMessageHtmlLink":"Store dependency graph in database (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2539047031\" data-permission-text=\"Title is private\" data-url=\"https://github.com/polarity-lang/polarity/issues/294\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/polarity-lang/polarity/pull/294/hovercard\" href=\"https://github.com/polarity-lang/polarity/pull/294\">#294</a>)"}},{"before":"532409fc99e064709497cbdfcbdcefe20530efd2","after":"3dc40dd860ad0b8b4523c947343e5df0e221bdd3","ref":"refs/heads/deps-graph-in-db","pushedAt":"2024-09-23T21:39:44.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"timsueberkrueb","name":"Tim Süberkrüb","path":"/timsueberkrueb","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11774614?s=80&v=4"},"commit":{"message":"Change order of methods in database","shortMessageHtmlLink":"Change order of methods in database"}},{"before":"6aef965c41812740176dd6a0835477568c0f54f4","after":"532409fc99e064709497cbdfcbdcefe20530efd2","ref":"refs/heads/deps-graph-in-db","pushedAt":"2024-09-23T21:25:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"timsueberkrueb","name":"Tim Süberkrüb","path":"/timsueberkrueb","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11774614?s=80&v=4"},"commit":{"message":"Change order of methods in database","shortMessageHtmlLink":"Change order of methods in database"}},{"before":"159d3c2430c94b5fbd6726efb5e1abd338adec13","after":"6aef965c41812740176dd6a0835477568c0f54f4","ref":"refs/heads/deps-graph-in-db","pushedAt":"2024-09-23T21:22:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"timsueberkrueb","name":"Tim Süberkrüb","path":"/timsueberkrueb","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11774614?s=80&v=4"},"commit":{"message":"Fix lookup table handling of dependencies","shortMessageHtmlLink":"Fix lookup table handling of dependencies"}},{"before":"4a84d6788194d283890093493f8cdc1aa728a6ca","after":"159d3c2430c94b5fbd6726efb5e1abd338adec13","ref":"refs/heads/deps-graph-in-db","pushedAt":"2024-09-23T21:07:06.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"timsueberkrueb","name":"Tim Süberkrüb","path":"/timsueberkrueb","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11774614?s=80&v=4"},"commit":{"message":"Fix invalidate by first invalidating the given uri","shortMessageHtmlLink":"Fix invalidate by first invalidating the given uri"}},{"before":"44f82ac2c52e82015964041d6772892e63c6c053","after":"825bd3607c6bfcfbd8e08401a9483158bb3c103f","ref":"refs/heads/main","pushedAt":"2024-09-23T20:57:31.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"BinderDavid","name":"David Binder","path":"/BinderDavid","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18737248?s=80&v=4"},"commit":{"message":"Make ast Ident abstract (#296)","shortMessageHtmlLink":"Make ast Ident abstract (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2539854825\" data-permission-text=\"Title is private\" data-url=\"https://github.com/polarity-lang/polarity/issues/296\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/polarity-lang/polarity/pull/296/hovercard\" href=\"https://github.com/polarity-lang/polarity/pull/296\">#296</a>)"}},{"before":"caecf468a6f5b759ac4fe39936c7e6abaf35c2af","after":"d4361a42a7496b2950e0bc54ac365da61a20de10","ref":"refs/heads/make-ast-ident-abstract","pushedAt":"2024-09-23T20:37:45.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"BinderDavid","name":"David Binder","path":"/BinderDavid","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18737248?s=80&v=4"},"commit":{"message":"Make ast Ident abstract","shortMessageHtmlLink":"Make ast Ident abstract"}},{"before":"fc598bf96adc2f63034711c2f29ea2309d3045c3","after":"44f82ac2c52e82015964041d6772892e63c6c053","ref":"refs/heads/main","pushedAt":"2024-09-23T20:31:28.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"BinderDavid","name":"David Binder","path":"/BinderDavid","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18737248?s=80&v=4"},"commit":{"message":"Refactor lowering 2 (#295)\n\n* Move decls.rs and exp.rs into subfolder\r\n\r\n* Split lowering of declarations","shortMessageHtmlLink":"Refactor lowering 2 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2539084961\" data-permission-text=\"Title is private\" data-url=\"https://github.com/polarity-lang/polarity/issues/295\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/polarity-lang/polarity/pull/295/hovercard\" href=\"https://github.com/polarity-lang/polarity/pull/295\">#295</a>)"}},{"before":null,"after":"caecf468a6f5b759ac4fe39936c7e6abaf35c2af","ref":"refs/heads/make-ast-ident-abstract","pushedAt":"2024-09-21T00:49:43.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"BinderDavid","name":"David Binder","path":"/BinderDavid","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18737248?s=80&v=4"},"commit":{"message":"Make ast Ident abstract","shortMessageHtmlLink":"Make ast Ident abstract"}},{"before":"10bbef64126c5bd40bb2a0ed37b7ff63c12a9cc7","after":"40d73a201a51656e7ec5fdfed75482b30117dd3a","ref":"refs/heads/refactor-lowering-2","pushedAt":"2024-09-21T00:01:24.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"BinderDavid","name":"David Binder","path":"/BinderDavid","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18737248?s=80&v=4"},"commit":{"message":"Split lowering of declarations","shortMessageHtmlLink":"Split lowering of declarations"}},{"before":"c7eda319c6b7677eee8bab0fc07cbd85277fe1fd","after":"4a84d6788194d283890093493f8cdc1aa728a6ca","ref":"refs/heads/deps-graph-in-db","pushedAt":"2024-09-20T16:27:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"BinderDavid","name":"David Binder","path":"/BinderDavid","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18737248?s=80&v=4"},"commit":{"message":"Move modules file to Database impl","shortMessageHtmlLink":"Move modules file to Database impl"}},{"before":"b1775d053000419f0b4f4fbda625cc0ecf8b5d10","after":"c7eda319c6b7677eee8bab0fc07cbd85277fe1fd","ref":"refs/heads/deps-graph-in-db","pushedAt":"2024-09-20T16:22:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"BinderDavid","name":"David Binder","path":"/BinderDavid","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18737248?s=80&v=4"},"commit":{"message":"Factor database into own module","shortMessageHtmlLink":"Factor database into own module"}},{"before":"1d0c0b0d596d94ce6b1a64f83a802d19b23eab6c","after":"b1775d053000419f0b4f4fbda625cc0ecf8b5d10","ref":"refs/heads/deps-graph-in-db","pushedAt":"2024-09-20T16:13:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"BinderDavid","name":"David Binder","path":"/BinderDavid","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18737248?s=80&v=4"},"commit":{"message":"Refactor dependency graph","shortMessageHtmlLink":"Refactor dependency graph"}},{"before":"b831c4cc6aba1a0fd8c73d4cb8c9958c7fdd28e8","after":"1d0c0b0d596d94ce6b1a64f83a802d19b23eab6c","ref":"refs/heads/deps-graph-in-db","pushedAt":"2024-09-20T15:54:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"BinderDavid","name":"David Binder","path":"/BinderDavid","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18737248?s=80&v=4"},"commit":{"message":"Factor out dependency graph","shortMessageHtmlLink":"Factor out dependency graph"}},{"before":"83f346f31e19d04be06e5c1e91e8c5ddaa5f4de9","after":"fc598bf96adc2f63034711c2f29ea2309d3045c3","ref":"refs/heads/main","pushedAt":"2024-09-20T15:27:03.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"BinderDavid","name":"David Binder","path":"/BinderDavid","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18737248?s=80&v=4"},"commit":{"message":"Implement different kinds of typed holes (#292)\n\n* Add two kinds of typed hole to cst and parser\r\n\r\n* Add different hole kinds to ast\r\n\r\n* Fix prettyprinting of different kinds of holes\r\n\r\n* Unify HoleKind and MetaVarKind\r\n\r\n* Add correct check for metavars that must be solved\r\n\r\n* Rename QUESTIONMARK to QUESTION_MARK","shortMessageHtmlLink":"Implement different kinds of typed holes (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2531794585\" data-permission-text=\"Title is private\" data-url=\"https://github.com/polarity-lang/polarity/issues/292\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/polarity-lang/polarity/pull/292/hovercard\" href=\"https://github.com/polarity-lang/polarity/pull/292\">#292</a>)"}},{"before":"73063ce1c734136272bbc70b34992009a5b50877","after":"89fedc6344ebee25825ab169b3e1e422f4226b11","ref":"refs/heads/fix-236","pushedAt":"2024-09-20T15:23:01.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"BinderDavid","name":"David Binder","path":"/BinderDavid","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18737248?s=80&v=4"},"commit":{"message":"Rename QUESTIONMARK to QUESTION_MARK","shortMessageHtmlLink":"Rename QUESTIONMARK to QUESTION_MARK"}},{"before":"a5bd95f1f46cfc50fc6a9814e6129d512d5d2a61","after":"73063ce1c734136272bbc70b34992009a5b50877","ref":"refs/heads/fix-236","pushedAt":"2024-09-20T15:22:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"BinderDavid","name":"David Binder","path":"/BinderDavid","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18737248?s=80&v=4"},"commit":{"message":"Rename QUESTIONMARK to QUESTION_MARK","shortMessageHtmlLink":"Rename QUESTIONMARK to QUESTION_MARK"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0yNFQyMTozMzo0My4wMDAwMDBazwAAAAS_paGM","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0yNFQyMTozMzo0My4wMDAwMDBazwAAAAS_paGM","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0yMFQxNToyMjoxOC4wMDAwMDBazwAAAAS8HJ6j"}},"title":"Activity · polarity-lang/polarity"}