{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":35559890,"defaultBranch":"master","name":"finmap","ownerLogin":"math-comp","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2015-05-13T16:16:06.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/11424151?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1705500275.0","currentOid":""},"activityList":{"items":[{"before":"55bd90b06e5b85fb99d00b8c04c135dc06722d16","after":"a907a9e160a3ce0a546934a36016e75a05c73f3f","ref":"refs/heads/master","pushedAt":"2024-01-17T13:39:23.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"thery","name":"Laurent Théry","path":"/thery","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6795190?s=80&v=4"},"commit":{"message":"Merge pull request #111 from proux01/coq819\n\n[CI] Add Coq 8.19","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2086079793\" data-permission-text=\"Title is private\" data-url=\"https://github.com/math-comp/finmap/issues/111\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/math-comp/finmap/pull/111/hovercard\" href=\"https://github.com/math-comp/finmap/pull/111\">#111</a> from proux01/coq819"}},{"before":"1c818a3de74aee64e77bc2a4b398ed243742ce4d","after":null,"ref":"refs/heads/function_scope","pushedAt":"2023-12-08T15:50:55.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":"f855bec3cfcf096f21c9df999d8064804d604cd1","after":null,"ref":"refs/heads/ci","pushedAt":"2023-12-08T15:50:55.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":"d78c8696aad449a9b888e7a239dc954460254ba6","after":"55bd90b06e5b85fb99d00b8c04c135dc06722d16","ref":"refs/heads/master","pushedAt":"2023-12-08T15:36:40.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 #109 from math-comp/function_scope\n\nAdapt to math-comp/math-comp#1133 (replace fun_scope with function_scope)","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2031075382\" data-permission-text=\"Title is private\" data-url=\"https://github.com/math-comp/finmap/issues/109\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/math-comp/finmap/pull/109/hovercard\" href=\"https://github.com/math-comp/finmap/pull/109\">#109</a> from math-comp/function_scope"}},{"before":"b4e45e39baa99977d145aa5405def3430ef13303","after":"d78c8696aad449a9b888e7a239dc954460254ba6","ref":"refs/heads/master","pushedAt":"2023-12-07T16:46:37.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 #110 from math-comp/ci\n\nUpdate meta.yml","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2031090990\" data-permission-text=\"Title is private\" data-url=\"https://github.com/math-comp/finmap/issues/110\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/math-comp/finmap/pull/110/hovercard\" href=\"https://github.com/math-comp/finmap/pull/110\">#110</a> from math-comp/ci"}},{"before":"0906145412e1734ef22389cddff971fb9d328952","after":"1c818a3de74aee64e77bc2a4b398ed243742ce4d","ref":"refs/heads/function_scope","pushedAt":"2023-12-07T16:25:00.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":"Adapt to math-comp/math-comp#1133 (replace fun_scope with function_scope)","shortMessageHtmlLink":"Adapt to <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2028717739\" data-permission-text=\"Title is private\" data-url=\"https://github.com/math-comp/math-comp/issues/1133\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/math-comp/math-comp/pull/1133/hovercard\" href=\"https://github.com/math-comp/math-comp/pull/1133\">math-comp/math-comp#1133</a> (replace fun_scope with function_sc…"}},{"before":"eb4a5293cba54a1b28b5dde5c8f0ce9364d58667","after":"f855bec3cfcf096f21c9df999d8064804d604cd1","ref":"refs/heads/ci","pushedAt":"2023-12-07T16:25:00.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 meta.yml","shortMessageHtmlLink":"Update meta.yml"}},{"before":"d7bfa142d125c562109b2a196d987d096c882125","after":"0906145412e1734ef22389cddff971fb9d328952","ref":"refs/heads/function_scope","pushedAt":"2023-12-07T16:16:08.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":"Adapt to math-comp/math-comp#1133 (replace fun_scope with function_scope)","shortMessageHtmlLink":"Adapt to <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2028717739\" data-permission-text=\"Title is private\" data-url=\"https://github.com/math-comp/math-comp/issues/1133\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/math-comp/math-comp/pull/1133/hovercard\" href=\"https://github.com/math-comp/math-comp/pull/1133\">math-comp/math-comp#1133</a> (replace fun_scope with function_sc…"}},{"before":null,"after":"eb4a5293cba54a1b28b5dde5c8f0ce9364d58667","ref":"refs/heads/ci","pushedAt":"2023-12-07T16:16:08.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 meta.yml","shortMessageHtmlLink":"Update meta.yml"}},{"before":null,"after":"d7bfa142d125c562109b2a196d987d096c882125","ref":"refs/heads/function_scope","pushedAt":"2023-12-07T16:07:04.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":"Adapt to math-comp/math-comp#1133 (replace fun_scope with function_scope)","shortMessageHtmlLink":"Adapt to <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2028717739\" data-permission-text=\"Title is private\" data-url=\"https://github.com/math-comp/math-comp/issues/1133\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/math-comp/math-comp/pull/1133/hovercard\" href=\"https://github.com/math-comp/math-comp/pull/1133\">math-comp/math-comp#1133</a> (replace fun_scope with function_sc…"}},{"before":"3f3f478a44e17a44e2635fd2b7e8ac76f707a743","after":"b4e45e39baa99977d145aa5405def3430ef13303","ref":"refs/heads/master","pushedAt":"2023-05-23T14:32:20.927Z","pushType":"pr_merge","commitsCount":5,"pusher":{"login":"CohenCyril","name":"Cyril Cohen","path":"/CohenCyril","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/298705?s=80&v=4"},"commit":{"message":"Merge pull request #101 from affeldt-aist/from_infotheo_20221116\n\ntwo lemmas from infotheo","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1451008126\" data-permission-text=\"Title is private\" data-url=\"https://github.com/math-comp/finmap/issues/101\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/math-comp/finmap/pull/101/hovercard\" href=\"https://github.com/math-comp/finmap/pull/101\">#101</a> from affeldt-aist/from_infotheo_20221116"}},{"before":"cea9f088c9cddea1173bc2f7c4c7ebda35081b60","after":"3f3f478a44e17a44e2635fd2b7e8ac76f707a743","ref":"refs/heads/master","pushedAt":"2023-05-22T09:09:27.380Z","pushType":"pr_merge","commitsCount":5,"pusher":{"login":"CohenCyril","name":"Cyril Cohen","path":"/CohenCyril","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/298705?s=80&v=4"},"commit":{"message":"Merge pull request #84 from affeldt-aist/hierarchy-builder\n\ntentative port of `finmap.v` to HB","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"863398861\" data-permission-text=\"Title is private\" data-url=\"https://github.com/math-comp/finmap/issues/84\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/math-comp/finmap/pull/84/hovercard\" href=\"https://github.com/math-comp/finmap/pull/84\">#84</a> from affeldt-aist/hierarchy-builder"}},{"before":null,"after":"3837d3bfee77ca87cf674d45f9478f3b280cc273","ref":"refs/heads/generic_sets_mathcomp2","pushedAt":"2023-05-18T03:28:54.409Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"affeldt-aist","name":null,"path":"/affeldt-aist","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33154536?s=80&v=4"},"commit":{"message":"port set.v to MathComp 2","shortMessageHtmlLink":"port set.v to MathComp 2"}},{"before":null,"after":"cea9f088c9cddea1173bc2f7c4c7ebda35081b60","ref":"refs/heads/generic_sets_mathcomp1","pushedAt":"2023-05-18T02:31:33.565Z","pushType":"branch_creation","commitsCount":0,"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 #104 from thery/codomf_cat\n\nadd the theorem codomf_cat","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1514475993\" data-permission-text=\"Title is private\" data-url=\"https://github.com/math-comp/finmap/issues/104\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/math-comp/finmap/pull/104/hovercard\" href=\"https://github.com/math-comp/finmap/pull/104\">#104</a> from thery/codomf_cat"}},{"before":null,"after":"6709d589d12f882b5b26063e8fb448cf306291b8","ref":"refs/heads/from_infotheo_20221116","pushedAt":"2023-05-18T02:25:35.407Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"affeldt-aist","name":null,"path":"/affeldt-aist","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33154536?s=80&v=4"},"commit":{"message":"upd changelog","shortMessageHtmlLink":"upd changelog"}},{"before":null,"after":"0d7d175be0bef9353f39ba4523e8ecc1cfa132d2","ref":"refs/heads/experimental_set","pushedAt":"2023-05-17T14:27:54.695Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"affeldt-aist","name":null,"path":"/affeldt-aist","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33154536?s=80&v=4"},"commit":{"message":"experimental set.v\n\nCo-authored-by: Kazuhiko Sakaguchi <sakaguchi@coins.tsukuba.ac.jp>","shortMessageHtmlLink":"experimental set.v"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAD4g1vEQA","startCursor":null,"endCursor":null}},"title":"Activity · math-comp/finmap"}