{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":648404146,"defaultBranch":"main","name":"arde","ownerLogin":"Jengamon","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-06-01T22:33:46.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/1479994?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1716218774.0","currentOid":""},"activityList":{"items":[{"before":null,"after":"f5d09a58ad0e2dbdf14ebae8e8abdd6a612982eb","ref":"refs/heads/next","pushedAt":"2024-05-20T15:26:14.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Jengamon","name":null,"path":"/Jengamon","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1479994?s=80&v=4"},"commit":{"message":"go next","shortMessageHtmlLink":"go next"}},{"before":"07a1dc1af40b9b1c9e11c997f74251122d0573d5","after":"e7a137e002b4d5b5a81c60b66b96359804f83640","ref":"refs/heads/main","pushedAt":"2023-08-27T17:53:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Jengamon","name":null,"path":"/Jengamon","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1479994?s=80&v=4"},"commit":{"message":"Build site in release mode","shortMessageHtmlLink":"Build site in release mode"}},{"before":"d1e41aee4007844321c85ce363ff5182e2d93215","after":"07a1dc1af40b9b1c9e11c997f74251122d0573d5","ref":"refs/heads/main","pushedAt":"2023-08-27T17:37:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Jengamon","name":null,"path":"/Jengamon","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1479994?s=80&v=4"},"commit":{"message":"Link to pages and more reasonable default","shortMessageHtmlLink":"Link to pages and more reasonable default"}},{"before":"ba906d67a20396ba00bd189dcaacd016522914e5","after":"d1e41aee4007844321c85ce363ff5182e2d93215","ref":"refs/heads/main","pushedAt":"2023-08-27T17:31:06.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Jengamon","name":null,"path":"/Jengamon","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1479994?s=80&v=4"},"commit":{"message":"Switch from tracing-wasm to tracing-web","shortMessageHtmlLink":"Switch from tracing-wasm to tracing-web"}},{"before":"66244e1d6957120fba64612c29a9171801e1df39","after":"ba906d67a20396ba00bd189dcaacd016522914e5","ref":"refs/heads/main","pushedAt":"2023-08-27T14:51:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Jengamon","name":null,"path":"/Jengamon","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1479994?s=80&v=4"},"commit":{"message":"move tracing noise to trace level","shortMessageHtmlLink":"move tracing noise to trace level"}},{"before":"84414bfada61cb5ccf5f85bf81d4d8d9e9650260","after":"66244e1d6957120fba64612c29a9171801e1df39","ref":"refs/heads/main","pushedAt":"2023-08-27T14:28:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Jengamon","name":null,"path":"/Jengamon","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1479994?s=80&v=4"},"commit":{"message":"simplify grammar","shortMessageHtmlLink":"simplify grammar"}},{"before":"27895efeb39d6b1922a005ca77137f7f49ea2b68","after":"84414bfada61cb5ccf5f85bf81d4d8d9e9650260","ref":"refs/heads/main","pushedAt":"2023-08-27T07:01:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Jengamon","name":null,"path":"/Jengamon","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1479994?s=80&v=4"},"commit":{"message":"notes about tracing and more logic bombs","shortMessageHtmlLink":"notes about tracing and more logic bombs"}},{"before":"73a1520131c8e368655de3cbc30051211816c74e","after":"27895efeb39d6b1922a005ca77137f7f49ea2b68","ref":"refs/heads/main","pushedAt":"2023-08-27T06:19:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Jengamon","name":null,"path":"/Jengamon","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1479994?s=80&v=4"},"commit":{"message":"correct grammar","shortMessageHtmlLink":"correct grammar"}},{"before":"af7cd23971ce9d2b77971dd221a39fa937d52157","after":"73a1520131c8e368655de3cbc30051211816c74e","ref":"refs/heads/main","pushedAt":"2023-08-27T05:57:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Jengamon","name":null,"path":"/Jengamon","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1479994?s=80&v=4"},"commit":{"message":"correct highlight","shortMessageHtmlLink":"correct highlight"}},{"before":"4e2ea083a5d16fd1f20cf8374562ad86ca304a96","after":"af7cd23971ce9d2b77971dd221a39fa937d52157","ref":"refs/heads/main","pushedAt":"2023-08-27T05:51:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Jengamon","name":null,"path":"/Jengamon","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1479994?s=80&v=4"},"commit":{"message":"Add intrinsics to syntax highlighting","shortMessageHtmlLink":"Add intrinsics to syntax highlighting"}},{"before":"7a34c11c6c5178629d927ba6f80fee921c666394","after":"4e2ea083a5d16fd1f20cf8374562ad86ca304a96","ref":"refs/heads/main","pushedAt":"2023-08-27T05:29:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Jengamon","name":null,"path":"/Jengamon","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1479994?s=80&v=4"},"commit":{"message":"Add tree-sitter and more permissive vars","shortMessageHtmlLink":"Add tree-sitter and more permissive vars"}},{"before":"e3a20a79dcb31078464ae2b5bf126286cc186fda","after":"7a34c11c6c5178629d927ba6f80fee921c666394","ref":"refs/heads/main","pushedAt":"2023-08-26T01:33:10.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"Jengamon","name":null,"path":"/Jengamon","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1479994?s=80&v=4"},"commit":{"message":"Move site to new parser","shortMessageHtmlLink":"Move site to new parser"}},{"before":"c74736499acc383fa4ba97f11c1c5931010e3e39","after":"e3a20a79dcb31078464ae2b5bf126286cc186fda","ref":"refs/heads/main","pushedAt":"2023-08-24T05:58:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Jengamon","name":null,"path":"/Jengamon","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1479994?s=80&v=4"},"commit":{"message":"Remove lib decl as unnecessary","shortMessageHtmlLink":"Remove lib decl as unnecessary"}},{"before":"a4d54097ca13d40f23b2e87fe179a24aa9a13ef2","after":"c74736499acc383fa4ba97f11c1c5931010e3e39","ref":"refs/heads/main","pushedAt":"2023-08-23T22:33:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Jengamon","name":null,"path":"/Jengamon","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1479994?s=80&v=4"},"commit":{"message":"Add new test","shortMessageHtmlLink":"Add new test"}},{"before":"0ce07ac85a8758fda3a39ecf90168d96c0e7788f","after":"a4d54097ca13d40f23b2e87fe179a24aa9a13ef2","ref":"refs/heads/main","pushedAt":"2023-08-23T22:16:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Jengamon","name":null,"path":"/Jengamon","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1479994?s=80&v=4"},"commit":{"message":"Add @possible_type to stdlib, so that x(X):-@type(3, X). works","shortMessageHtmlLink":"Add @possible_type to stdlib, so that x(X):-<a class=\"user-mention notranslate\" data-hovercard-type=\"user\" data-hovercard-url=\"/users/type/hovercard\" data-octo-click=\"hovercard-link-click\" data-octo-dimensions=\"link_type:self\" href=\"https://github.com/type\">@type</a>(3, X). works"}},{"before":"08df6e4d752301ec65571f282b9701991aa8a474","after":"0ce07ac85a8758fda3a39ecf90168d96c0e7788f","ref":"refs/heads/main","pushedAt":"2023-08-23T21:12:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Jengamon","name":null,"path":"/Jengamon","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1479994?s=80&v=4"},"commit":{"message":"Allow stdlib online","shortMessageHtmlLink":"Allow stdlib online"}},{"before":"a7318db32d7665a256a5e8d91d7010c3f13b5071","after":"08df6e4d752301ec65571f282b9701991aa8a474","ref":"refs/heads/main","pushedAt":"2023-08-21T22:39:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Jengamon","name":null,"path":"/Jengamon","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1479994?s=80&v=4"},"commit":{"message":"Allow for EOF comments","shortMessageHtmlLink":"Allow for EOF comments"}},{"before":"056613a8c95f244209d2187de4b7a2ac5217d193","after":"a7318db32d7665a256a5e8d91d7010c3f13b5071","ref":"refs/heads/main","pushedAt":"2023-08-21T13:05:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Jengamon","name":null,"path":"/Jengamon","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1479994?s=80&v=4"},"commit":{"message":"update criterion","shortMessageHtmlLink":"update criterion"}},{"before":"d456d29e3b0307c418199c0b21f9f3cbeafd557c","after":"056613a8c95f244209d2187de4b7a2ac5217d193","ref":"refs/heads/main","pushedAt":"2023-08-20T00:19:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Jengamon","name":null,"path":"/Jengamon","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1479994?s=80&v=4"},"commit":{"message":"found actual problem","shortMessageHtmlLink":"found actual problem"}},{"before":"ba55e02874bce70ea1f634a9a303b11196d61059","after":"d456d29e3b0307c418199c0b21f9f3cbeafd557c","ref":"refs/heads/main","pushedAt":"2023-08-19T21:52:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Jengamon","name":null,"path":"/Jengamon","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1479994?s=80&v=4"},"commit":{"message":"Deprecate nonasync solver","shortMessageHtmlLink":"Deprecate nonasync solver"}},{"before":"fa343da269f2344123fe3a81c93ba19440e408c1","after":"ba55e02874bce70ea1f634a9a303b11196d61059","ref":"refs/heads/main","pushedAt":"2023-08-19T21:40:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Jengamon","name":null,"path":"/Jengamon","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1479994?s=80&v=4"},"commit":{"message":"Shortcut (prove direct positive statements)","shortMessageHtmlLink":"Shortcut (prove direct positive statements)"}},{"before":"2a411cf8f8eb49fecdb4cd1c946856f4dd7ab2ad","after":"fa343da269f2344123fe3a81c93ba19440e408c1","ref":"refs/heads/main","pushedAt":"2023-08-19T21:09:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Jengamon","name":null,"path":"/Jengamon","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1479994?s=80&v=4"},"commit":{"message":"Fix faulty proof","shortMessageHtmlLink":"Fix faulty proof"}},{"before":"000489287be6c3d11d73a3c792ba7dfc885aed08","after":"2a411cf8f8eb49fecdb4cd1c946856f4dd7ab2ad","ref":"refs/heads/main","pushedAt":"2023-08-19T20:29:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Jengamon","name":null,"path":"/Jengamon","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1479994?s=80&v=4"},"commit":{"message":"Make tracing less errorfull","shortMessageHtmlLink":"Make tracing less errorfull"}},{"before":"7b00e546a8726ab249d95b5076ff7ad86c90ab60","after":"000489287be6c3d11d73a3c792ba7dfc885aed08","ref":"refs/heads/main","pushedAt":"2023-08-19T18:32:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Jengamon","name":null,"path":"/Jengamon","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1479994?s=80&v=4"},"commit":{"message":"Clippy and don't print","shortMessageHtmlLink":"Clippy and don't print"}},{"before":"f00a7a57261704679d7ac54852f0b067f208aa6b","after":"7b00e546a8726ab249d95b5076ff7ad86c90ab60","ref":"refs/heads/main","pushedAt":"2023-08-19T18:18:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Jengamon","name":null,"path":"/Jengamon","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1479994?s=80&v=4"},"commit":{"message":"Change proof selection algol","shortMessageHtmlLink":"Change proof selection algol"}},{"before":"4d2f44d0c74b41d870c0570a2c463abfab891d77","after":"f00a7a57261704679d7ac54852f0b067f208aa6b","ref":"refs/heads/main","pushedAt":"2023-08-19T15:47:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Jengamon","name":null,"path":"/Jengamon","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1479994?s=80&v=4"},"commit":{"message":"Alternative fix","shortMessageHtmlLink":"Alternative fix"}},{"before":"f020c500170bb6bf768845272541be1245b41ab8","after":"4d2f44d0c74b41d870c0570a2c463abfab891d77","ref":"refs/heads/main","pushedAt":"2023-08-19T12:47:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Jengamon","name":null,"path":"/Jengamon","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1479994?s=80&v=4"},"commit":{"message":"Correct transitive negative reasoning","shortMessageHtmlLink":"Correct transitive negative reasoning"}},{"before":"33b3e5e09141d9dbad8cfbf68ac7efb20d4bb2ac","after":"f020c500170bb6bf768845272541be1245b41ab8","ref":"refs/heads/main","pushedAt":"2023-08-19T06:04:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Jengamon","name":null,"path":"/Jengamon","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1479994?s=80&v=4"},"commit":{"message":"Add intrinsic tests for stdlib","shortMessageHtmlLink":"Add intrinsic tests for stdlib"}},{"before":"f71efa06f0c0b237b7cfdb88f2a7c371b5cf0deb","after":"33b3e5e09141d9dbad8cfbf68ac7efb20d4bb2ac","ref":"refs/heads/main","pushedAt":"2023-08-19T05:59:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Jengamon","name":null,"path":"/Jengamon","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1479994?s=80&v=4"},"commit":{"message":"Umm negate?","shortMessageHtmlLink":"Umm negate?"}},{"before":"3f0467a2cf2ac18543b2fba6746f3b7ac390a9ed","after":"f71efa06f0c0b237b7cfdb88f2a7c371b5cf0deb","ref":"refs/heads/main","pushedAt":"2023-08-19T05:26:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Jengamon","name":null,"path":"/Jengamon","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1479994?s=80&v=4"},"commit":{"message":"Fix transitive negation (i am confused)","shortMessageHtmlLink":"Fix transitive negation (i am confused)"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAETu_VugA","startCursor":null,"endCursor":null}},"title":"Activity · Jengamon/arde"}