{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":22525176,"defaultBranch":"master","name":"sylvan","ownerLogin":"trolando","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2014-08-01T19:35:39.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/613469?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1700239227.0","currentOid":""},"activityList":{"items":[{"before":"9ccb1fd43fbd5a6d84d5c45445d9abf8ca90a27f","after":"77e8e6f02fdac0ab079c8d79f008812bafd1a3a7","ref":"refs/heads/master","pushedAt":"2024-03-26T10:18:14.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"trolando","name":"Tom van Dijk","path":"/trolando","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/613469?s=80&v=4"},"commit":{"message":"Allow compiling with warnings as errors in Release mode","shortMessageHtmlLink":"Allow compiling with warnings as errors in Release mode"}},{"before":"f4da769e0473b9a87cbbe30221c077b80115e2bb","after":"9ccb1fd43fbd5a6d84d5c45445d9abf8ca90a27f","ref":"refs/heads/master","pushedAt":"2024-03-23T14:32:36.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"trolando","name":"Tom van Dijk","path":"/trolando","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/613469?s=80&v=4"},"commit":{"message":"Fix Sylvan cannot be compiled as a submodule","shortMessageHtmlLink":"Fix Sylvan cannot be compiled as a submodule"}},{"before":"2d2c505af9a525dcb96ec893dfafe34013786034","after":"f4da769e0473b9a87cbbe30221c077b80115e2bb","ref":"refs/heads/master","pushedAt":"2024-02-29T14:32:07.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"trolando","name":"Tom van Dijk","path":"/trolando","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/613469?s=80&v=4"},"commit":{"message":"efficient BDD test for disjoint and subset","shortMessageHtmlLink":"efficient BDD test for disjoint and subset"}},{"before":"c1fceac48250cb993152341f6e91604cc2944889","after":"2d2c505af9a525dcb96ec893dfafe34013786034","ref":"refs/heads/master","pushedAt":"2023-12-22T09:47:34.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"trolando","name":"Tom van Dijk","path":"/trolando","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/613469?s=80&v=4"},"commit":{"message":"Small changes to fix installation","shortMessageHtmlLink":"Small changes to fix installation"}},{"before":"ca8bbb02a8a6a7d7561fc0509cceda5fb2919196","after":"c1fceac48250cb993152341f6e91604cc2944889","ref":"refs/heads/master","pushedAt":"2023-11-21T10:32:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"trolando","name":"Tom van Dijk","path":"/trolando","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/613469?s=80&v=4"},"commit":{"message":"Increase compatibility with slightly older versions of CMake","shortMessageHtmlLink":"Increase compatibility with slightly older versions of CMake"}},{"before":"bc246974aed8c145c104a2f84dcace54225ffda7","after":"ca8bbb02a8a6a7d7561fc0509cceda5fb2919196","ref":"refs/heads/master","pushedAt":"2023-11-18T14:55:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"trolando","name":"Tom van Dijk","path":"/trolando","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/613469?s=80&v=4"},"commit":{"message":"Ask for lace>=1.4.2 in pkg-config","shortMessageHtmlLink":"Ask for lace>=1.4.2 in pkg-config"}},{"before":"b0282c4c1350a6caac87457703d9fc195b494636","after":"bc246974aed8c145c104a2f84dcace54225ffda7","ref":"refs/heads/master","pushedAt":"2023-11-17T16:40:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"trolando","name":"Tom van Dijk","path":"/trolando","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/613469?s=80&v=4"},"commit":{"message":"Version 1.8.1","shortMessageHtmlLink":"Version 1.8.1"}},{"before":"74578fb2f9aae5f400470c31d9c42b512bebb874","after":"b0282c4c1350a6caac87457703d9fc195b494636","ref":"refs/heads/master","pushedAt":"2023-11-17T15:59:41.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"trolando","name":"Tom van Dijk","path":"/trolando","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/613469?s=80&v=4"},"commit":{"message":"Fix some paths in CMakeLists.txt","shortMessageHtmlLink":"Fix some paths in CMakeLists.txt"}},{"before":"ba13229817ca155aef899ff0930d533b8bf075d7","after":"74578fb2f9aae5f400470c31d9c42b512bebb874","ref":"refs/heads/master","pushedAt":"2023-10-25T22:53:06.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"trolando","name":"Tom van Dijk","path":"/trolando","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/613469?s=80&v=4"},"commit":{"message":"And of course update Lace to version v1.4.1","shortMessageHtmlLink":"And of course update Lace to version v1.4.1"}},{"before":"883c12d9c17cb17fc53971d011aaa732d37cdaad","after":"ba13229817ca155aef899ff0930d533b8bf075d7","ref":"refs/heads/master","pushedAt":"2023-10-25T22:51:39.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"trolando","name":"Tom van Dijk","path":"/trolando","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/613469?s=80&v=4"},"commit":{"message":"And of course update Lace to version v1.4.1","shortMessageHtmlLink":"And of course update Lace to version v1.4.1"}},{"before":"d463616cf357fa1c0b75244492a8003e4a7dce9b","after":"883c12d9c17cb17fc53971d011aaa732d37cdaad","ref":"refs/heads/master","pushedAt":"2023-10-25T21:07:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"trolando","name":"Tom van Dijk","path":"/trolando","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/613469?s=80&v=4"},"commit":{"message":"And of course update Lace to version v1.4.1","shortMessageHtmlLink":"And of course update Lace to version v1.4.1"}},{"before":"edfe9e05078d5493c578366857c181c8a2473cc3","after":"d463616cf357fa1c0b75244492a8003e4a7dce9b","ref":"refs/heads/master","pushedAt":"2023-10-25T20:57:29.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"trolando","name":"Tom van Dijk","path":"/trolando","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/613469?s=80&v=4"},"commit":{"message":"Allow installing Sylvan once again","shortMessageHtmlLink":"Allow installing Sylvan once again"}},{"before":"0278500f05f44d3129cf2f5e60a2f25c255c0204","after":"edfe9e05078d5493c578366857c181c8a2473cc3","ref":"refs/heads/master","pushedAt":"2023-10-25T20:40:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"trolando","name":"Tom van Dijk","path":"/trolando","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/613469?s=80&v=4"},"commit":{"message":"Allow installing Sylvan once again","shortMessageHtmlLink":"Allow installing Sylvan once again"}},{"before":"cd579f815fbe04f6f17bb1afe9d61a92b0ea73ab","after":"0278500f05f44d3129cf2f5e60a2f25c255c0204","ref":"refs/heads/master","pushedAt":"2023-03-31T22:27:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"trolando","name":"Tom van Dijk","path":"/trolando","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/613469?s=80&v=4"},"commit":{"message":"Set language of docs","shortMessageHtmlLink":"Set language of docs"}},{"before":"a2b920fa19a8e3b1aa9728eb99e96634a560e99a","after":"dda97becb1d198c0a95eb67e472f4ccaf0a9ecd8","ref":"refs/heads/gh-pages","pushedAt":"2023-03-31T20:30:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"trolando","name":"Tom van Dijk","path":"/trolando","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/613469?s=80&v=4"},"commit":{"message":"Updated documentation","shortMessageHtmlLink":"Updated documentation"}},{"before":"781b2793a2a5918a380390a716652d0a4186804b","after":"cd579f815fbe04f6f17bb1afe9d61a92b0ea73ab","ref":"refs/heads/master","pushedAt":"2023-03-31T12:09:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"trolando","name":"Tom van Dijk","path":"/trolando","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/613469?s=80&v=4"},"commit":{"message":"Updated to version v1.8.0","shortMessageHtmlLink":"Updated to version v1.8.0"}},{"before":"ba0490d57f6b27e93f4253b5d9b0cf83db946306","after":null,"ref":"refs/heads/crosscompile","pushedAt":"2023-03-31T12:03:14.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"trolando","name":"Tom van Dijk","path":"/trolando","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/613469?s=80&v=4"}},{"before":"0942a093ea16a1a032a91ebbcc8dc110a4542ca7","after":"781b2793a2a5918a380390a716652d0a4186804b","ref":"refs/heads/master","pushedAt":"2023-03-31T12:03:09.000Z","pushType":"pr_merge","commitsCount":14,"pusher":{"login":"trolando","name":"Tom van Dijk","path":"/trolando","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/613469?s=80&v=4"},"commit":{"message":"Skip read/write test in testzdd which is very slow in CI","shortMessageHtmlLink":"Skip read/write test in testzdd which is very slow in CI"}},{"before":"ff2ef70b497cf4e4b98cb8065bf31e5d8a13c47a","after":"ba0490d57f6b27e93f4253b5d9b0cf83db946306","ref":"refs/heads/crosscompile","pushedAt":"2023-03-31T11:42:38.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"trolando","name":"Tom van Dijk","path":"/trolando","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/613469?s=80&v=4"},"commit":{"message":"Skip read/write test in testzdd which is very slow in CI","shortMessageHtmlLink":"Skip read/write test in testzdd which is very slow in CI"}},{"before":"40ee4d6c6852e8af1685a67a6e88870594a860fc","after":"ff2ef70b497cf4e4b98cb8065bf31e5d8a13c47a","ref":"refs/heads/crosscompile","pushedAt":"2023-03-31T10:56:58.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"trolando","name":"Tom van Dijk","path":"/trolando","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/613469?s=80&v=4"},"commit":{"message":"Skip read/write test in testzdd which is very slow in CI","shortMessageHtmlLink":"Skip read/write test in testzdd which is very slow in CI"}},{"before":"eb3a23d6393e3021347e45ee4046764337256d8c","after":"40ee4d6c6852e8af1685a67a6e88870594a860fc","ref":"refs/heads/crosscompile","pushedAt":"2023-03-30T21:12:57.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"trolando","name":"Tom van Dijk","path":"/trolando","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/613469?s=80&v=4"},"commit":{"message":"Skip read/write test in testzdd which is very slow in CI","shortMessageHtmlLink":"Skip read/write test in testzdd which is very slow in CI"}},{"before":"8fac66cc849039aef15a233fff5bc70b5f80d5fb","after":"eb3a23d6393e3021347e45ee4046764337256d8c","ref":"refs/heads/crosscompile","pushedAt":"2023-03-30T21:08:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"trolando","name":"Tom van Dijk","path":"/trolando","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/613469?s=80&v=4"},"commit":{"message":"Skip read/write test in testzdd which is very slow in CI","shortMessageHtmlLink":"Skip read/write test in testzdd which is very slow in CI"}},{"before":"9c709c4cfe7336e5ee95fbf1bcbba486a75b48ec","after":"8fac66cc849039aef15a233fff5bc70b5f80d5fb","ref":"refs/heads/crosscompile","pushedAt":"2023-03-30T21:03:17.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"trolando","name":"Tom van Dijk","path":"/trolando","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/613469?s=80&v=4"},"commit":{"message":"Fix building example programs for MEDDLY","shortMessageHtmlLink":"Fix building example programs for MEDDLY"}},{"before":"1020492f1125d8a782a4c0ab6ddeb631392bdba8","after":"9c709c4cfe7336e5ee95fbf1bcbba486a75b48ec","ref":"refs/heads/crosscompile","pushedAt":"2023-03-30T19:06:02.206Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"trolando","name":"Tom van Dijk","path":"/trolando","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/613469?s=80&v=4"},"commit":{"message":"Remove comma in %f printf for thousands, as it's not supported in Windows","shortMessageHtmlLink":"Remove comma in %f printf for thousands, as it's not supported in Win…"}},{"before":"3d0d41a7afaa999bf3cbe6a2e747404686f94a16","after":"1020492f1125d8a782a4c0ab6ddeb631392bdba8","ref":"refs/heads/crosscompile","pushedAt":"2023-03-30T19:05:05.049Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"trolando","name":"Tom van Dijk","path":"/trolando","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/613469?s=80&v=4"},"commit":{"message":"Make test_zdd less slow","shortMessageHtmlLink":"Make test_zdd less slow"}},{"before":"f1b4f84cee388d6f64a68ed3b4886a3c16dbe120","after":"3d0d41a7afaa999bf3cbe6a2e747404686f94a16","ref":"refs/heads/crosscompile","pushedAt":"2023-03-29T20:16:52.161Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"trolando","name":"Tom van Dijk","path":"/trolando","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/613469?s=80&v=4"},"commit":{"message":"Remove comma in %f printf for thousands, as it's not supported in Windows","shortMessageHtmlLink":"Remove comma in %f printf for thousands, as it's not supported in Win…"}},{"before":"b9bc3342697e66dce8505a8d790641e4290b8388","after":"f1b4f84cee388d6f64a68ed3b4886a3c16dbe120","ref":"refs/heads/crosscompile","pushedAt":"2023-03-29T20:08:50.346Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"trolando","name":"Tom van Dijk","path":"/trolando","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/613469?s=80&v=4"},"commit":{"message":"Remove weird floating point printf syntax that doesn't work in Windows","shortMessageHtmlLink":"Remove weird floating point printf syntax that doesn't work in Windows"}},{"before":"11c3a32c46d19843eca566035e2a349a6d90c428","after":"b9bc3342697e66dce8505a8d790641e4290b8388","ref":"refs/heads/crosscompile","pushedAt":"2023-03-29T19:52:37.202Z","pushType":"push","commitsCount":1,"pusher":{"login":"trolando","name":"Tom van Dijk","path":"/trolando","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/613469?s=80&v=4"},"commit":{"message":"test something","shortMessageHtmlLink":"test something"}},{"before":"198dc89878e5c575aa17d8cb958c827ae7259835","after":"11c3a32c46d19843eca566035e2a349a6d90c428","ref":"refs/heads/crosscompile","pushedAt":"2023-03-29T19:27:02.508Z","pushType":"push","commitsCount":1,"pusher":{"login":"trolando","name":"Tom van Dijk","path":"/trolando","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/613469?s=80&v=4"},"commit":{"message":"fix errors?","shortMessageHtmlLink":"fix errors?"}},{"before":"940741cfb735fa1193c20aa5826a0c09d372ff65","after":"198dc89878e5c575aa17d8cb958c827ae7259835","ref":"refs/heads/crosscompile","pushedAt":"2023-03-29T18:41:41.999Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"trolando","name":"Tom van Dijk","path":"/trolando","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/613469?s=80&v=4"},"commit":{"message":"Change the examples to use getopt_long instead of argp","shortMessageHtmlLink":"Change the examples to use getopt_long instead of argp"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEH3oMeAA","startCursor":null,"endCursor":null}},"title":"Activity · trolando/sylvan"}