{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":112471761,"defaultBranch":"master","name":"analysis","ownerLogin":"math-comp","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2017-11-29T12:17:44.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/11424151?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1717657756.0","currentOid":""},"activityList":{"items":[{"before":"319c75b95aa62a660d0768c1b091da36e5bf837a","after":"689880dda16bdd8c0c22956cb850b88a3b24e021","ref":"refs/heads/master","pushedAt":"2024-07-16T16:58:36.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"proux01","name":"Pierre Roux","path":"/proux01","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15833376?s=80&v=4"},"commit":{"message":"Adapt to https://github.com/math-comp/math-comp/pull/1246 (#1262)","shortMessageHtmlLink":"Adapt to <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2407341123\" data-permission-text=\"Title is private\" data-url=\"https://github.com/math-comp/math-comp/issues/1246\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/math-comp/math-comp/pull/1246/hovercard\" href=\"https://github.com/math-comp/math-comp/pull/1246\">math-comp/math-comp#1246</a> (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2411167094\" data-permission-text=\"Title is private\" data-url=\"https://github.com/math-comp/analysis/issues/1262\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/math-comp/analysis/pull/1262/hovercard\" href=\"https://github.com/math-comp/analysis/pull/1262\">#1262</a>)"}},{"before":"1baa0a8dd58e48112befb04c8e8f6000ae9d3488","after":"319c75b95aa62a660d0768c1b091da36e5bf837a","ref":"refs/heads/master","pushedAt":"2024-07-16T10:37:20.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"affeldt-aist","name":null,"path":"/affeldt-aist","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33154536?s=80&v=4"},"commit":{"message":"fixes #330 (floor and ceil subsumed by MathComp) (#1244)\n\n* fixes #330\r\n\r\n---------\r\n\r\nCo-authored-by: Kazuhiko Sakaguchi <pi8027@gmail.com>","shortMessageHtmlLink":"<span class=\"issue-keyword tooltipped tooltipped-se\" aria-label=\"This commit closes issue #330.\">fixes</span> <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"794740724\" data-permission-text=\"Title is private\" data-url=\"https://github.com/math-comp/analysis/issues/330\" data-hovercard-type=\"issue\" data-hovercard-url=\"/math-comp/analysis/issues/330/hovercard\" href=\"https://github.com/math-comp/analysis/issues/330\">#330</a> (floor and ceil subsumed by MathComp) (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2357452964\" data-permission-text=\"Title is private\" data-url=\"https://github.com/math-comp/analysis/issues/1244\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/math-comp/analysis/pull/1244/hovercard\" href=\"https://github.com/math-comp/analysis/pull/1244\">#1244</a>)"}},{"before":"59fb6d2c2fa4613bf3bfb3e8dd9c13c9638d727e","after":"1baa0a8dd58e48112befb04c8e8f6000ae9d3488","ref":"refs/heads/master","pushedAt":"2024-07-11T06:37:04.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"proux01","name":"Pierre Roux","path":"/proux01","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15833376?s=80&v=4"},"commit":{"message":"[CI] Add Coq 8.20 (#1259)","shortMessageHtmlLink":"[CI] Add Coq 8.20 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2400968367\" data-permission-text=\"Title is private\" data-url=\"https://github.com/math-comp/analysis/issues/1259\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/math-comp/analysis/pull/1259/hovercard\" href=\"https://github.com/math-comp/analysis/pull/1259\">#1259</a>)"}},{"before":"47d1b2214026948dccc5bdb8b98915c687051773","after":"59fb6d2c2fa4613bf3bfb3e8dd9c13c9638d727e","ref":"refs/heads/master","pushedAt":"2024-07-06T12:30:44.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"affeldt-aist","name":null,"path":"/affeldt-aist","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33154536?s=80&v=4"},"commit":{"message":"ae corollary of FTC1 (#1250)\n\n* ae corollary of FTC1\r\n\r\n---------\r\n\r\nCo-authored-by: zstone1 <zstonex@gmail.com>","shortMessageHtmlLink":"ae corollary of FTC1 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2369143888\" data-permission-text=\"Title is private\" data-url=\"https://github.com/math-comp/analysis/issues/1250\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/math-comp/analysis/pull/1250/hovercard\" href=\"https://github.com/math-comp/analysis/pull/1250\">#1250</a>)"}},{"before":"84cf8a3bc0143c5ea148697ac5e809032cb1b88a","after":"47d1b2214026948dccc5bdb8b98915c687051773","ref":"refs/heads/master","pushedAt":"2024-07-01T05:42:49.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"affeldt-aist","name":null,"path":"/affeldt-aist","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33154536?s=80&v=4"},"commit":{"message":"fixes #1253 (#1254)","shortMessageHtmlLink":"<span class=\"issue-keyword tooltipped tooltipped-se\" aria-label=\"This commit closes issue #1253.\">fixes</span> <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2377298612\" data-permission-text=\"Title is private\" data-url=\"https://github.com/math-comp/analysis/issues/1253\" data-hovercard-type=\"issue\" data-hovercard-url=\"/math-comp/analysis/issues/1253/hovercard\" href=\"https://github.com/math-comp/analysis/issues/1253\">#1253</a> (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2377301227\" data-permission-text=\"Title is private\" data-url=\"https://github.com/math-comp/analysis/issues/1254\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/math-comp/analysis/pull/1254/hovercard\" href=\"https://github.com/math-comp/analysis/pull/1254\">#1254</a>)"}},{"before":"817f4ce8108fda5e09280ae2f59ec8ed58e6d301","after":"84cf8a3bc0143c5ea148697ac5e809032cb1b88a","ref":"refs/heads/master","pushedAt":"2024-06-26T06:36:33.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"affeldt-aist","name":null,"path":"/affeldt-aist","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33154536?s=80&v=4"},"commit":{"message":"identifier for completed lebesgue measure (#1224)\n\n* identifier for completed lebesgue measure\r\n\r\nCo-authored-by: IshiguroYoshihiro <jb.15r.1213@s.thers.ac.jp>","shortMessageHtmlLink":"identifier for completed lebesgue measure (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2305083556\" data-permission-text=\"Title is private\" data-url=\"https://github.com/math-comp/analysis/issues/1224\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/math-comp/analysis/pull/1224/hovercard\" href=\"https://github.com/math-comp/analysis/pull/1224\">#1224</a>)"}},{"before":"53a6bff77bd285d33cb91094cfbee9e092837f34","after":"817f4ce8108fda5e09280ae2f59ec8ed58e6d301","ref":"refs/heads/master","pushedAt":"2024-06-24T21:19:56.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"CohenCyril","name":"Cyril Cohen","path":"/CohenCyril","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/298705?s=80&v=4"},"commit":{"message":"Merge pull request #1247 from affeldt-aist/fixes_1231\n\nfixes #1231 (space ball lemma)","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2364784507\" data-permission-text=\"Title is private\" data-url=\"https://github.com/math-comp/analysis/issues/1247\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/math-comp/analysis/pull/1247/hovercard\" href=\"https://github.com/math-comp/analysis/pull/1247\">#1247</a> from affeldt-aist/fixes_1231"}},{"before":"2791a9f810178da638e9632ed46b215031d90fef","after":"53a6bff77bd285d33cb91094cfbee9e092837f34","ref":"refs/heads/master","pushedAt":"2024-06-20T15:21:19.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"affeldt-aist","name":null,"path":"/affeldt-aist","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33154536?s=80&v=4"},"commit":{"message":"fixes #1241 (#1242)","shortMessageHtmlLink":"<span class=\"issue-keyword tooltipped tooltipped-se\" aria-label=\"This commit closes issue #1241.\">fixes</span> <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2355386281\" data-permission-text=\"Title is private\" data-url=\"https://github.com/math-comp/analysis/issues/1241\" data-hovercard-type=\"issue\" data-hovercard-url=\"/math-comp/analysis/issues/1241/hovercard\" href=\"https://github.com/math-comp/analysis/issues/1241\">#1241</a> (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2356058269\" data-permission-text=\"Title is private\" data-url=\"https://github.com/math-comp/analysis/issues/1242\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/math-comp/analysis/pull/1242/hovercard\" href=\"https://github.com/math-comp/analysis/pull/1242\">#1242</a>)"}},{"before":"9c311a9344f3af02fbb12101b24482846d64e8ea","after":"2791a9f810178da638e9632ed46b215031d90fef","ref":"refs/heads/master","pushedAt":"2024-06-20T14:17:41.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"affeldt-aist","name":null,"path":"/affeldt-aist","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33154536?s=80&v=4"},"commit":{"message":"upd nix toolbox (#1245)\n\n* upd nix toolbox","shortMessageHtmlLink":"upd nix toolbox (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2364410117\" data-permission-text=\"Title is private\" data-url=\"https://github.com/math-comp/analysis/issues/1245\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/math-comp/analysis/pull/1245/hovercard\" href=\"https://github.com/math-comp/analysis/pull/1245\">#1245</a>)"}},{"before":"8d95107d2031aa99b4da8a09d864acbc5faae87d","after":"9c311a9344f3af02fbb12101b24482846d64e8ea","ref":"refs/heads/master","pushedAt":"2024-06-06T06:32:49.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"affeldt-aist","name":null,"path":"/affeldt-aist","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33154536?s=80&v=4"},"commit":{"message":"changelog for version 1.2.0 (#1239)\n\n* changelog for version 1.2.0","shortMessageHtmlLink":"changelog for version 1.2.0 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2337343376\" data-permission-text=\"Title is private\" data-url=\"https://github.com/math-comp/analysis/issues/1239\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/math-comp/analysis/pull/1239/hovercard\" href=\"https://github.com/math-comp/analysis/pull/1239\">#1239</a>)"}},{"before":"a15ca1fdb6a67e81bd9f59aff94334506e4814f0","after":"8d95107d2031aa99b4da8a09d864acbc5faae87d","ref":"refs/heads/master","pushedAt":"2024-06-05T06:45:24.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"affeldt-aist","name":null,"path":"/affeldt-aist","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33154536?s=80&v=4"},"commit":{"message":"sigma-rings (#1222)\n\nsigma-rings\r\n\r\nCo-authored-by: @TheoWinterhalter\r\nCo-authored-by: @JeremyDubut\r\nCo-authored-by: @AkihisaYamada\r\nCo-authored-by: @proux01","shortMessageHtmlLink":"sigma-rings (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2294733082\" data-permission-text=\"Title is private\" data-url=\"https://github.com/math-comp/analysis/issues/1222\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/math-comp/analysis/pull/1222/hovercard\" href=\"https://github.com/math-comp/analysis/pull/1222\">#1222</a>)"}},{"before":"dd40c514ad72c06a7cbca7fc204288d74c25f7a1","after":"a15ca1fdb6a67e81bd9f59aff94334506e4814f0","ref":"refs/heads/master","pushedAt":"2024-06-05T06:16:22.000Z","pushType":"pr_merge","commitsCount":5,"pusher":{"login":"affeldt-aist","name":null,"path":"/affeldt-aist","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33154536?s=80&v=4"},"commit":{"message":"Merge pull request #1238 from affeldt-aist/fixes_20240605\n\nFixes 20240605","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2334964049\" data-permission-text=\"Title is private\" data-url=\"https://github.com/math-comp/analysis/issues/1238\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/math-comp/analysis/pull/1238/hovercard\" href=\"https://github.com/math-comp/analysis/pull/1238\">#1238</a> from affeldt-aist/fixes_20240605"}},{"before":"22f3c4ef755e30138068dc4991200fa02575cd36","after":"dd40c514ad72c06a7cbca7fc204288d74c25f7a1","ref":"refs/heads/master","pushedAt":"2024-05-31T04:37:34.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"affeldt-aist","name":null,"path":"/affeldt-aist","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33154536?s=80&v=4"},"commit":{"message":"Improve compatibility lemmas in Rstruct (#1235)\n\n* strengthen RinvE and RdivE; add Pos_to_natE and IZposRE\r\n\r\n---------\r\n\r\nCo-authored-by: Reynald Affeldt <reynald.affeldt@aist.go.jp>","shortMessageHtmlLink":"Improve compatibility lemmas in Rstruct (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2324744012\" data-permission-text=\"Title is private\" data-url=\"https://github.com/math-comp/analysis/issues/1235\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/math-comp/analysis/pull/1235/hovercard\" href=\"https://github.com/math-comp/analysis/pull/1235\">#1235</a>)"}},{"before":"e00d6f76e4ddbd7bc098e0bc9c99f763e07861fd","after":"22f3c4ef755e30138068dc4991200fa02575cd36","ref":"refs/heads/master","pushedAt":"2024-05-28T23:52:25.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"affeldt-aist","name":null,"path":"/affeldt-aist","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33154536?s=80&v=4"},"commit":{"message":"small issues (#1234)\n\n- fixes isses #1229\r\n- fixes issue #1232\r\n- fixes issue #1233","shortMessageHtmlLink":"small issues (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2321291708\" data-permission-text=\"Title is private\" data-url=\"https://github.com/math-comp/analysis/issues/1234\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/math-comp/analysis/pull/1234/hovercard\" href=\"https://github.com/math-comp/analysis/pull/1234\">#1234</a>)"}},{"before":"0e6b422f03c657007acce0bc7f0dfd60c9d2bfb9","after":"e00d6f76e4ddbd7bc098e0bc9c99f763e07861fd","ref":"refs/heads/master","pushedAt":"2024-05-27T01:04:41.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"affeldt-aist","name":null,"path":"/affeldt-aist","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33154536?s=80&v=4"},"commit":{"message":"bernoulli probability measure (#895)\n\n* bernoulli, binomial, uniform distr\r\n\r\nCo-authored-by: Takafumi Saikawa <tscompor@gmail.com>","shortMessageHtmlLink":"bernoulli probability measure (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1664063281\" data-permission-text=\"Title is private\" data-url=\"https://github.com/math-comp/analysis/issues/895\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/math-comp/analysis/pull/895/hovercard\" href=\"https://github.com/math-comp/analysis/pull/895\">#895</a>)"}},{"before":"d036c348096691c59f1c4de727aa411e455c1662","after":"0e6b422f03c657007acce0bc7f0dfd60c9d2bfb9","ref":"refs/heads/master","pushedAt":"2024-05-15T09:26:09.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"proux01","name":"Pierre Roux","path":"/proux01","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15833376?s=80&v=4"},"commit":{"message":"rm warnings mathcomp-2.1.0 (#1223)","shortMessageHtmlLink":"rm warnings mathcomp-2.1.0 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2295042277\" data-permission-text=\"Title is private\" data-url=\"https://github.com/math-comp/analysis/issues/1223\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/math-comp/analysis/pull/1223/hovercard\" href=\"https://github.com/math-comp/analysis/pull/1223\">#1223</a>)"}},{"before":"ccbfa1fe19e1086e24096dd8b0b869e71dac5601","after":"d036c348096691c59f1c4de727aa411e455c1662","ref":"refs/heads/master","pushedAt":"2024-05-14T13:00:34.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"affeldt-aist","name":null,"path":"/affeldt-aist","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33154536?s=80&v=4"},"commit":{"message":"not_near_at_leftP (#1221)","shortMessageHtmlLink":"not_near_at_leftP (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2287083368\" data-permission-text=\"Title is private\" data-url=\"https://github.com/math-comp/analysis/issues/1221\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/math-comp/analysis/pull/1221/hovercard\" href=\"https://github.com/math-comp/analysis/pull/1221\">#1221</a>)"}},{"before":"267f9a0c1db0f5ed4ec7588ae841bd0a1d92cf2e","after":"ccbfa1fe19e1086e24096dd8b0b869e71dac5601","ref":"refs/heads/master","pushedAt":"2024-04-26T00:46:56.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"affeldt-aist","name":null,"path":"/affeldt-aist","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33154536?s=80&v=4"},"commit":{"message":"Lock sin and cos (#1218)\n\n* Lock sin, cos, asin, acos, atan","shortMessageHtmlLink":"Lock sin and cos (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2261469034\" data-permission-text=\"Title is private\" data-url=\"https://github.com/math-comp/analysis/issues/1218\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/math-comp/analysis/pull/1218/hovercard\" href=\"https://github.com/math-comp/analysis/pull/1218\">#1218</a>)"}},{"before":"b30c8d718fcaf255675ae4ed905fbffbac0e1e80","after":null,"ref":"refs/heads/drop_816_817","pushedAt":"2024-04-24T21:47:31.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"proux01","name":"Pierre Roux","path":"/proux01","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15833376?s=80&v=4"}},{"before":"40fabe65a91dcecc81e0da328ec059d7f661fc8a","after":"267f9a0c1db0f5ed4ec7588ae841bd0a1d92cf2e","ref":"refs/heads/master","pushedAt":"2024-04-24T21:47:27.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"proux01","name":"Pierre Roux","path":"/proux01","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15833376?s=80&v=4"},"commit":{"message":"Replace nosimpl with simpl never","shortMessageHtmlLink":"Replace nosimpl with simpl never"}},{"before":"25784f5ee21caa4528a56eeb52fb5d5b49edb5f2","after":"b30c8d718fcaf255675ae4ed905fbffbac0e1e80","ref":"refs/heads/drop_816_817","pushedAt":"2024-04-24T20:34:43.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"proux01","name":"Pierre Roux","path":"/proux01","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15833376?s=80&v=4"},"commit":{"message":"Replace nosimpl with simpl never","shortMessageHtmlLink":"Replace nosimpl with simpl never"}},{"before":"78b445497e9dcb66378821ac4e4500c4252d27da","after":null,"ref":"refs/heads/mark_backported","pushedAt":"2024-04-24T20:33:35.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"proux01","name":"Pierre Roux","path":"/proux01","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15833376?s=80&v=4"}},{"before":"4935fce5178c356e11404013d6f1b6047495c8db","after":"40fabe65a91dcecc81e0da328ec059d7f661fc8a","ref":"refs/heads/master","pushedAt":"2024-04-24T20:33:30.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"proux01","name":"Pierre Roux","path":"/proux01","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15833376?s=80&v=4"},"commit":{"message":"Mark things as backported","shortMessageHtmlLink":"Mark things as backported"}},{"before":null,"after":"25784f5ee21caa4528a56eeb52fb5d5b49edb5f2","ref":"refs/heads/drop_816_817","pushedAt":"2024-04-24T20:32:31.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"proux01","name":"Pierre Roux","path":"/proux01","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15833376?s=80&v=4"},"commit":{"message":"Replace nosimpl with simpl never","shortMessageHtmlLink":"Replace nosimpl with simpl never"}},{"before":"1bf55c108a24b90927c8e3a141eb2c87b0df1888","after":"4935fce5178c356e11404013d6f1b6047495c8db","ref":"refs/heads/master","pushedAt":"2024-04-24T16:09:34.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"proux01","name":"Pierre Roux","path":"/proux01","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15833376?s=80&v=4"},"commit":{"message":"mulr_rev out of forms.v (#1122)\n\nCleanup mulr_rev and revop","shortMessageHtmlLink":"mulr_rev out of forms.v (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2052228362\" data-permission-text=\"Title is private\" data-url=\"https://github.com/math-comp/analysis/issues/1122\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/math-comp/analysis/pull/1122/hovercard\" href=\"https://github.com/math-comp/analysis/pull/1122\">#1122</a>)"}},{"before":"c38329283a6e187fb744b45be927df93d8e00da0","after":"78b445497e9dcb66378821ac4e4500c4252d27da","ref":"refs/heads/mark_backported","pushedAt":"2024-04-24T14:44:52.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"proux01","name":"Pierre Roux","path":"/proux01","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15833376?s=80&v=4"},"commit":{"message":"Mark things as backported","shortMessageHtmlLink":"Mark things as backported"}},{"before":null,"after":"c38329283a6e187fb744b45be927df93d8e00da0","ref":"refs/heads/mark_backported","pushedAt":"2024-04-24T13:20:12.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"proux01","name":"Pierre Roux","path":"/proux01","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15833376?s=80&v=4"},"commit":{"message":"Mark things as backported","shortMessageHtmlLink":"Mark things as backported"}},{"before":null,"after":"3b6ce62f00e5224306564d62f577270954828dc0","ref":"refs/heads/mc_1213","pushedAt":"2024-04-23T16:42:15.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":"[WIP] Adapt to math-comp/math-comp#1213","shortMessageHtmlLink":"[WIP] Adapt to <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2258717450\" data-permission-text=\"Title is private\" data-url=\"https://github.com/math-comp/math-comp/issues/1213\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/math-comp/math-comp/pull/1213/hovercard\" href=\"https://github.com/math-comp/math-comp/pull/1213\">math-comp/math-comp#1213</a>"}},{"before":"dbc44104e2c44970fa583b49f19f02f9da7c0642","after":"1bf55c108a24b90927c8e3a141eb2c87b0df1888","ref":"refs/heads/master","pushedAt":"2024-04-21T11:59:18.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"affeldt-aist","name":null,"path":"/affeldt-aist","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33154536?s=80&v=4"},"commit":{"message":"Readme 20240417 (#1211)\n\n* add all_analysis.v file","shortMessageHtmlLink":"Readme 20240417 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2246504764\" data-permission-text=\"Title is private\" data-url=\"https://github.com/math-comp/analysis/issues/1211\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/math-comp/analysis/pull/1211/hovercard\" href=\"https://github.com/math-comp/analysis/pull/1211\">#1211</a>)"}},{"before":"029d26e49d71989b50626546a65432b7cbe37ac5","after":"dbc44104e2c44970fa583b49f19f02f9da7c0642","ref":"refs/heads/master","pushedAt":"2024-04-19T14:32:29.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"affeldt-aist","name":null,"path":"/affeldt-aist","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33154536?s=80&v=4"},"commit":{"message":"fixes #1990 (#1215)","shortMessageHtmlLink":"fixes #1990 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2252500077\" data-permission-text=\"Title is private\" data-url=\"https://github.com/math-comp/analysis/issues/1215\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/math-comp/analysis/pull/1215/hovercard\" href=\"https://github.com/math-comp/analysis/pull/1215\">#1215</a>)"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEgQTT6QA","startCursor":null,"endCursor":null}},"title":"Activity · math-comp/analysis"}