{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":364861583,"defaultBranch":"master","name":"algebra-tactics","ownerLogin":"math-comp","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2021-05-06T09:49:29.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/11424151?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1718631078.0","currentOid":""},"activityList":{"items":[{"before":null,"after":"c9d34cd65fb2baa7c802e116052e33ea848dedb8","ref":"refs/heads/revert-pr90","pushedAt":"2024-06-17T13:31:18.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"pi8027","name":"Kazuhiko Sakaguchi","path":"/pi8027","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/111003?s=80&v=4"},"commit":{"message":"Revert \"Workaround for #87\"\n\nThis reverts commit 2a14b95326b65870a8b684088214a89814a55c30.","shortMessageHtmlLink":"Revert \"Workaround for <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1926475185\" data-permission-text=\"Title is private\" data-url=\"https://github.com/math-comp/algebra-tactics/issues/87\" data-hovercard-type=\"issue\" data-hovercard-url=\"/math-comp/algebra-tactics/issues/87/hovercard\" href=\"https://github.com/math-comp/algebra-tactics/issues/87\">#87</a>\""}},{"before":"2ef95dc2007d0b144ac8f4f875634ece9bb26135","after":null,"ref":"refs/heads/ci","pushedAt":"2024-05-28T14:53:43.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"pi8027","name":"Kazuhiko Sakaguchi","path":"/pi8027","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/111003?s=80&v=4"}},{"before":"9308c54787b246ed3310940fe9710dc6b2a6cb87","after":"4f51ac8da687639a8b9362a4f1a5a08ef7352f82","ref":"refs/heads/master","pushedAt":"2024-05-28T14:53:39.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"pi8027","name":"Kazuhiko Sakaguchi","path":"/pi8027","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/111003?s=80&v=4"},"commit":{"message":"Merge pull request #98 from math-comp/ci\n\nUpdate CI","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2321016675\" data-permission-text=\"Title is private\" data-url=\"https://github.com/math-comp/algebra-tactics/issues/98\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/math-comp/algebra-tactics/pull/98/hovercard\" href=\"https://github.com/math-comp/algebra-tactics/pull/98\">#98</a> from math-comp/ci"}},{"before":"1b3a1d29a01eb2f84016cfa8422cbc2433411c3d","after":"2ef95dc2007d0b144ac8f4f875634ece9bb26135","ref":"refs/heads/ci","pushedAt":"2024-05-28T14:11:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"pi8027","name":"Kazuhiko Sakaguchi","path":"/pi8027","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/111003?s=80&v=4"},"commit":{"message":"Simplify the test-suite infrastructure in CI","shortMessageHtmlLink":"Simplify the test-suite infrastructure in CI"}},{"before":"9308c54787b246ed3310940fe9710dc6b2a6cb87","after":"1b3a1d29a01eb2f84016cfa8422cbc2433411c3d","ref":"refs/heads/ci","pushedAt":"2024-05-28T13:03:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"pi8027","name":"Kazuhiko Sakaguchi","path":"/pi8027","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/111003?s=80&v=4"},"commit":{"message":"Update CI","shortMessageHtmlLink":"Update CI"}},{"before":null,"after":"9308c54787b246ed3310940fe9710dc6b2a6cb87","ref":"refs/heads/ci","pushedAt":"2024-05-28T13:02:48.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"pi8027","name":"Kazuhiko Sakaguchi","path":"/pi8027","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/111003?s=80&v=4"},"commit":{"message":"Merge pull request #96 from math-comp/ci\n\nFix CI","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2088641470\" data-permission-text=\"Title is private\" data-url=\"https://github.com/math-comp/algebra-tactics/issues/96\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/math-comp/algebra-tactics/pull/96/hovercard\" href=\"https://github.com/math-comp/algebra-tactics/pull/96\">#96</a> from math-comp/ci"}},{"before":"9308c54787b246ed3310940fe9710dc6b2a6cb87","after":null,"ref":"refs/heads/ci","pushedAt":"2024-05-28T13:02:43.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"pi8027","name":"Kazuhiko Sakaguchi","path":"/pi8027","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/111003?s=80&v=4"}},{"before":"31e112748300ed030992c475577f8c1f08c5f966","after":"9308c54787b246ed3310940fe9710dc6b2a6cb87","ref":"refs/heads/ci","pushedAt":"2024-05-28T13:02:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"pi8027","name":"Kazuhiko Sakaguchi","path":"/pi8027","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/111003?s=80&v=4"},"commit":{"message":"Merge pull request #96 from math-comp/ci\n\nFix CI","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2088641470\" data-permission-text=\"Title is private\" data-url=\"https://github.com/math-comp/algebra-tactics/issues/96\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/math-comp/algebra-tactics/pull/96/hovercard\" href=\"https://github.com/math-comp/algebra-tactics/pull/96\">#96</a> from math-comp/ci"}},{"before":"50898969d4624b67f0e3c4450cc9ce284ac3a563","after":"9308c54787b246ed3310940fe9710dc6b2a6cb87","ref":"refs/heads/master","pushedAt":"2024-01-18T19:22:15.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"pi8027","name":"Kazuhiko Sakaguchi","path":"/pi8027","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/111003?s=80&v=4"},"commit":{"message":"Merge pull request #96 from math-comp/ci\n\nFix CI","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2088641470\" data-permission-text=\"Title is private\" data-url=\"https://github.com/math-comp/algebra-tactics/issues/96\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/math-comp/algebra-tactics/pull/96/hovercard\" href=\"https://github.com/math-comp/algebra-tactics/pull/96\">#96</a> from math-comp/ci"}},{"before":null,"after":"31e112748300ed030992c475577f8c1f08c5f966","ref":"refs/heads/ci","pushedAt":"2024-01-18T16:25:05.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"pi8027","name":"Kazuhiko Sakaguchi","path":"/pi8027","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/111003?s=80&v=4"},"commit":{"message":"Fix CI","shortMessageHtmlLink":"Fix CI"}},{"before":"ef3ab79c7100010260a697005c2f6168050fb0fe","after":null,"ref":"refs/heads/ci","pushedAt":"2024-01-18T13:31:22.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"pi8027","name":"Kazuhiko Sakaguchi","path":"/pi8027","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/111003?s=80&v=4"}},{"before":"1e42551ba277de7299b0d12226cdf5b01d8e21f5","after":"50898969d4624b67f0e3c4450cc9ce284ac3a563","ref":"refs/heads/master","pushedAt":"2024-01-18T13:31:04.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"pi8027","name":"Kazuhiko Sakaguchi","path":"/pi8027","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/111003?s=80&v=4"},"commit":{"message":"Merge pull request #95 from math-comp/ci\n\nUpdate CI","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2088226028\" data-permission-text=\"Title is private\" data-url=\"https://github.com/math-comp/algebra-tactics/issues/95\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/math-comp/algebra-tactics/pull/95/hovercard\" href=\"https://github.com/math-comp/algebra-tactics/pull/95\">#95</a> from math-comp/ci"}},{"before":"83baaa95c3f3b49b2d34bff5ddef0a3f895e7a8c","after":"ef3ab79c7100010260a697005c2f6168050fb0fe","ref":"refs/heads/ci","pushedAt":"2024-01-18T13:06:27.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"pi8027","name":"Kazuhiko Sakaguchi","path":"/pi8027","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/111003?s=80&v=4"},"commit":{"message":"Update CI","shortMessageHtmlLink":"Update CI"}},{"before":null,"after":"83baaa95c3f3b49b2d34bff5ddef0a3f895e7a8c","ref":"refs/heads/ci","pushedAt":"2024-01-18T12:51:19.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"pi8027","name":"Kazuhiko Sakaguchi","path":"/pi8027","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/111003?s=80&v=4"},"commit":{"message":"Update CI","shortMessageHtmlLink":"Update CI"}},{"before":"50d6b53f624f1416302d21d0b997cd90fca0b757","after":"1e42551ba277de7299b0d12226cdf5b01d8e21f5","ref":"refs/heads/master","pushedAt":"2023-11-02T19:18:31.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"proux01","name":"Pierre Roux","path":"/proux01","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15833376?s=80&v=4"},"commit":{"message":"Merge pull request #94 from proux01/fix_master\n\nFix compilation with master","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1974834630\" data-permission-text=\"Title is private\" data-url=\"https://github.com/math-comp/algebra-tactics/issues/94\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/math-comp/algebra-tactics/pull/94/hovercard\" href=\"https://github.com/math-comp/algebra-tactics/pull/94\">#94</a> from proux01/fix_master"}},{"before":"13cb49cb3376bb036c59ec8f67d2020aff23a0dd","after":null,"ref":"refs/heads/ci","pushedAt":"2023-10-26T11:27:02.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"pi8027","name":"Kazuhiko Sakaguchi","path":"/pi8027","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/111003?s=80&v=4"}},{"before":"d83ef0f6283982566d188d30cda39cafb1df7894","after":"50d6b53f624f1416302d21d0b997cd90fca0b757","ref":"refs/heads/master","pushedAt":"2023-10-26T11:21:33.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"pi8027","name":"Kazuhiko Sakaguchi","path":"/pi8027","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/111003?s=80&v=4"},"commit":{"message":"Merge pull request #93 from math-comp/ci\n\nUpdate CI","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1963243721\" data-permission-text=\"Title is private\" data-url=\"https://github.com/math-comp/algebra-tactics/issues/93\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/math-comp/algebra-tactics/pull/93/hovercard\" href=\"https://github.com/math-comp/algebra-tactics/pull/93\">#93</a> from math-comp/ci"}},{"before":null,"after":"13cb49cb3376bb036c59ec8f67d2020aff23a0dd","ref":"refs/heads/ci","pushedAt":"2023-10-26T10:50:18.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"pi8027","name":"Kazuhiko Sakaguchi","path":"/pi8027","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/111003?s=80&v=4"},"commit":{"message":"Update CI","shortMessageHtmlLink":"Update CI"}},{"before":"2a14b95326b65870a8b684088214a89814a55c30","after":null,"ref":"refs/heads/fix-sub-deprecation","pushedAt":"2023-10-14T13:05:48.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"pi8027","name":"Kazuhiko Sakaguchi","path":"/pi8027","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/111003?s=80&v=4"}},{"before":"d2e6f9ea4a14590ab38dbdc5c2dbc4dd4d6e6e09","after":"d83ef0f6283982566d188d30cda39cafb1df7894","ref":"refs/heads/master","pushedAt":"2023-10-14T12:56:11.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"pi8027","name":"Kazuhiko Sakaguchi","path":"/pi8027","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/111003?s=80&v=4"},"commit":{"message":"Merge pull request #90 from math-comp/fix-sub-deprecation\n\nWorkaround for #87","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1943218205\" data-permission-text=\"Title is private\" data-url=\"https://github.com/math-comp/algebra-tactics/issues/90\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/math-comp/algebra-tactics/pull/90/hovercard\" href=\"https://github.com/math-comp/algebra-tactics/pull/90\">#90</a> from math-comp/fix-sub-deprecation"}},{"before":null,"after":"2a14b95326b65870a8b684088214a89814a55c30","ref":"refs/heads/fix-sub-deprecation","pushedAt":"2023-10-14T11:51:12.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"pi8027","name":"Kazuhiko Sakaguchi","path":"/pi8027","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/111003?s=80&v=4"},"commit":{"message":"Workaround for #87","shortMessageHtmlLink":"Workaround for <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1926475185\" data-permission-text=\"Title is private\" data-url=\"https://github.com/math-comp/algebra-tactics/issues/87\" data-hovercard-type=\"issue\" data-hovercard-url=\"/math-comp/algebra-tactics/issues/87/hovercard\" href=\"https://github.com/math-comp/algebra-tactics/issues/87\">#87</a>"}},{"before":"892c683d3b9fa6303b1f92a0bfd7c4ebd8a2351b","after":null,"ref":"refs/heads/doc","pushedAt":"2023-10-11T12:55:43.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"pi8027","name":"Kazuhiko Sakaguchi","path":"/pi8027","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/111003?s=80&v=4"}},{"before":"97a2cebacd5e2d96d2bf891fd5202013519b4e58","after":"d2e6f9ea4a14590ab38dbdc5c2dbc4dd4d6e6e09","ref":"refs/heads/master","pushedAt":"2023-10-11T12:55:11.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"pi8027","name":"Kazuhiko Sakaguchi","path":"/pi8027","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/111003?s=80&v=4"},"commit":{"message":"Merge pull request #89 from math-comp/doc\n\nDocumentation","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1933015828\" data-permission-text=\"Title is private\" data-url=\"https://github.com/math-comp/algebra-tactics/issues/89\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/math-comp/algebra-tactics/pull/89/hovercard\" href=\"https://github.com/math-comp/algebra-tactics/pull/89\">#89</a> from math-comp/doc"}},{"before":"07acd8f056782e01b76ad80d1bbd92883e7fe74e","after":"892c683d3b9fa6303b1f92a0bfd7c4ebd8a2351b","ref":"refs/heads/doc","pushedAt":"2023-10-11T12:23:21.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"pi8027","name":"Kazuhiko Sakaguchi","path":"/pi8027","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/111003?s=80&v=4"},"commit":{"message":"Fix\n\nCo-authored-by: Pierre Roux <pierre.roux@onera.fr>","shortMessageHtmlLink":"Fix"}},{"before":"4bf81ebd260da7b7505655ef4817b19b53fa05c4","after":"07acd8f056782e01b76ad80d1bbd92883e7fe74e","ref":"refs/heads/doc","pushedAt":"2023-10-11T12:19:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"pi8027","name":"Kazuhiko Sakaguchi","path":"/pi8027","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/111003?s=80&v=4"},"commit":{"message":"Fix\n\nCo-authored-by: Pierre Roux <pierre.roux@onera.fr>","shortMessageHtmlLink":"Fix"}},{"before":"303273e8b7ae0bb48601ea2eeef025156665f457","after":"4bf81ebd260da7b7505655ef4817b19b53fa05c4","ref":"refs/heads/doc","pushedAt":"2023-10-11T10:09:12.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"pi8027","name":"Kazuhiko Sakaguchi","path":"/pi8027","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/111003?s=80&v=4"},"commit":{"message":"Documentation","shortMessageHtmlLink":"Documentation"}},{"before":"63ecf20194213f7e939f0d75f439d924a2df0877","after":"303273e8b7ae0bb48601ea2eeef025156665f457","ref":"refs/heads/doc","pushedAt":"2023-10-10T15:28:05.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"pi8027","name":"Kazuhiko Sakaguchi","path":"/pi8027","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/111003?s=80&v=4"},"commit":{"message":"Documentation","shortMessageHtmlLink":"Documentation"}},{"before":"bc6321b4054a043c7fdc644ef8d154da620b06af","after":"63ecf20194213f7e939f0d75f439d924a2df0877","ref":"refs/heads/doc","pushedAt":"2023-10-10T13:40:21.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"pi8027","name":"Kazuhiko Sakaguchi","path":"/pi8027","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/111003?s=80&v=4"},"commit":{"message":"[WIP] doc","shortMessageHtmlLink":"[WIP] doc"}},{"before":"87c8a7857eaa04bd53b1558b00a38a0b99d2dd37","after":"bc6321b4054a043c7fdc644ef8d154da620b06af","ref":"refs/heads/doc","pushedAt":"2023-10-10T13:32:19.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"pi8027","name":"Kazuhiko Sakaguchi","path":"/pi8027","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/111003?s=80&v=4"},"commit":{"message":"[WIP] doc","shortMessageHtmlLink":"[WIP] doc"}},{"before":"adc50e4d5779dd49cf7f25f1913decfa19845201","after":"87c8a7857eaa04bd53b1558b00a38a0b99d2dd37","ref":"refs/heads/doc","pushedAt":"2023-10-10T12:54:02.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"pi8027","name":"Kazuhiko Sakaguchi","path":"/pi8027","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/111003?s=80&v=4"},"commit":{"message":"[WIP] doc","shortMessageHtmlLink":"[WIP] doc"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEZ2lXSgA","startCursor":null,"endCursor":null}},"title":"Activity · math-comp/algebra-tactics"}