{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":413858016,"defaultBranch":"coq8.11","name":"coq-tactician-api","ownerLogin":"coq-tactician","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2021-10-05T14:43:26.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/62214615?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1714405955.0","currentOid":""},"activityList":{"items":[{"before":"d8acf9c796e348da46b120d5dd75c6a09801b59e","after":"e9647ed7abe523f45b4d4bea5c4f2755db63a00d","ref":"refs/heads/proofs-ci-release","pushedAt":"2024-04-29T15:54:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"LasseBlaauwbroek","name":"Lasse Blaauwbroek","path":"/LasseBlaauwbroek","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1413089?s=80&v=4"},"commit":{"message":"Test2","shortMessageHtmlLink":"Test2"}},{"before":null,"after":"d8acf9c796e348da46b120d5dd75c6a09801b59e","ref":"refs/heads/proofs-ci-release","pushedAt":"2024-04-29T15:52:35.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"LasseBlaauwbroek","name":"Lasse Blaauwbroek","path":"/LasseBlaauwbroek","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1413089?s=80&v=4"},"commit":{"message":"Make test ci release","shortMessageHtmlLink":"Make test ci release"}},{"before":null,"after":"8ae836d45bd96059c5742db1d3cdd0efd58d3197","ref":"refs/heads/proofs","pushedAt":"2024-04-29T12:07:37.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"LasseBlaauwbroek","name":"Lasse Blaauwbroek","path":"/LasseBlaauwbroek","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1413089?s=80&v=4"},"commit":{"message":"Proofs","shortMessageHtmlLink":"Proofs"}},{"before":"0e65e54a0d5008387fcfcb02fa55bce3de760429","after":"18e89c973d17239eae4f54a784edd231a7b30082","ref":"refs/heads/coq8.11","pushedAt":"2024-01-18T18:22:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"LasseBlaauwbroek","name":"Lasse Blaauwbroek","path":"/LasseBlaauwbroek","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1413089?s=80&v=4"},"commit":{"message":"Missing comma (evil python)","shortMessageHtmlLink":"Missing comma (evil python)"}},{"before":"54801ab8466514e411bf6d171bd38174613f2406","after":"0e65e54a0d5008387fcfcb02fa55bce3de760429","ref":"refs/heads/coq8.11","pushedAt":"2024-01-17T18:21:43.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"LasseBlaauwbroek","name":"Lasse Blaauwbroek","path":"/LasseBlaauwbroek","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1413089?s=80&v=4"},"commit":{"message":"Calculate the maximum chain of unseen dependencies","shortMessageHtmlLink":"Calculate the maximum chain of unseen dependencies"}},{"before":"e65b7606c9183f994e1b1c154a2470660374e295","after":"54801ab8466514e411bf6d171bd38174613f2406","ref":"refs/heads/coq8.11","pushedAt":"2024-01-17T18:19:19.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"LasseBlaauwbroek","name":"Lasse Blaauwbroek","path":"/LasseBlaauwbroek","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1413089?s=80&v=4"},"commit":{"message":"Calculate the maximum chain of unseen dependencies","shortMessageHtmlLink":"Calculate the maximum chain of unseen dependencies"}},{"before":"a12160c783f730b80deb926a14490cfd232d4624","after":"e65b7606c9183f994e1b1c154a2470660374e295","ref":"refs/heads/coq8.11","pushedAt":"2024-01-17T18:15:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"LasseBlaauwbroek","name":"Lasse Blaauwbroek","path":"/LasseBlaauwbroek","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1413089?s=80&v=4"},"commit":{"message":"Calculate the maximum chain of unseen dependencies","shortMessageHtmlLink":"Calculate the maximum chain of unseen dependencies"}},{"before":"c071d4831ad099924466b7ca22ec8bfc670a9601","after":"a12160c783f730b80deb926a14490cfd232d4624","ref":"refs/heads/coq8.11","pushedAt":"2023-12-28T03:32:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"LasseBlaauwbroek","name":"Lasse Blaauwbroek","path":"/LasseBlaauwbroek","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1413089?s=80&v=4"},"commit":{"message":"Typo","shortMessageHtmlLink":"Typo"}},{"before":"e3c49b2580e9c7404689ccdb246db115dea8fd81","after":"c071d4831ad099924466b7ca22ec8bfc670a9601","ref":"refs/heads/coq8.11","pushedAt":"2023-12-24T22:53:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"LasseBlaauwbroek","name":"Lasse Blaauwbroek","path":"/LasseBlaauwbroek","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1413089?s=80&v=4"},"commit":{"message":"Update conda instructions","shortMessageHtmlLink":"Update conda instructions"}},{"before":"31ce34c4cb8e3c4c95d1b67205858e86ca77f27c","after":"e3c49b2580e9c7404689ccdb246db115dea8fd81","ref":"refs/heads/coq8.11","pushedAt":"2023-12-24T22:11:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"LasseBlaauwbroek","name":"Lasse Blaauwbroek","path":"/LasseBlaauwbroek","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1413089?s=80&v=4"},"commit":{"message":"Typo","shortMessageHtmlLink":"Typo"}},{"before":"28c4d398419baaad9911bc300bf1c09b2203980b","after":"31ce34c4cb8e3c4c95d1b67205858e86ca77f27c","ref":"refs/heads/coq8.11","pushedAt":"2023-12-24T05:09:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"LasseBlaauwbroek","name":"Lasse Blaauwbroek","path":"/LasseBlaauwbroek","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1413089?s=80&v=4"},"commit":{"message":"Fix","shortMessageHtmlLink":"Fix"}},{"before":"ea1c531b44587e126bb79938b9586128067a1ac7","after":"28c4d398419baaad9911bc300bf1c09b2203980b","ref":"refs/heads/coq8.11","pushedAt":"2023-12-23T05:55:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"LasseBlaauwbroek","name":"Lasse Blaauwbroek","path":"/LasseBlaauwbroek","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1413089?s=80&v=4"},"commit":{"message":"Add opam description","shortMessageHtmlLink":"Add opam description"}},{"before":"120bf96e5a9caa0f46487629efbb909339cefdd1","after":"87ee0880bceb159f5be4ec258bbcd43bbfb46c39","ref":"refs/heads/rpc","pushedAt":"2023-11-09T02:07:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"LasseBlaauwbroek","name":"Lasse Blaauwbroek","path":"/LasseBlaauwbroek","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1413089?s=80&v=4"},"commit":{"message":"http instead of ssh","shortMessageHtmlLink":"http instead of ssh"}},{"before":"8b1f7fe90c070686299640e44dbeee24c3e49c6d","after":"120bf96e5a9caa0f46487629efbb909339cefdd1","ref":"refs/heads/rpc","pushedAt":"2023-11-09T02:03:22.000Z","pushType":"push","commitsCount":17,"pusher":{"login":"LasseBlaauwbroek","name":"Lasse Blaauwbroek","path":"/LasseBlaauwbroek","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1413089?s=80&v=4"},"commit":{"message":"Python RPC support","shortMessageHtmlLink":"Python RPC support"}},{"before":"ad011ecf5dea42e4c2a0558535f5e2d1ce0496ac","after":"ea1c531b44587e126bb79938b9586128067a1ac7","ref":"refs/heads/coq8.11","pushedAt":"2023-10-30T12:32:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"LasseBlaauwbroek","name":"Lasse Blaauwbroek","path":"/LasseBlaauwbroek","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1413089?s=80&v=4"},"commit":{"message":"Prevent DDoS attacks by limiting the size of the graph","shortMessageHtmlLink":"Prevent DDoS attacks by limiting the size of the graph"}},{"before":"8f61e3deb81c7ed9cefe22b7f8c5ca8894edbe4a","after":"ad011ecf5dea42e4c2a0558535f5e2d1ce0496ac","ref":"refs/heads/coq8.11","pushedAt":"2023-10-26T01:29:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"LasseBlaauwbroek","name":"Lasse Blaauwbroek","path":"/LasseBlaauwbroek","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1413089?s=80&v=4"},"commit":{"message":"Better readme image","shortMessageHtmlLink":"Better readme image"}},{"before":"d405da14077acc164e2430bcfdc4151b480646c8","after":"8f61e3deb81c7ed9cefe22b7f8c5ca8894edbe4a","ref":"refs/heads/coq8.11","pushedAt":"2023-10-24T18:43:24.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"LasseBlaauwbroek","name":"Lasse Blaauwbroek","path":"/LasseBlaauwbroek","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1413089?s=80&v=4"},"commit":{"message":"Fix readme","shortMessageHtmlLink":"Fix readme"}},{"before":"5a8ee685107d8bb4f0b1afaee7e7b1aef7cd9b1a","after":null,"ref":"refs/tags/pytactician.v15.1","pushedAt":"2023-10-23T10:38:53.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"LasseBlaauwbroek","name":"Lasse Blaauwbroek","path":"/LasseBlaauwbroek","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1413089?s=80&v=4"}},{"before":null,"after":"2541c54e037f41604929d7a7429fa43fff0ce33e","ref":"refs/heads/tactic-argument-terms","pushedAt":"2023-10-23T05:09:27.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"LasseBlaauwbroek","name":"Lasse Blaauwbroek","path":"/LasseBlaauwbroek","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1413089?s=80&v=4"},"commit":{"message":"Merge branch 'large-dataset' into tactic-argument-terms","shortMessageHtmlLink":"Merge branch 'large-dataset' into tactic-argument-terms"}},{"before":"0d7a4aeb1dd2f94d98ea170053ff769a391aebf8","after":null,"ref":"refs/heads/rename","pushedAt":"2023-10-23T05:08:53.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"LasseBlaauwbroek","name":"Lasse Blaauwbroek","path":"/LasseBlaauwbroek","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1413089?s=80&v=4"}},{"before":"50af450bdbb181d4bcecac17f337df81cb8f3b68","after":null,"ref":"refs/heads/v13-unshared","pushedAt":"2023-10-23T05:08:42.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"LasseBlaauwbroek","name":"Lasse Blaauwbroek","path":"/LasseBlaauwbroek","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1413089?s=80&v=4"}},{"before":"1b50c639642a049dce8dfc87f0705cee1eab66d3","after":null,"ref":"refs/heads/macos-flags","pushedAt":"2023-10-23T05:08:13.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"LasseBlaauwbroek","name":"Lasse Blaauwbroek","path":"/LasseBlaauwbroek","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1413089?s=80&v=4"}},{"before":"855a815e8670285c2cb8c532ddda2b7cf5d41b6e","after":null,"ref":"refs/heads/automatic-caching","pushedAt":"2023-10-23T05:07:50.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"LasseBlaauwbroek","name":"Lasse Blaauwbroek","path":"/LasseBlaauwbroek","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1413089?s=80&v=4"}},{"before":"30caada872078b76291b030ceb822f0422288732","after":null,"ref":"refs/heads/vasily/debug-generate-dataset-v14","pushedAt":"2023-10-23T05:07:01.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"LasseBlaauwbroek","name":"Lasse Blaauwbroek","path":"/LasseBlaauwbroek","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1413089?s=80&v=4"}},{"before":"162ac4227cffe77fa7feec1002e79fd790562edc","after":null,"ref":"refs/heads/prover","pushedAt":"2023-10-23T05:06:48.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"LasseBlaauwbroek","name":"Lasse Blaauwbroek","path":"/LasseBlaauwbroek","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1413089?s=80&v=4"}},{"before":"03f7d562d752d9125c8c854471241bebbc189f08","after":null,"ref":"refs/heads/tf-search-interface","pushedAt":"2023-10-23T05:05:07.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"LasseBlaauwbroek","name":"Lasse Blaauwbroek","path":"/LasseBlaauwbroek","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1413089?s=80&v=4"}},{"before":"728d6ac6a042874b837e1e5539d8d9fef0842c4e","after":null,"ref":"refs/heads/ci-test","pushedAt":"2023-10-23T05:04:52.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"LasseBlaauwbroek","name":"Lasse Blaauwbroek","path":"/LasseBlaauwbroek","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1413089?s=80&v=4"}},{"before":"03984df17d15dd8863ea22bec7160bb6af5e45f6","after":null,"ref":"refs/heads/test-pytactician-deployment","pushedAt":"2023-10-23T05:04:02.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"LasseBlaauwbroek","name":"Lasse Blaauwbroek","path":"/LasseBlaauwbroek","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1413089?s=80&v=4"}},{"before":"e8bf1dce8d50a6d3acd183f067821a889087ef3c","after":"03984df17d15dd8863ea22bec7160bb6af5e45f6","ref":"refs/heads/test-pytactician-deployment","pushedAt":"2023-10-23T04:31:04.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"LasseBlaauwbroek","name":"Lasse Blaauwbroek","path":"/LasseBlaauwbroek","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1413089?s=80&v=4"},"commit":{"message":"Another try","shortMessageHtmlLink":"Another try"}},{"before":"b646a29e132b4de16d0a62f5ff0901b6d4f974df","after":"e8bf1dce8d50a6d3acd183f067821a889087ef3c","ref":"refs/heads/test-pytactician-deployment","pushedAt":"2023-10-23T03:56:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"LasseBlaauwbroek","name":"Lasse Blaauwbroek","path":"/LasseBlaauwbroek","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1413089?s=80&v=4"},"commit":{"message":"Make pypi even happier","shortMessageHtmlLink":"Make pypi even happier"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEPSa0BwA","startCursor":null,"endCursor":null}},"title":"Activity · coq-tactician/coq-tactician-api"}