{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":264775694,"defaultBranch":"main","name":"Idris2","ownerLogin":"idris-lang","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2020-05-17T23:25:25.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/5552910?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1705629119.0","currentOid":""},"activityList":{"items":[{"before":"cf28f50873063cb424e4fe99ced7437a08396826","after":"57caf0b6f580a7445f4f360ae1158360f0315055","ref":"refs/heads/gh-pages","pushedAt":"2024-05-19T14:24:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploying to gh-pages from @ idris-lang/Idris2@cf68e995c414912c338ae694a74fd833a6c4cee2 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/idris-lang/Idris2/commit/cf68e995c414912c338ae694a74fd833a6c4cee2/hovercard\" href=\"https://github.com/idris-lang/Idris2/commit/cf68e995c414912c338ae694a74fd833a6c4cee2\"><tt>cf68e99</tt></a> 🚀"}},{"before":"2a3f0311f2969f68a34ca28347e2c58195552d5b","after":"cf68e995c414912c338ae694a74fd833a6c4cee2","ref":"refs/heads/main","pushedAt":"2024-05-19T14:00:28.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"gallais","name":"G. Allais","path":"/gallais","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1094905?s=80&v=4"},"commit":{"message":"[ funext ] Add a proof for funext variants with the other quantities","shortMessageHtmlLink":"[ funext ] Add a proof for funext variants with the other quantities"}},{"before":"d320a129c806f07f510de2b12019b1f75c767230","after":"cf28f50873063cb424e4fe99ced7437a08396826","ref":"refs/heads/gh-pages","pushedAt":"2024-05-18T07:44:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploying to gh-pages from @ idris-lang/Idris2@2a3f0311f2969f68a34ca28347e2c58195552d5b 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/idris-lang/Idris2/commit/2a3f0311f2969f68a34ca28347e2c58195552d5b/hovercard\" href=\"https://github.com/idris-lang/Idris2/commit/2a3f0311f2969f68a34ca28347e2c58195552d5b\"><tt>2a3f031</tt></a> 🚀"}},{"before":"5d04f89c7b42afba384d19108b5e0cdaee99a224","after":"2a3f0311f2969f68a34ca28347e2c58195552d5b","ref":"refs/heads/main","pushedAt":"2024-05-18T07:21:28.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"andrevidela","name":"André Videla","path":"/andrevidela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/25706208?s=80&v=4"},"commit":{"message":"Merge pull request #3283 from dunhamsteve/fix-windows-ci\n\n[ fix ] fix windows CI, aligned_alloc not supported on win32","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2303650222\" data-permission-text=\"Title is private\" data-url=\"https://github.com/idris-lang/Idris2/issues/3283\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/idris-lang/Idris2/pull/3283/hovercard\" href=\"https://github.com/idris-lang/Idris2/pull/3283\">#3283</a> from dunhamsteve/fix-windows-ci"}},{"before":"c58737ae32d40f1fbebddf2a752a763d8c5c4a87","after":"d320a129c806f07f510de2b12019b1f75c767230","ref":"refs/heads/gh-pages","pushedAt":"2024-04-28T22:35:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploying to gh-pages from @ idris-lang/Idris2@5d04f89c7b42afba384d19108b5e0cdaee99a224 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/idris-lang/Idris2/commit/5d04f89c7b42afba384d19108b5e0cdaee99a224/hovercard\" href=\"https://github.com/idris-lang/Idris2/commit/5d04f89c7b42afba384d19108b5e0cdaee99a224\"><tt>5d04f89</tt></a> 🚀"}},{"before":"84ce3a683696901641c3594a40ceb48f24de8add","after":"5d04f89c7b42afba384d19108b5e0cdaee99a224","ref":"refs/heads/main","pushedAt":"2024-04-28T22:12:10.000Z","pushType":"pr_merge","commitsCount":4,"pusher":{"login":"andrevidela","name":"André Videla","path":"/andrevidela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/25706208?s=80&v=4"},"commit":{"message":"Merge pull request #3270 from dunhamsteve/impossible-lam\n\n[ parser ] Add support for impossible lambdas","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2267168372\" data-permission-text=\"Title is private\" data-url=\"https://github.com/idris-lang/Idris2/issues/3270\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/idris-lang/Idris2/pull/3270/hovercard\" href=\"https://github.com/idris-lang/Idris2/pull/3270\">#3270</a> from dunhamsteve/impossible-lam"}},{"before":"953649cbdda0a3ccb8ef1bb62c413aefdd4aa4e1","after":"c58737ae32d40f1fbebddf2a752a763d8c5c4a87","ref":"refs/heads/gh-pages","pushedAt":"2024-04-27T23:40:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploying to gh-pages from @ idris-lang/Idris2@84ce3a683696901641c3594a40ceb48f24de8add 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/idris-lang/Idris2/commit/84ce3a683696901641c3594a40ceb48f24de8add/hovercard\" href=\"https://github.com/idris-lang/Idris2/commit/84ce3a683696901641c3594a40ceb48f24de8add\"><tt>84ce3a6</tt></a> 🚀"}},{"before":"3489cc3fa443963c908218bfdc3177ea67321871","after":"84ce3a683696901641c3594a40ceb48f24de8add","ref":"refs/heads/main","pushedAt":"2024-04-27T23:17:18.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"andrevidela","name":"André Videla","path":"/andrevidela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/25706208?s=80&v=4"},"commit":{"message":"Merge pull request #3253 from dunhamsteve/issue3251\n\n[ parser ] Fix issue parsing unquote","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2232545799\" data-permission-text=\"Title is private\" data-url=\"https://github.com/idris-lang/Idris2/issues/3253\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/idris-lang/Idris2/pull/3253/hovercard\" href=\"https://github.com/idris-lang/Idris2/pull/3253\">#3253</a> from dunhamsteve/issue3251"}},{"before":"2298f8837b0afb9c0fba3ae7ec3f4022550999ec","after":"3489cc3fa443963c908218bfdc3177ea67321871","ref":"refs/heads/main","pushedAt":"2024-04-27T23:16:30.000Z","pushType":"pr_merge","commitsCount":5,"pusher":{"login":"andrevidela","name":"André Videla","path":"/andrevidela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/25706208?s=80&v=4"},"commit":{"message":"Merge pull request #3269 from dunhamsteve/fix-macos-build\n\n[ fix ] fix macos ci","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2267165358\" data-permission-text=\"Title is private\" data-url=\"https://github.com/idris-lang/Idris2/issues/3269\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/idris-lang/Idris2/pull/3269/hovercard\" href=\"https://github.com/idris-lang/Idris2/pull/3269\">#3269</a> from dunhamsteve/fix-macos-build"}},{"before":"be3baf26223902c26e62e354f131e8e02e399e6c","after":"953649cbdda0a3ccb8ef1bb62c413aefdd4aa4e1","ref":"refs/heads/gh-pages","pushedAt":"2024-04-22T16:13:56.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploying to gh-pages from @ idris-lang/Idris2@2298f8837b0afb9c0fba3ae7ec3f4022550999ec 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/idris-lang/Idris2/commit/2298f8837b0afb9c0fba3ae7ec3f4022550999ec/hovercard\" href=\"https://github.com/idris-lang/Idris2/commit/2298f8837b0afb9c0fba3ae7ec3f4022550999ec\"><tt>2298f88</tt></a> 🚀"}},{"before":"ae3a43f72c3be93bba142323c4a572fb370466bc","after":"2298f8837b0afb9c0fba3ae7ec3f4022550999ec","ref":"refs/heads/main","pushedAt":"2024-04-22T15:50:10.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"andrevidela","name":"André Videla","path":"/andrevidela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/25706208?s=80&v=4"},"commit":{"message":"Merge pull request #3267 from stefan-hoeck/fin0\n\n[ fix ] issue 3266","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2256584464\" data-permission-text=\"Title is private\" data-url=\"https://github.com/idris-lang/Idris2/issues/3267\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/idris-lang/Idris2/pull/3267/hovercard\" href=\"https://github.com/idris-lang/Idris2/pull/3267\">#3267</a> from stefan-hoeck/fin0"}},{"before":"517b2832efbef6ff667a140296ab947c0b3eca35","after":"ae3a43f72c3be93bba142323c4a572fb370466bc","ref":"refs/heads/main","pushedAt":"2024-04-22T14:43:49.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"gallais","name":"G. Allais","path":"/gallais","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1094905?s=80&v=4"},"commit":{"message":"Doc: module naming constraints (#3256)","shortMessageHtmlLink":"Doc: module naming constraints (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2242057193\" data-permission-text=\"Title is private\" data-url=\"https://github.com/idris-lang/Idris2/issues/3256\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/idris-lang/Idris2/pull/3256/hovercard\" href=\"https://github.com/idris-lang/Idris2/pull/3256\">#3256</a>)"}},{"before":"477fcd12fb6a6775db8460ebe30ae028ca250b36","after":"be3baf26223902c26e62e354f131e8e02e399e6c","ref":"refs/heads/gh-pages","pushedAt":"2024-04-21T23:58:06.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploying to gh-pages from @ idris-lang/Idris2@517b2832efbef6ff667a140296ab947c0b3eca35 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/idris-lang/Idris2/commit/517b2832efbef6ff667a140296ab947c0b3eca35/hovercard\" href=\"https://github.com/idris-lang/Idris2/commit/517b2832efbef6ff667a140296ab947c0b3eca35\"><tt>517b283</tt></a> 🚀"}},{"before":"1dc7b74e4e4b869ef46f73c0f52cadecc88e6f6d","after":"517b2832efbef6ff667a140296ab947c0b3eca35","ref":"refs/heads/main","pushedAt":"2024-04-21T23:34:46.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"andrevidela","name":"André Videla","path":"/andrevidela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/25706208?s=80&v=4"},"commit":{"message":"Merge pull request #3265 from andrevidela/fix-fixity-warning\n\nfix error message for unexported fixities","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2255299758\" data-permission-text=\"Title is private\" data-url=\"https://github.com/idris-lang/Idris2/issues/3265\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/idris-lang/Idris2/pull/3265/hovercard\" href=\"https://github.com/idris-lang/Idris2/pull/3265\">#3265</a> from andrevidela/fix-fixity-warning"}},{"before":"edfb72a4aa8f8b006ec6714ca065151ce2a6dea3","after":"477fcd12fb6a6775db8460ebe30ae028ca250b36","ref":"refs/heads/gh-pages","pushedAt":"2024-04-17T15:12:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploying to gh-pages from @ idris-lang/Idris2@1dc7b74e4e4b869ef46f73c0f52cadecc88e6f6d 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/idris-lang/Idris2/commit/1dc7b74e4e4b869ef46f73c0f52cadecc88e6f6d/hovercard\" href=\"https://github.com/idris-lang/Idris2/commit/1dc7b74e4e4b869ef46f73c0f52cadecc88e6f6d\"><tt>1dc7b74</tt></a> 🚀"}},{"before":"4799d289b8621caa27fa30824bfc7a786fad8969","after":"1dc7b74e4e4b869ef46f73c0f52cadecc88e6f6d","ref":"refs/heads/main","pushedAt":"2024-04-17T14:48:43.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"gallais","name":"G. Allais","path":"/gallais","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1094905?s=80&v=4"},"commit":{"message":"[RefC] Suppress arglist wrapper (#3177)\n\n* [RefC] Suppress code generation for unnecessary arglist wrappers.\r\n\r\n* [RefC] cleanup dead code of arglist.\r\n\r\n* Removed Value_Arglist to reduce Closure's allocation overhead.\r\n\r\n* fix linter error\r\n\r\n* [RefC] make trampoline() safety.\r\n\r\n* [RefC] cleanup cStatementsFromANF to keep code simple.\r\n\r\n* fix linter error\r\n\r\n* fix linter error\r\n\r\n* In another time, another galaxy. THE LINTER INVADORS conquaer the all humanity and make them slaves. Under 2024, a only leaved job for every humans is adjusting spaces of source code, or just type gg0vG$== in vim.\r\n\r\n* [ test ] update golden value\r\n\r\n* added supports 32 params on closure.\r\n\r\n* [RefC] [Cleanup] removing duplicate codes.\r\n\r\n* [RefC] Switch calling conventions based on the number of arguments to avoid limits on the number of arguments and to reduce stack usage.\r\n\r\n* [RefC] Argument that are too large are placed on the heap, as are closures.\r\n\r\n* [RefC] use idris2_malloc instead of malloc.\r\n\r\n* [RefC] [Cleanup] Keep pure things pure.\r\n\r\n* [RefC] Mapped some special constructors to NULL. This reduces malloc cost and generates simpler code in ConCase. But not work yet.\r\n\r\n* [RefC] fix merge failure.\r\n\r\n* [RefC] stringOps.c replace  NULL for NIL.\r\n\r\n* [RefC] cleanup\r\n\r\n* [RefC] ConstCase now generate simple if-then statements instead of using helpers. This reduces malloc/free costs.\r\n\r\n* fix indentation\r\n\r\n* fix whitespaces\r\n\r\n* [RefC] The name field in Value_Constructor was restored for tycon. But changed to static const*. Hopefully the C compiler will remove the common string constants. The smartest thing to do would be to create a dummy global variable and use its address as a tag, but that would depend on the C compiler to resolve conflicts.\r\n\r\n* [refc] a big changes of the space\r\n\r\n* [RefC] Little tricks to reduce temporary variables\r\n\r\n* spaces\r\n\r\n* [RefC] fix compiler warnings\r\n\r\n* [RefC] [test]  Perform memory leak analysis, if valgrind is installed.\r\n\r\n* [RefC] Fix invalid memory read. Fix C compiler warnings.\r\n\r\n* [RefC] Fix invalid memory read of strSubstr. [test] Perform memory leak analysis, if valgrind is installed.\r\n\r\n* [test] fix junk line\r\n\r\n* linter\r\n\r\n* linter\r\n\r\n* linter\r\n\r\n* linter\r\n\r\n* [RefC] merge with erase_trivial_constuctors\r\n\r\n* merge w/ erase_trivial_constructors\r\n\r\n* Revert \"merge w/ erase_trivial_constructors\"\r\n\r\nThis reverts commit be593a3715eff27c672dde7b85a4e9fabd80d6e2.\r\n\r\n* Revert \"[RefC] merge with erase_trivial_constuctors\"\r\n\r\nThis reverts commit 3c21eb45d8eab8730589a0632c3e767e2992265c.\r\n\r\n* merge w/ upstream/main\r\n\r\n* fix merge failure\r\n\r\n* rename\r\n\r\n* fix renaming\r\n\r\n* [RefC] fix merge fail\r\n\r\n* [RefC] renamed C functions for safty.\r\n\r\n* [RefC] cleanup\r\n\r\n* [RefC] Fix constructor tag of UnconsResult.CHARACTER.\r\n\r\n---------\r\n\r\nCo-authored-by: Mathew Polzin <matt.polzin@gmail.com>\r\nCo-authored-by: Guillaume Allais <guillaume.allais@ens-lyon.org>","shortMessageHtmlLink":"[RefC] Suppress arglist wrapper (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2059044044\" data-permission-text=\"Title is private\" data-url=\"https://github.com/idris-lang/Idris2/issues/3177\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/idris-lang/Idris2/pull/3177/hovercard\" href=\"https://github.com/idris-lang/Idris2/pull/3177\">#3177</a>)"}},{"before":"b690dc15d53c0dfc4baf735c0a52d30424c32356","after":"4799d289b8621caa27fa30824bfc7a786fad8969","ref":"refs/heads/main","pushedAt":"2024-04-12T23:12:51.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"andrevidela","name":"André Videla","path":"/andrevidela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/25706208?s=80&v=4"},"commit":{"message":"Merge pull request #3255 from foxyseta/patch-1\n\ndoc: typos in \"Types and Functions\"","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2241028719\" data-permission-text=\"Title is private\" data-url=\"https://github.com/idris-lang/Idris2/issues/3255\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/idris-lang/Idris2/pull/3255/hovercard\" href=\"https://github.com/idris-lang/Idris2/pull/3255\">#3255</a> from foxyseta/patch-1"}},{"before":"d6addbcf00d1636fb896445c060eb11767b69c33","after":"edfb72a4aa8f8b006ec6714ca065151ce2a6dea3","ref":"refs/heads/gh-pages","pushedAt":"2024-04-04T16:45:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploying to gh-pages from @ idris-lang/Idris2@b690dc15d53c0dfc4baf735c0a52d30424c32356 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/idris-lang/Idris2/commit/b690dc15d53c0dfc4baf735c0a52d30424c32356/hovercard\" href=\"https://github.com/idris-lang/Idris2/commit/b690dc15d53c0dfc4baf735c0a52d30424c32356\"><tt>b690dc1</tt></a> 🚀"}},{"before":"2823281af663f506b5de2eceee8f29a0ee9058c9","after":"b690dc15d53c0dfc4baf735c0a52d30424c32356","ref":"refs/heads/main","pushedAt":"2024-04-04T16:20:48.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"andrevidela","name":"André Videla","path":"/andrevidela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/25706208?s=80&v=4"},"commit":{"message":"Merge pull request #3250 from andrevidela/fix-3249\n\nfix printing of backticked expressions","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2225777379\" data-permission-text=\"Title is private\" data-url=\"https://github.com/idris-lang/Idris2/issues/3250\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/idris-lang/Idris2/pull/3250/hovercard\" href=\"https://github.com/idris-lang/Idris2/pull/3250\">#3250</a> from andrevidela/fix-3249"}},{"before":"3cd761898e0466edc3645eebf6170824cd8204da","after":"d6addbcf00d1636fb896445c060eb11767b69c33","ref":"refs/heads/gh-pages","pushedAt":"2024-04-04T11:16:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploying to gh-pages from @ idris-lang/Idris2@2823281af663f506b5de2eceee8f29a0ee9058c9 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/idris-lang/Idris2/commit/2823281af663f506b5de2eceee8f29a0ee9058c9/hovercard\" href=\"https://github.com/idris-lang/Idris2/commit/2823281af663f506b5de2eceee8f29a0ee9058c9\"><tt>2823281</tt></a> 🚀"}},{"before":"fee293b5753d0a95b9b32e6a0b2cb5fa76f953fa","after":"2823281af663f506b5de2eceee8f29a0ee9058c9","ref":"refs/heads/main","pushedAt":"2024-04-04T10:53:11.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"gallais","name":"G. Allais","path":"/gallais","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1094905?s=80&v=4"},"commit":{"message":"Add partiality/delay monad (#3240)","shortMessageHtmlLink":"Add partiality/delay monad (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2211857957\" data-permission-text=\"Title is private\" data-url=\"https://github.com/idris-lang/Idris2/issues/3240\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/idris-lang/Idris2/pull/3240/hovercard\" href=\"https://github.com/idris-lang/Idris2/pull/3240\">#3240</a>)"}},{"before":"11ef24bc9fd7e8a696a93e1d2c576b57dc029af3","after":"3cd761898e0466edc3645eebf6170824cd8204da","ref":"refs/heads/gh-pages","pushedAt":"2024-04-03T16:46:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploying to gh-pages from @ idris-lang/Idris2@fee293b5753d0a95b9b32e6a0b2cb5fa76f953fa 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/idris-lang/Idris2/commit/fee293b5753d0a95b9b32e6a0b2cb5fa76f953fa/hovercard\" href=\"https://github.com/idris-lang/Idris2/commit/fee293b5753d0a95b9b32e6a0b2cb5fa76f953fa\"><tt>fee293b</tt></a> 🚀"}},{"before":"75032a7164ce1a55026264761673ea76c2f51173","after":"fee293b5753d0a95b9b32e6a0b2cb5fa76f953fa","ref":"refs/heads/main","pushedAt":"2024-04-03T16:22:20.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"gallais","name":"G. Allais","path":"/gallais","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1094905?s=80&v=4"},"commit":{"message":"[ re #3177 ] Separate the renaming from the rest (#3248)","shortMessageHtmlLink":"[ re <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2059044044\" data-permission-text=\"Title is private\" data-url=\"https://github.com/idris-lang/Idris2/issues/3177\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/idris-lang/Idris2/pull/3177/hovercard\" href=\"https://github.com/idris-lang/Idris2/pull/3177\">#3177</a> ] Separate the renaming from the rest (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2223128427\" data-permission-text=\"Title is private\" data-url=\"https://github.com/idris-lang/Idris2/issues/3248\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/idris-lang/Idris2/pull/3248/hovercard\" href=\"https://github.com/idris-lang/Idris2/pull/3248\">#3248</a>)"}},{"before":"782ec3f72b05d86e2acbb702483c0f1578727561","after":"11ef24bc9fd7e8a696a93e1d2c576b57dc029af3","ref":"refs/heads/gh-pages","pushedAt":"2024-04-03T15:04:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploying to gh-pages from @ idris-lang/Idris2@75032a7164ce1a55026264761673ea76c2f51173 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/idris-lang/Idris2/commit/75032a7164ce1a55026264761673ea76c2f51173/hovercard\" href=\"https://github.com/idris-lang/Idris2/commit/75032a7164ce1a55026264761673ea76c2f51173\"><tt>75032a7</tt></a> 🚀"}},{"before":"aa3f67cd1153be701606405fa6d59dd5d7f957c7","after":"75032a7164ce1a55026264761673ea76c2f51173","ref":"refs/heads/main","pushedAt":"2024-04-03T14:41:57.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"gallais","name":"G. Allais","path":"/gallais","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1094905?s=80&v=4"},"commit":{"message":"Emit warning for fixities with no export modifiers (#3234)\n\n* Emit warning for fixities with no export modifiers\r\n\r\nThis is to help update all the existing code to program with explicit\r\nfixity export directives in preparation for the behavioral change where\r\nthey will become private by default.","shortMessageHtmlLink":"Emit warning for fixities with no export modifiers (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2189559279\" data-permission-text=\"Title is private\" data-url=\"https://github.com/idris-lang/Idris2/issues/3234\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/idris-lang/Idris2/pull/3234/hovercard\" href=\"https://github.com/idris-lang/Idris2/pull/3234\">#3234</a>)"}},{"before":"4688dbb029e023f4d2d966110cb28bb94c994953","after":"782ec3f72b05d86e2acbb702483c0f1578727561","ref":"refs/heads/gh-pages","pushedAt":"2024-04-02T01:33:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploying to gh-pages from @ idris-lang/Idris2@aa3f67cd1153be701606405fa6d59dd5d7f957c7 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/idris-lang/Idris2/commit/aa3f67cd1153be701606405fa6d59dd5d7f957c7/hovercard\" href=\"https://github.com/idris-lang/Idris2/commit/aa3f67cd1153be701606405fa6d59dd5d7f957c7\"><tt>aa3f67c</tt></a> 🚀"}},{"before":"1977dbd6403eee481dfa6495558d7557e94e5fac","after":"aa3f67cd1153be701606405fa6d59dd5d7f957c7","ref":"refs/heads/main","pushedAt":"2024-04-02T01:09:38.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"mattpolzin","name":"Mathew Polzin","path":"/mattpolzin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2075353?s=80&v=4"},"commit":{"message":"fix macos-nix build where refc support files don't build under default environment anymore (#3246)","shortMessageHtmlLink":"fix macos-nix build where refc support files don't build under defaul…"}},{"before":"07f1e356900d7fa4cdee0ce7681be7ddacabf716","after":"4688dbb029e023f4d2d966110cb28bb94c994953","ref":"refs/heads/gh-pages","pushedAt":"2024-04-01T15:24:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploying to gh-pages from @ idris-lang/Idris2@1977dbd6403eee481dfa6495558d7557e94e5fac 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/idris-lang/Idris2/commit/1977dbd6403eee481dfa6495558d7557e94e5fac/hovercard\" href=\"https://github.com/idris-lang/Idris2/commit/1977dbd6403eee481dfa6495558d7557e94e5fac\"><tt>1977dbd</tt></a> 🚀"}},{"before":"2c2aa85048b7b41881a6aab65ee0b4826f639a6b","after":"1977dbd6403eee481dfa6495558d7557e94e5fac","ref":"refs/heads/main","pushedAt":"2024-04-01T15:00:10.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"mattpolzin","name":"Mathew Polzin","path":"/mattpolzin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2075353?s=80&v=4"},"commit":{"message":"better nix-shell support via shellHook (#3243)","shortMessageHtmlLink":"better nix-shell support via shellHook (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2218336038\" data-permission-text=\"Title is private\" data-url=\"https://github.com/idris-lang/Idris2/issues/3243\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/idris-lang/Idris2/pull/3243/hovercard\" href=\"https://github.com/idris-lang/Idris2/pull/3243\">#3243</a>)"}},{"before":"8d4c1ffcf8c511ebbf0bdd6cb1598b292f4b7d26","after":"07f1e356900d7fa4cdee0ce7681be7ddacabf716","ref":"refs/heads/gh-pages","pushedAt":"2024-03-27T14:32:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploying to gh-pages from @ idris-lang/Idris2@2c2aa85048b7b41881a6aab65ee0b4826f639a6b 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/idris-lang/Idris2/commit/2c2aa85048b7b41881a6aab65ee0b4826f639a6b/hovercard\" href=\"https://github.com/idris-lang/Idris2/commit/2c2aa85048b7b41881a6aab65ee0b4826f639a6b\"><tt>2c2aa85</tt></a> 🚀"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEThsvgAA","startCursor":null,"endCursor":null}},"title":"Activity · idris-lang/Idris2"}