{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":208150480,"defaultBranch":"master","name":"FormalPowerSeries","ownerLogin":"hivert","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2019-09-12T21:35:58.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/7465401?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1708009799.0","currentOid":""},"activityList":{"items":[{"before":null,"after":"0c44cf8af9f7ea4ecb7d9fbbcb04d0c9fe34f21e","ref":"refs/heads/Laurent","pushedAt":"2024-02-15T15:09:59.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"hivert","name":"Florent Hivert","path":"/hivert","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7465401?s=80&v=4"},"commit":{"message":"Laurent Series","shortMessageHtmlLink":"Laurent Series"}},{"before":"a33d4176ec37a37201639a74e11197eff3f39219","after":null,"ref":"refs/heads/SSRing","pushedAt":"2024-02-15T15:00:44.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"hivert","name":"Florent Hivert","path":"/hivert","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7465401?s=80&v=4"}},{"before":"e21de999ff8be7afb8a234bf37f0f01a96af41a8","after":null,"ref":"refs/heads/DirLim","pushedAt":"2024-02-15T14:59:57.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"hivert","name":"Florent Hivert","path":"/hivert","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7465401?s=80&v=4"}},{"before":"09279ada567eda6059e6a3e90226ae9494e4564c","after":"164d355bdc5594cbee08af5c1b2952abe1e3afb9","ref":"refs/heads/master","pushedAt":"2024-02-15T14:02:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hivert","name":"Florent Hivert","path":"/hivert","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7465401?s=80&v=4"},"commit":{"message":"Formal power series on a field","shortMessageHtmlLink":"Formal power series on a field"}},{"before":"3558556ca3a3e04a3cde179457d1fa4c625044d5","after":"09279ada567eda6059e6a3e90226ae9494e4564c","ref":"refs/heads/master","pushedAt":"2024-02-13T23:52:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hivert","name":"Florent Hivert","path":"/hivert","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7465401?s=80&v=4"},"commit":{"message":"HB hierarchy simplification (following the advice of @CyrilCohen on zulip)","shortMessageHtmlLink":"HB hierarchy simplification (following the advice of <a class=\"user-mention notranslate\" data-hovercard-type=\"user\" data-hovercard-url=\"/users/cyrilcohen/hovercard\" data-octo-click=\"hovercard-link-click\" data-octo-dimensions=\"link_type:self\" href=\"https://github.com/cyrilcohen\">@cyrilcohen</a> on z…"}},{"before":"20c460782824c57a654a0e4ea514aa3116ca08e3","after":"3558556ca3a3e04a3cde179457d1fa4c625044d5","ref":"refs/heads/master","pushedAt":"2024-02-13T14:51:37.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"hivert","name":"Florent Hivert","path":"/hivert","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7465401?s=80&v=4"},"commit":{"message":"Using the semiring structure on natbar","shortMessageHtmlLink":"Using the semiring structure on natbar"}},{"before":"c454dc0f81f57752b1c12ade794acd03e9f0a1e0","after":"2985137999380ff6c5a871eb65896e5802b6b648","ref":"refs/heads/zify","pushedAt":"2024-02-12T08:06:00.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"hivert","name":"Florent Hivert","path":"/hivert","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7465401?s=80&v=4"},"commit":{"message":"Using zify and lia for automation","shortMessageHtmlLink":"Using zify and lia for automation"}},{"before":"8e854f122e3c5da0bb80acb888ed8f4cb128bbb6","after":"20c460782824c57a654a0e4ea514aa3116ca08e3","ref":"refs/heads/master","pushedAt":"2024-02-12T08:02:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hivert","name":"Florent Hivert","path":"/hivert","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7465401?s=80&v=4"},"commit":{"message":"Minor improvements in padics","shortMessageHtmlLink":"Minor improvements in padics"}},{"before":"f12e035aeb609ea039574f884edc8ab90e2796a1","after":"8e854f122e3c5da0bb80acb888ed8f4cb128bbb6","ref":"refs/heads/master","pushedAt":"2024-02-11T15:27:57.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"hivert","name":"Florent Hivert","path":"/hivert","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7465401?s=80&v=4"},"commit":{"message":"Completing the hierarchy for direct limits.","shortMessageHtmlLink":"Completing the hierarchy for direct limits."}},{"before":"8282bcc563645e8c750319eb160a67be05c230c6","after":"f12e035aeb609ea039574f884edc8ab90e2796a1","ref":"refs/heads/master","pushedAt":"2024-02-11T00:17:45.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"hivert","name":"Florent Hivert","path":"/hivert","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7465401?s=80&v=4"},"commit":{"message":"Cleanup in natbar","shortMessageHtmlLink":"Cleanup in natbar"}},{"before":"ad93ee2863b081bbe9f9e2287cf03ddf09a7e0a4","after":"8282bcc563645e8c750319eb160a67be05c230c6","ref":"refs/heads/master","pushedAt":"2024-02-10T00:47:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hivert","name":"Florent Hivert","path":"/hivert","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7465401?s=80&v=4"},"commit":{"message":"Fixed the hierarchy wrt false join","shortMessageHtmlLink":"Fixed the hierarchy wrt false join"}},{"before":null,"after":"71870569c4c526a83618cf8ebfc835aff0910630","ref":"refs/heads/incremental","pushedAt":"2024-02-06T10:39:51.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"hivert","name":"Florent Hivert","path":"/hivert","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7465401?s=80&v=4"},"commit":{"message":"WIP on false join","shortMessageHtmlLink":"WIP on false join"}},{"before":"c14f7c833be2413636b32a3c1b199cd61b1fd5c6","after":"ad93ee2863b081bbe9f9e2287cf03ddf09a7e0a4","ref":"refs/heads/master","pushedAt":"2024-02-05T09:03:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hivert","name":"Florent Hivert","path":"/hivert","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7465401?s=80&v=4"},"commit":{"message":"Lemma -> Fact","shortMessageHtmlLink":"Lemma -&gt; Fact"}},{"before":null,"after":"c454dc0f81f57752b1c12ade794acd03e9f0a1e0","ref":"refs/heads/zify","pushedAt":"2024-02-03T22:50:25.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"hivert","name":"Florent Hivert","path":"/hivert","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7465401?s=80&v=4"},"commit":{"message":"Using zify and lia for automation","shortMessageHtmlLink":"Using zify and lia for automation"}},{"before":"80f4fee443ebdec496695fcae1e82fd20261d49e","after":"c14f7c833be2413636b32a3c1b199cd61b1fd5c6","ref":"refs/heads/master","pushedAt":"2024-02-03T22:50:05.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"hivert","name":"Florent Hivert","path":"/hivert","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7465401?s=80&v=4"},"commit":{"message":"Got rid of unused lemmas + proof simplications","shortMessageHtmlLink":"Got rid of unused lemmas + proof simplications"}},{"before":"5d38184e2c27e7577b24f985bedfcfcb5b23bab0","after":"80f4fee443ebdec496695fcae1e82fd20261d49e","ref":"refs/heads/master","pushedAt":"2024-02-01T20:44:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hivert","name":"Florent Hivert","path":"/hivert","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7465401?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"ac147d972864e6215275f6472fb9e96125517d65","after":"5d38184e2c27e7577b24f985bedfcfcb5b23bab0","ref":"refs/heads/master","pushedAt":"2024-02-01T17:53:14.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"hivert","name":"Florent Hivert","path":"/hivert","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7465401?s=80&v=4"},"commit":{"message":"Merge branch 'master' of github.com:hivert/FormalPowerSeries","shortMessageHtmlLink":"Merge branch 'master' of github.com:hivert/FormalPowerSeries"}},{"before":"b04bd99df9e61771ee053588668a954798c74da4","after":"ac147d972864e6215275f6472fb9e96125517d65","ref":"refs/heads/master","pushedAt":"2024-02-01T17:50:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hivert","name":"Florent Hivert","path":"/hivert","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7465401?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"23412c56d48f8222e64e254af67d26490e69c564","after":"b04bd99df9e61771ee053588668a954798c74da4","ref":"refs/heads/master","pushedAt":"2024-02-01T17:46:37.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"hivert","name":"Florent Hivert","path":"/hivert","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7465401?s=80&v=4"},"commit":{"message":"Merge","shortMessageHtmlLink":"Merge"}},{"before":"bd31547ec4084b74c4212e30370a18db2a651e9d","after":null,"ref":"refs/heads/mathcomp-2","pushedAt":"2024-02-01T17:44:16.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"hivert","name":"Florent Hivert","path":"/hivert","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7465401?s=80&v=4"}},{"before":"2c069bc4515889c77401eb697ff27cf848927023","after":"23412c56d48f8222e64e254af67d26490e69c564","ref":"refs/heads/master","pushedAt":"2024-02-01T17:44:10.000Z","pushType":"pr_merge","commitsCount":44,"pusher":{"login":"hivert","name":"Florent Hivert","path":"/hivert","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7465401?s=80&v=4"},"commit":{"message":"CI with Nix\n\nGithub CI workflow with mathcomp-classical","shortMessageHtmlLink":"CI with Nix"}},{"before":"7f64a9c84c172fd4f42fda70d0330464a11c1518","after":null,"ref":"refs/heads/nix","pushedAt":"2024-02-01T17:23:55.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"hivert","name":"Florent Hivert","path":"/hivert","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7465401?s=80&v=4"}},{"before":"bcc9d296846cab942beb95dfbb19ec575899efa1","after":"bd31547ec4084b74c4212e30370a18db2a651e9d","ref":"refs/heads/mathcomp-2","pushedAt":"2024-02-01T17:23:46.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"hivert","name":"Florent Hivert","path":"/hivert","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7465401?s=80&v=4"},"commit":{"message":"CI with Nix\n\nGithub CI workflow with mathcomp-classical","shortMessageHtmlLink":"CI with Nix"}},{"before":"8f3b1843a2248614b0136c2aed0b549f1742f0fc","after":"7f64a9c84c172fd4f42fda70d0330464a11c1518","ref":"refs/heads/nix","pushedAt":"2024-02-01T16:59:09.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"hivert","name":"Florent Hivert","path":"/hivert","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7465401?s=80&v=4"},"commit":{"message":"Override version for math-comp-classical","shortMessageHtmlLink":"Override version for math-comp-classical"}},{"before":"978ae7d2f0f9fd271ac2435bba1cb69dcfdc203c","after":"8f3b1843a2248614b0136c2aed0b549f1742f0fc","ref":"refs/heads/nix","pushedAt":"2024-02-01T15:36:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hivert","name":"Florent Hivert","path":"/hivert","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7465401?s=80&v=4"},"commit":{"message":"Without mathcomp-(classical|analysis) -- should fail","shortMessageHtmlLink":"Without mathcomp-(classical|analysis) -- should fail"}},{"before":"e14ca8f90baa3ec7d6bd80039b37f68982e4e17c","after":"978ae7d2f0f9fd271ac2435bba1cb69dcfdc203c","ref":"refs/heads/nix","pushedAt":"2024-02-01T15:33:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hivert","name":"Florent Hivert","path":"/hivert","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7465401?s=80&v=4"},"commit":{"message":"Try with mathcomp-classical","shortMessageHtmlLink":"Try with mathcomp-classical"}},{"before":"d1ca39dd67772b62f6de7d4ccae8ba93a9872675","after":"e14ca8f90baa3ec7d6bd80039b37f68982e4e17c","ref":"refs/heads/nix","pushedAt":"2024-02-01T15:21:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hivert","name":"Florent Hivert","path":"/hivert","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7465401?s=80&v=4"},"commit":{"message":"Github CI workflow","shortMessageHtmlLink":"Github CI workflow"}},{"before":"ccc566f79efc9245370ec06e596637322274b1ff","after":"d1ca39dd67772b62f6de7d4ccae8ba93a9872675","ref":"refs/heads/nix","pushedAt":"2024-02-01T09:03:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hivert","name":"Florent Hivert","path":"/hivert","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7465401?s=80&v=4"},"commit":{"message":"Tentative multiple NIX bundle","shortMessageHtmlLink":"Tentative multiple NIX bundle"}},{"before":null,"after":"ccc566f79efc9245370ec06e596637322274b1ff","ref":"refs/heads/nix","pushedAt":"2024-02-01T08:50:52.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"hivert","name":"Florent Hivert","path":"/hivert","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7465401?s=80&v=4"},"commit":{"message":"Added missing math-comp analysis for ci","shortMessageHtmlLink":"Added missing math-comp analysis for ci"}},{"before":"e09b008450349bc046cb1392a40fad983f8259e7","after":"bcc9d296846cab942beb95dfbb19ec575899efa1","ref":"refs/heads/mathcomp-2","pushedAt":"2024-02-01T08:49:14.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"hivert","name":"Florent Hivert","path":"/hivert","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7465401?s=80&v=4"},"commit":{"message":"MC 2.2.0 : No more pi_phant","shortMessageHtmlLink":"MC 2.2.0 : No more pi_phant"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAD-6_6HQA","startCursor":null,"endCursor":null}},"title":"Activity · hivert/FormalPowerSeries"}