{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":260735576,"defaultBranch":"master","name":"alectryon","ownerLogin":"cpitclaudel","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2020-05-02T17:08:41.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/8181630?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1699596890.0","currentOid":""},"activityList":{"items":[{"before":"2a544230290be6dd84f0ce736e86f8a071d70739","after":"ea34497a9f246b456552340b3fdab293794b6c48","ref":"refs/heads/master","pushedAt":"2024-09-14T16:30:09.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"cpitclaudel","name":"Clément Pit-Claudel","path":"/cpitclaudel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8181630?s=80&v=4"},"commit":{"message":"lean4: Propagate the lakefile (#98)\n\n* (bug: lean4.py): Propagate the lakefile\r\n\r\nThe lakefile path was not propagated to the Lean4 driver. As Lean recently changed their lakefile format from .lean to .toml, it can cause Alectryon + LeanInk to fail on any recent Lean4 project.","shortMessageHtmlLink":"lean4: Propagate the lakefile (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2438079721\" data-permission-text=\"Title is private\" data-url=\"https://github.com/cpitclaudel/alectryon/issues/98\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/cpitclaudel/alectryon/pull/98/hovercard\" href=\"https://github.com/cpitclaudel/alectryon/pull/98\">#98</a>)"}},{"before":"b3fc7d9af4c74158e15d9a57c620734f52ee81b0","after":"a2ed2d69236dc41a7ab0fa68b285032535793354","ref":"refs/heads/next","pushedAt":"2024-08-21T17:19:54.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"cpitclaudel","name":"Clément Pit-Claudel","path":"/cpitclaudel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8181630?s=80&v=4"},"commit":{"message":"wip: Pacify pyright","shortMessageHtmlLink":"wip: Pacify pyright"}},{"before":"22c0b590d7135625d4fe1bbddd947090f3e20ddd","after":"2a544230290be6dd84f0ce736e86f8a071d70739","ref":"refs/heads/master","pushedAt":"2024-07-30T06:36:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"cpitclaudel","name":"Clément Pit-Claudel","path":"/cpitclaudel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8181630?s=80&v=4"},"commit":{"message":"readme: Highlight recipe headers consistently","shortMessageHtmlLink":"readme: Highlight recipe headers consistently"}},{"before":"88c670e4f842ae015c960021a1ebc3c35c8e80d9","after":"b3fc7d9af4c74158e15d9a57c620734f52ee81b0","ref":"refs/heads/next","pushedAt":"2024-07-30T06:34:20.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"cpitclaudel","name":"Clément Pit-Claudel","path":"/cpitclaudel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8181630?s=80&v=4"},"commit":{"message":"build: Add requirements for development packages","shortMessageHtmlLink":"build: Add requirements for development packages"}},{"before":"c5e13b31faae7e04a72b1477a303b75fbf55b0a4","after":"88c670e4f842ae015c960021a1ebc3c35c8e80d9","ref":"refs/heads/next","pushedAt":"2024-07-29T05:25:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"cpitclaudel","name":"Clément Pit-Claudel","path":"/cpitclaudel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8181630?s=80&v=4"},"commit":{"message":"wip: Pacify mypy","shortMessageHtmlLink":"wip: Pacify mypy"}},{"before":"78648f4f015bc6c5853149e1fcea75a38dd976ce","after":"c5e13b31faae7e04a72b1477a303b75fbf55b0a4","ref":"refs/heads/next","pushedAt":"2024-07-28T01:38:47.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"cpitclaudel","name":"Clément Pit-Claudel","path":"/cpitclaudel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8181630?s=80&v=4"},"commit":{"message":"all: Pacify pylint","shortMessageHtmlLink":"all: Pacify pylint"}},{"before":"90e2080cb39fb380d927b497583e335dfdefb4b6","after":"22c0b590d7135625d4fe1bbddd947090f3e20ddd","ref":"refs/heads/master","pushedAt":"2024-07-28T01:05:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"cpitclaudel","name":"Clément Pit-Claudel","path":"/cpitclaudel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8181630?s=80&v=4"},"commit":{"message":"recipes: Remove .version-info","shortMessageHtmlLink":"recipes: Remove .version-info"}},{"before":"41a13993f5fd20f0310e10577d3b89cd8f00d48d","after":"90e2080cb39fb380d927b497583e335dfdefb4b6","ref":"refs/heads/master","pushedAt":"2024-07-28T01:00:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"cpitclaudel","name":"Clément Pit-Claudel","path":"/cpitclaudel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8181630?s=80&v=4"},"commit":{"message":"recipes: Update test broken by switch to Coq 8.18","shortMessageHtmlLink":"recipes: Update test broken by switch to Coq 8.18"}},{"before":"476f8718610ace059c105ce73cc3676a853206d6","after":"78648f4f015bc6c5853149e1fcea75a38dd976ce","ref":"refs/heads/next","pushedAt":"2024-03-19T05:53:57.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"cpitclaudel","name":"Clément Pit-Claudel","path":"/cpitclaudel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8181630?s=80&v=4"},"commit":{"message":"docutils: Improve the error message for unresolved `.io#…` names","shortMessageHtmlLink":"docutils: Improve the error message for unresolved <code>.io#…</code> names"}},{"before":"d4cab7f0444b333d47f636812e8c95fab4a77807","after":"476f8718610ace059c105ce73cc3676a853206d6","ref":"refs/heads/next","pushedAt":"2024-03-19T05:49:46.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"cpitclaudel","name":"Clément Pit-Claudel","path":"/cpitclaudel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8181630?s=80&v=4"},"commit":{"message":"docutils: Improve the error message for unresolved `.io#…` names","shortMessageHtmlLink":"docutils: Improve the error message for unresolved <code>.io#…</code> names"}},{"before":"4f972fb01030d23dde72f1b88fd6919672c532f1","after":"d4cab7f0444b333d47f636812e8c95fab4a77807","ref":"refs/heads/next","pushedAt":"2024-03-04T22:59:17.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"cpitclaudel","name":"Clément Pit-Claudel","path":"/cpitclaudel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8181630?s=80&v=4"},"commit":{"message":"css: Reset width and max-width of goal-separator <hr>","shortMessageHtmlLink":"css: Reset width and max-width of goal-separator &lt;hr&gt;"}},{"before":"78b73f78ba98f827f4b98b215db4a6add024b296","after":"4f972fb01030d23dde72f1b88fd6919672c532f1","ref":"refs/heads/next","pushedAt":"2024-03-04T01:20:17.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"cpitclaudel","name":"Clément Pit-Claudel","path":"/cpitclaudel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8181630?s=80&v=4"},"commit":{"message":"css: Reset width and max-width of goal-separator <hr>","shortMessageHtmlLink":"css: Reset width and max-width of goal-separator &lt;hr&gt;"}},{"before":"139037b9c91e5d9a83e87447da4c6fcfec9c7e02","after":"78b73f78ba98f827f4b98b215db4a6add024b296","ref":"refs/heads/next","pushedAt":"2024-03-04T00:03:39.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"cpitclaudel","name":"Clément Pit-Claudel","path":"/cpitclaudel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8181630?s=80&v=4"},"commit":{"message":"css: Reset width and max-width of goal-separator <hr>","shortMessageHtmlLink":"css: Reset width and max-width of goal-separator &lt;hr&gt;"}},{"before":"11e8cdc8395d66858baa7371b6cf8e827ca38f4a","after":"41a13993f5fd20f0310e10577d3b89cd8f00d48d","ref":"refs/heads/master","pushedAt":"2024-03-03T23:36:45.000Z","pushType":"push","commitsCount":9,"pusher":{"login":"cpitclaudel","name":"Clément Pit-Claudel","path":"/cpitclaudel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8181630?s=80&v=4"},"commit":{"message":"changes: Update list of supported dependencies","shortMessageHtmlLink":"changes: Update list of supported dependencies"}},{"before":"debff7b87e18e88ebb65dcf6b8917849c386fbd6","after":"139037b9c91e5d9a83e87447da4c6fcfec9c7e02","ref":"refs/heads/next","pushedAt":"2024-02-21T22:58:47.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"cpitclaudel","name":"Clément Pit-Claudel","path":"/cpitclaudel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8181630?s=80&v=4"},"commit":{"message":"css: Reset width and max-width of goal-separator <hr>","shortMessageHtmlLink":"css: Reset width and max-width of goal-separator &lt;hr&gt;"}},{"before":"01e2c1610c529b6fecd4ee5453d99f79d64cb8f9","after":"debff7b87e18e88ebb65dcf6b8917849c386fbd6","ref":"refs/heads/next","pushedAt":"2024-02-21T15:54:00.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"cpitclaudel","name":"Clément Pit-Claudel","path":"/cpitclaudel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8181630?s=80&v=4"},"commit":{"message":"elisp: Show full command line when conversion fails","shortMessageHtmlLink":"elisp: Show full command line when conversion fails"}},{"before":"8d5e45e4d71d259a05c2af8d6d540430d824e3d6","after":"01e2c1610c529b6fecd4ee5453d99f79d64cb8f9","ref":"refs/heads/next","pushedAt":"2023-11-12T10:20:40.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"cpitclaudel","name":"Clément Pit-Claudel","path":"/cpitclaudel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8181630?s=80&v=4"},"commit":{"message":"elisp: Make code and markup languages configurable","shortMessageHtmlLink":"elisp: Make code and markup languages configurable"}},{"before":"c7fd13fdd0191825872f232c66ba5bdc698328ed","after":null,"ref":"refs/heads/gh-60-coqc","pushedAt":"2023-11-10T06:14:50.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"cpitclaudel","name":"Clément Pit-Claudel","path":"/cpitclaudel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8181630?s=80&v=4"}},{"before":"8a1f3054c97fc86d628413800cfef75577c43485","after":"11e8cdc8395d66858baa7371b6cf8e827ca38f4a","ref":"refs/heads/master","pushedAt":"2023-05-07T15:37:37.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"cpitclaudel","name":"Clément Pit-Claudel","path":"/cpitclaudel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8181630?s=80&v=4"},"commit":{"message":"readme: Add Proofster to gallery","shortMessageHtmlLink":"readme: Add Proofster to gallery"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEtk7PAgA","startCursor":null,"endCursor":null}},"title":"Activity · cpitclaudel/alectryon"}