{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":694197912,"defaultBranch":"main","name":"Idris2","ownerLogin":"AntonPing","currentUserCanPush":false,"isFork":true,"isEmpty":false,"createdAt":"2023-09-20T14:15:35.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/46017366?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1714662219.0","currentOid":""},"activityList":{"items":[{"before":"68389d03be08b7bcf221897b5e0f73e97323e956","after":"42549de5a220a3a43c040a82591bae9f1aff591e","ref":"refs/heads/tcinline-fuel","pushedAt":"2024-06-06T17:56:33.000Z","pushType":"push","commitsCount":24,"pusher":{"login":"AntonPing","name":"Anton Ping","path":"/AntonPing","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/46017366?s=80&v=4"},"commit":{"message":"Merge branch 'main' into tcinline-fuel","shortMessageHtmlLink":"Merge branch 'main' into tcinline-fuel"}},{"before":"edf1ee8ba5bbeb328612a9db48808f3b01828179","after":"68389d03be08b7bcf221897b5e0f73e97323e956","ref":"refs/heads/tcinline-fuel","pushedAt":"2024-05-02T15:14:38.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"AntonPing","name":"Anton Ping","path":"/AntonPing","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/46017366?s=80&v=4"},"commit":{"message":"modify CONTRIBUTOR.md","shortMessageHtmlLink":"modify CONTRIBUTOR.md"}},{"before":null,"after":"edf1ee8ba5bbeb328612a9db48808f3b01828179","ref":"refs/heads/tcinline-fuel","pushedAt":"2024-05-02T15:03:39.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"AntonPing","name":"Anton Ping","path":"/AntonPing","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/46017366?s=80&v=4"},"commit":{"message":"modify CONTRIBUTOR.md","shortMessageHtmlLink":"modify CONTRIBUTOR.md"}},{"before":"517b2832efbef6ff667a140296ab947c0b3eca35","after":"5d04f89c7b42afba384d19108b5e0cdaee99a224","ref":"refs/heads/main","pushedAt":"2024-05-02T13:29:19.000Z","pushType":"push","commitsCount":14,"pusher":{"login":"AntonPing","name":"Anton Ping","path":"/AntonPing","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/46017366?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\">idris-lang#3270</a> from dunhamsteve/impossible-lam"}},{"before":"517b2832efbef6ff667a140296ab947c0b3eca35","after":null,"ref":"refs/heads/call-graph-loop","pushedAt":"2024-05-02T13:21:22.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"AntonPing","name":"Anton Ping","path":"/AntonPing","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/46017366?s=80&v=4"}},{"before":null,"after":"517b2832efbef6ff667a140296ab947c0b3eca35","ref":"refs/heads/call-graph-loop","pushedAt":"2024-04-22T11:52:28.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"AntonPing","name":"Anton Ping","path":"/AntonPing","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/46017366?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\">idris-lang#3265</a> from andrevidela/fix-fixity-warning"}},{"before":"1dc7b74e4e4b869ef46f73c0f52cadecc88e6f6d","after":"517b2832efbef6ff667a140296ab947c0b3eca35","ref":"refs/heads/main","pushedAt":"2024-04-22T11:09:16.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"AntonPing","name":"Anton Ping","path":"/AntonPing","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/46017366?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\">idris-lang#3265</a> from andrevidela/fix-fixity-warning"}},{"before":null,"after":"1dc7b74e4e4b869ef46f73c0f52cadecc88e6f6d","ref":"refs/heads/magic100","pushedAt":"2024-04-20T13:09:35.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"AntonPing","name":"Anton Ping","path":"/AntonPing","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/46017366?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\">idris-lang#3177</a>)"}},{"before":"1dc7b74e4e4b869ef46f73c0f52cadecc88e6f6d","after":null,"ref":"refs/heads/main-upstream","pushedAt":"2024-04-20T12:41:05.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"AntonPing","name":"Anton Ping","path":"/AntonPing","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/46017366?s=80&v=4"}},{"before":null,"after":"1dc7b74e4e4b869ef46f73c0f52cadecc88e6f6d","ref":"refs/heads/main","pushedAt":"2024-04-20T12:41:04.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"AntonPing","name":"Anton Ping","path":"/AntonPing","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/46017366?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\">idris-lang#3177</a>)"}},{"before":"5e08a545522e69bf39b392aa14d46ae56a7e5dcd","after":null,"ref":"refs/heads/main","pushedAt":"2024-04-20T12:40:54.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"AntonPing","name":"Anton Ping","path":"/AntonPing","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/46017366?s=80&v=4"}},{"before":null,"after":"1dc7b74e4e4b869ef46f73c0f52cadecc88e6f6d","ref":"refs/heads/main-upstream","pushedAt":"2024-04-20T12:39:23.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"AntonPing","name":"Anton Ping","path":"/AntonPing","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/46017366?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\">idris-lang#3177</a>)"}},{"before":null,"after":"5e08a545522e69bf39b392aa14d46ae56a7e5dcd","ref":"refs/heads/fix","pushedAt":"2024-04-20T10:02:23.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"AntonPing","name":"Anton Ping","path":"/AntonPing","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/46017366?s=80&v=4"},"commit":{"message":"modify CONTRIBUTOR.md","shortMessageHtmlLink":"modify CONTRIBUTOR.md"}},{"before":"5e08a545522e69bf39b392aa14d46ae56a7e5dcd","after":"8a4f69245a4578600ce76b3246eeafffe9504a4f","ref":"refs/heads/fuel","pushedAt":"2024-04-15T17:42:00.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"AntonPing","name":"Anton Ping","path":"/AntonPing","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/46017366?s=80&v=4"},"commit":{"message":"add tests TcInlineFuel","shortMessageHtmlLink":"add tests TcInlineFuel"}},{"before":null,"after":"5e08a545522e69bf39b392aa14d46ae56a7e5dcd","ref":"refs/heads/fuel","pushedAt":"2024-04-15T13:43:44.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"AntonPing","name":"Anton Ping","path":"/AntonPing","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/46017366?s=80&v=4"},"commit":{"message":"modify CONTRIBUTOR.md","shortMessageHtmlLink":"modify CONTRIBUTOR.md"}},{"before":"2b989a2e4c08bdfe13ec188cc759d54857386758","after":"5e08a545522e69bf39b392aa14d46ae56a7e5dcd","ref":"refs/heads/main","pushedAt":"2024-04-15T12:30:36.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"AntonPing","name":"Anton Ping","path":"/AntonPing","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/46017366?s=80&v=4"},"commit":{"message":"modify CONTRIBUTOR.md","shortMessageHtmlLink":"modify CONTRIBUTOR.md"}},{"before":"171bc03dca2cec11f777df77417715d039906c56","after":"2b989a2e4c08bdfe13ec188cc759d54857386758","ref":"refs/heads/main","pushedAt":"2024-04-15T12:29:18.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"AntonPing","name":"Anton Ping","path":"/AntonPing","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/46017366?s=80&v=4"},"commit":{"message":"modify CONTRIBUTOR.md","shortMessageHtmlLink":"modify CONTRIBUTOR.md"}},{"before":"0b9c1a6e26310b59d2873b28b924adf7ffa6ce85","after":"171bc03dca2cec11f777df77417715d039906c56","ref":"refs/heads/main","pushedAt":"2024-04-15T12:09:24.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"AntonPing","name":"Anton Ping","path":"/AntonPing","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/46017366?s=80&v=4"},"commit":{"message":"uncomment %tcinline","shortMessageHtmlLink":"uncomment %tcinline"}},{"before":"dc5a0adc393d8075ea329a1c7e31620d822f795b","after":"0b9c1a6e26310b59d2873b28b924adf7ffa6ce85","ref":"refs/heads/main","pushedAt":"2024-04-15T12:08:11.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"AntonPing","name":"Anton Ping","path":"/AntonPing","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/46017366?s=80&v=4"},"commit":{"message":"uncomment %tcinline","shortMessageHtmlLink":"uncomment %tcinline"}},{"before":"7042b6b6d7c0650f731cf2816612067086d96caf","after":"dc5a0adc393d8075ea329a1c7e31620d822f795b","ref":"refs/heads/main","pushedAt":"2024-04-11T07:23:20.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"AntonPing","name":"Anton Ping","path":"/AntonPing","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/46017366?s=80&v=4"},"commit":{"message":"try to fix it better","shortMessageHtmlLink":"try to fix it better"}},{"before":null,"after":"7042b6b6d7c0650f731cf2816612067086d96caf","ref":"refs/heads/anton-old","pushedAt":"2024-04-09T14:43:17.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"AntonPing","name":"Anton Ping","path":"/AntonPing","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/46017366?s=80&v=4"},"commit":{"message":"use `reduceLimit` to avoid loop","shortMessageHtmlLink":"use <code>reduceLimit</code> to avoid loop"}},{"before":"1827336b05802e9aa0f5054d99cb83629017d73c","after":"7042b6b6d7c0650f731cf2816612067086d96caf","ref":"refs/heads/main","pushedAt":"2024-04-09T11:56:37.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"AntonPing","name":"Anton Ping","path":"/AntonPing","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/46017366?s=80&v=4"},"commit":{"message":"use `reduceLimit` to avoid loop","shortMessageHtmlLink":"use <code>reduceLimit</code> to avoid loop"}},{"before":"954c702754177f5ef3cee241bbc8bff277cc80d8","after":"1827336b05802e9aa0f5054d99cb83629017d73c","ref":"refs/heads/main","pushedAt":"2023-11-14T06:40:16.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"AntonPing","name":"Anton Ping","path":"/AntonPing","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/46017366?s=80&v=4"},"commit":{"message":"use `reduceLimit` to avoid loop","shortMessageHtmlLink":"use <code>reduceLimit</code> to avoid loop"}},{"before":"e98f429045c40e636d539b17e7f65753c1aedd54","after":"954c702754177f5ef3cee241bbc8bff277cc80d8","ref":"refs/heads/main","pushedAt":"2023-11-07T11:39:50.000Z","pushType":"push","commitsCount":26,"pusher":{"login":"AntonPing","name":"Anton Ping","path":"/AntonPing","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/46017366?s=80&v=4"},"commit":{"message":"Merge remote-tracking branch 'upstream/main'","shortMessageHtmlLink":"Merge remote-tracking branch 'upstream/main'"}},{"before":"7b0a1b40132abc00f150bd8594eed463ec784043","after":"e98f429045c40e636d539b17e7f65753c1aedd54","ref":"refs/heads/main","pushedAt":"2023-11-01T09:48:12.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"AntonPing","name":"Anton Ping","path":"/AntonPing","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/46017366?s=80&v=4"},"commit":{"message":"try debug","shortMessageHtmlLink":"try debug"}},{"before":"8b8f14f3eb259b5a9493203a030081cf65f4e6ca","after":"7b0a1b40132abc00f150bd8594eed463ec784043","ref":"refs/heads/main","pushedAt":"2023-10-31T15:52:20.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"AntonPing","name":"Anton Ping","path":"/AntonPing","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/46017366?s=80&v=4"},"commit":{"message":"Update ffi.rst","shortMessageHtmlLink":"Update ffi.rst"}},{"before":"462084577a02816089ff83070bc189acb08f5416","after":"8b8f14f3eb259b5a9493203a030081cf65f4e6ca","ref":"refs/heads/main","pushedAt":"2023-10-17T02:28:11.000Z","pushType":"push","commitsCount":21,"pusher":{"login":"AntonPing","name":"Anton Ping","path":"/AntonPing","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/46017366?s=80&v=4"},"commit":{"message":"Merge branch 'idris-lang:main' into main","shortMessageHtmlLink":"Merge branch 'idris-lang:main' into main"}},{"before":"462084577a02816089ff83070bc189acb08f5416","after":null,"ref":"refs/heads/issue-2995","pushedAt":"2023-10-16T18:49:07.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"AntonPing","name":"Anton Ping","path":"/AntonPing","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/46017366?s=80&v=4"}},{"before":null,"after":"462084577a02816089ff83070bc189acb08f5416","ref":"refs/heads/issue-2995","pushedAt":"2023-10-16T18:43:12.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"AntonPing","name":"Anton Ping","path":"/AntonPing","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/46017366?s=80&v=4"},"commit":{"message":"debug try","shortMessageHtmlLink":"debug try"}},{"before":"4cf41d5a4a204394a489b4bf5e611ad7db1d8b30","after":"462084577a02816089ff83070bc189acb08f5416","ref":"refs/heads/main","pushedAt":"2023-10-01T15:33:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"AntonPing","name":"Anton Ping","path":"/AntonPing","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/46017366?s=80&v=4"},"commit":{"message":"debug try","shortMessageHtmlLink":"debug try"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEXnrLYAA","startCursor":null,"endCursor":null}},"title":"Activity · AntonPing/Idris2"}