{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":605449199,"defaultBranch":"main","name":"hol2dk","ownerLogin":"Deducteam","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-02-23T07:11:54.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/32068788?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1720423797.0","currentOid":""},"activityList":{"items":[{"before":"af870937f1f6e034a920e8dc90901790a01819bd","after":null,"ref":"refs/heads/dependabot/github_actions/avsm/setup-ocaml-3","pushedAt":"2024-07-08T07:29:57.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"fblanqui","name":"Frédéric Blanqui","path":"/fblanqui","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10852505?s=80&v=4"}},{"before":"52f177db3ff3553431b0d0067683c61ee9fab32e","after":"f494e0d29eca7a8ad33fc34f5ac9755165b661f5","ref":"refs/heads/main","pushedAt":"2024-07-08T07:29:54.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"fblanqui","name":"Frédéric Blanqui","path":"/fblanqui","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10852505?s=80&v=4"},"commit":{"message":"Bump avsm/setup-ocaml from 2 to 3 (#136)\n\nBumps [avsm/setup-ocaml](https://github.com/avsm/setup-ocaml) from 2 to 3.\r\n- [Release notes](https://github.com/avsm/setup-ocaml/releases)\r\n- [Changelog](https://github.com/ocaml/setup-ocaml/blob/master/CHANGELOG.md)\r\n- [Commits](https://github.com/avsm/setup-ocaml/compare/v2...v3)\r\n\r\n---\r\nupdated-dependencies:\r\n- dependency-name: avsm/setup-ocaml\r\n  dependency-type: direct:production\r\n  update-type: version-update:semver-major\r\n...\r\n\r\nSigned-off-by: dependabot[bot] <support@github.com>\r\nCo-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>","shortMessageHtmlLink":"Bump avsm/setup-ocaml from 2 to 3 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2394841337\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Deducteam/hol2dk/issues/136\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/Deducteam/hol2dk/pull/136/hovercard\" href=\"https://github.com/Deducteam/hol2dk/pull/136\">#136</a>)"}},{"before":null,"after":"af870937f1f6e034a920e8dc90901790a01819bd","ref":"refs/heads/dependabot/github_actions/avsm/setup-ocaml-3","pushedAt":"2024-07-08T07:15:50.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"},"commit":{"message":"Bump avsm/setup-ocaml from 2 to 3\n\nBumps [avsm/setup-ocaml](https://github.com/avsm/setup-ocaml) from 2 to 3.\n- [Release notes](https://github.com/avsm/setup-ocaml/releases)\n- [Changelog](https://github.com/ocaml/setup-ocaml/blob/master/CHANGELOG.md)\n- [Commits](https://github.com/avsm/setup-ocaml/compare/v2...v3)\n\n---\nupdated-dependencies:\n- dependency-name: avsm/setup-ocaml\n  dependency-type: direct:production\n  update-type: version-update:semver-major\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>","shortMessageHtmlLink":"Bump avsm/setup-ocaml from 2 to 3"}},{"before":"0059a181e647ba00b2aa8806966fa3b61724ae1b","after":"52f177db3ff3553431b0d0067683c61ee9fab32e","ref":"refs/heads/main","pushedAt":"2024-06-14T14:57:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"fblanqui","name":"Frédéric Blanqui","path":"/fblanqui","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10852505?s=80&v=4"},"commit":{"message":"README.md: kocheck accepts injective now","shortMessageHtmlLink":"README.md: kocheck accepts injective now"}},{"before":"3acc8fe8ba3b819cfae754ab3aed70ce040db2ed","after":"0059a181e647ba00b2aa8806966fa3b61724ae1b","ref":"refs/heads/main","pushedAt":"2024-04-23T14:40:13.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"fblanqui","name":"Frédéric Blanqui","path":"/fblanqui","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10852505?s=80&v=4"},"commit":{"message":"prepare release 2.0.0","shortMessageHtmlLink":"prepare release 2.0.0"}},{"before":"2e076cdf3e6d7a20bb147592a6144a9eb9c7b8af","after":"3acc8fe8ba3b819cfae754ab3aed70ce040db2ed","ref":"refs/heads/main","pushedAt":"2024-04-23T14:06:32.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"fblanqui","name":"Frédéric Blanqui","path":"/fblanqui","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10852505?s=80&v=4"},"commit":{"message":"xdk: fix typ_name (#134)","shortMessageHtmlLink":"xdk: fix typ_name (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2258923830\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Deducteam/hol2dk/issues/134\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/Deducteam/hol2dk/pull/134/hovercard\" href=\"https://github.com/Deducteam/hol2dk/pull/134\">#134</a>)"}},{"before":"b3702f5b12b4e29ada750b2b55ef231826a58cf0","after":"2e076cdf3e6d7a20bb147592a6144a9eb9c7b8af","ref":"refs/heads/main","pushedAt":"2024-04-19T16:23:22.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"fblanqui","name":"Frédéric Blanqui","path":"/fblanqui","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10852505?s=80&v=4"},"commit":{"message":"Generate spec files in hol2dk (#133)","shortMessageHtmlLink":"Generate spec files in hol2dk (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2252126910\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Deducteam/hol2dk/issues/133\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/Deducteam/hol2dk/pull/133/hovercard\" href=\"https://github.com/Deducteam/hol2dk/pull/133\">#133</a>)"}},{"before":"c7470401f3618ca3b880b657c091ff6f6c1b695b","after":"b3702f5b12b4e29ada750b2b55ef231826a58cf0","ref":"refs/heads/main","pushedAt":"2024-04-19T05:34:51.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"fblanqui","name":"Frédéric Blanqui","path":"/fblanqui","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10852505?s=80&v=4"},"commit":{"message":"remove mapping of ITLIST wrt current version of hol-light (#131)","shortMessageHtmlLink":"remove mapping of ITLIST wrt current version of hol-light (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2251489837\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Deducteam/hol2dk/issues/131\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/Deducteam/hol2dk/pull/131/hovercard\" href=\"https://github.com/Deducteam/hol2dk/pull/131\">#131</a>)"}},{"before":"575d00a386c7571edf5f16881eb9e8c4a1762bb6","after":"c7470401f3618ca3b880b657c091ff6f6c1b695b","ref":"refs/heads/main","pushedAt":"2024-04-18T20:43:22.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"fblanqui","name":"Frédéric Blanqui","path":"/fblanqui","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10852505?s=80&v=4"},"commit":{"message":"Makefile: add rm-siz (#132)","shortMessageHtmlLink":"Makefile: add rm-siz (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2251490000\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Deducteam/hol2dk/issues/132\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/Deducteam/hol2dk/pull/132/hovercard\" href=\"https://github.com/Deducteam/hol2dk/pull/132\">#132</a>)"}},{"before":"9a377ea02773f73dd7f90f3152b0facb2752f090","after":"575d00a386c7571edf5f16881eb9e8c4a1762bb6","ref":"refs/heads/main","pushedAt":"2024-04-16T20:29:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"fblanqui","name":"Frédéric Blanqui","path":"/fblanqui","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10852505?s=80&v=4"},"commit":{"message":"update README","shortMessageHtmlLink":"update README"}},{"before":"1a007b6379215ea822d9c9238254306b11a935e1","after":"9a377ea02773f73dd7f90f3152b0facb2752f090","ref":"refs/heads/main","pushedAt":"2024-04-16T17:38:31.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"fblanqui","name":"Frédéric Blanqui","path":"/fblanqui","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10852505?s=80&v=4"},"commit":{"message":"adapt to ocaml 5 (#130)\n\n* adapt to ocaml 5\r\n* ci: test ocaml 4.14.1 and ocaml 5.1.1\r\n* ci: lambdapi 2.5.0 and lambdapi master","shortMessageHtmlLink":"adapt to ocaml 5 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2246420180\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Deducteam/hol2dk/issues/130\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/Deducteam/hol2dk/pull/130/hovercard\" href=\"https://github.com/Deducteam/hol2dk/pull/130\">#130</a>)"}},{"before":"d7ef6f3f25d2f7c7c740bdeb5f89d651d4d79977","after":"1a007b6379215ea822d9c9238254306b11a935e1","ref":"refs/heads/main","pushedAt":"2024-04-16T13:13:21.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"fblanqui","name":"Frédéric Blanqui","path":"/fblanqui","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10852505?s=80&v=4"},"commit":{"message":"update doc, and rename dump-use into dump-before-hol (#129)","shortMessageHtmlLink":"update doc, and rename dump-use into dump-before-hol (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2245618847\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Deducteam/hol2dk/issues/129\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/Deducteam/hol2dk/pull/129/hovercard\" href=\"https://github.com/Deducteam/hol2dk/pull/129\">#129</a>)"}},{"before":"a3396635688e693bb3d0306aa2a5172e686889cb","after":"d7ef6f3f25d2f7c7c740bdeb5f89d651d4d79977","ref":"refs/heads/main","pushedAt":"2024-04-15T15:56:07.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"fblanqui","name":"Frédéric Blanqui","path":"/fblanqui","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10852505?s=80&v=4"},"commit":{"message":"update wrt master version of hol-light (#128)","shortMessageHtmlLink":"update wrt master version of hol-light (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2243876870\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Deducteam/hol2dk/issues/128\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/Deducteam/hol2dk/pull/128/hovercard\" href=\"https://github.com/Deducteam/hol2dk/pull/128\">#128</a>)"}},{"before":"409a23f44d60bcf24ac462ab600e5ae283d9c2ed","after":"a3396635688e693bb3d0306aa2a5172e686889cb","ref":"refs/heads/main","pushedAt":"2024-04-15T14:44:12.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"fblanqui","name":"Frédéric Blanqui","path":"/fblanqui","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10852505?s=80&v=4"},"commit":{"message":"update doc (#127)","shortMessageHtmlLink":"update doc (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2243737191\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Deducteam/hol2dk/issues/127\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/Deducteam/hol2dk/pull/127/hovercard\" href=\"https://github.com/Deducteam/hol2dk/pull/127\">#127</a>)"}},{"before":"d690f0f9f0a65c208a489e6f28d8412adc60b6ae","after":"409a23f44d60bcf24ac462ab600e5ae283d9c2ed","ref":"refs/heads/main","pushedAt":"2024-04-14T14:04:58.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"fblanqui","name":"Frédéric Blanqui","path":"/fblanqui","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10852505?s=80&v=4"},"commit":{"message":"Makefile: fix generation of spec files and modification of v files (#126)","shortMessageHtmlLink":"Makefile: fix generation of spec files and modification of v files (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2240270956\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Deducteam/hol2dk/issues/126\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/Deducteam/hol2dk/pull/126/hovercard\" href=\"https://github.com/Deducteam/hol2dk/pull/126\">#126</a>"}},{"before":"5442fc9015d26f26ee1400609eb561a29d983ef5","after":"d690f0f9f0a65c208a489e6f28d8412adc60b6ae","ref":"refs/heads/main","pushedAt":"2024-04-12T14:44:12.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"fblanqui","name":"Frédéric Blanqui","path":"/fblanqui","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10852505?s=80&v=4"},"commit":{"message":"add progress script (#123)\n\nadd progress script to provide information about the completion of make and an estimation of the remaining time","shortMessageHtmlLink":"add progress script (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2237645779\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Deducteam/hol2dk/issues/123\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/Deducteam/hol2dk/pull/123/hovercard\" href=\"https://github.com/Deducteam/hol2dk/pull/123\">#123</a>)"}},{"before":"598b94406fafaeb9f387674c4f5806b5f2472c0f","after":"5442fc9015d26f26ee1400609eb561a29d983ef5","ref":"refs/heads/main","pushedAt":"2024-04-12T12:02:42.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"fblanqui","name":"Frédéric Blanqui","path":"/fblanqui","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10852505?s=80&v=4"},"commit":{"message":"add renamings for coq output (#124)","shortMessageHtmlLink":"add renamings for coq output (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2237659767\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Deducteam/hol2dk/issues/124\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/Deducteam/hol2dk/pull/124/hovercard\" href=\"https://github.com/Deducteam/hol2dk/pull/124\">#124</a>)"}},{"before":"28b49051b9ae294a1e3f3b699a72ec4e75e1f167","after":"598b94406fafaeb9f387674c4f5806b5f2472c0f","ref":"refs/heads/main","pushedAt":"2024-04-11T14:26:35.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"fblanqui","name":"Frédéric Blanqui","path":"/fblanqui","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10852505?s=80&v=4"},"commit":{"message":"reorganize xlib.ml (#125)","shortMessageHtmlLink":"reorganize xlib.ml (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2237832639\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Deducteam/hol2dk/issues/125\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/Deducteam/hol2dk/pull/125/hovercard\" href=\"https://github.com/Deducteam/hol2dk/pull/125\">#125</a>)"}},{"before":"24f254a5988518459de816c8169e43d1c230a9aa","after":"28b49051b9ae294a1e3f3b699a72ec4e75e1f167","ref":"refs/heads/main","pushedAt":"2024-04-10T10:52:15.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"fblanqui","name":"Frédéric Blanqui","path":"/fblanqui","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10852505?s=80&v=4"},"commit":{"message":"remove old unused code (one file by proof step) (#122)","shortMessageHtmlLink":"remove old unused code (one file by proof step) (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2234928077\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Deducteam/hol2dk/issues/122\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/Deducteam/hol2dk/pull/122/hovercard\" href=\"https://github.com/Deducteam/hol2dk/pull/122\">#122</a>)"}},{"before":"7d30d740c86bc21eb453ca61d530df6ab06b0d2d","after":"24f254a5988518459de816c8169e43d1c230a9aa","ref":"refs/heads/main","pushedAt":"2024-04-10T05:55:15.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"fblanqui","name":"Frédéric Blanqui","path":"/fblanqui","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10852505?s=80&v=4"},"commit":{"message":"xlp: fix type names in type_abbrevs (#121)","shortMessageHtmlLink":"xlp: fix type names in type_abbrevs (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2234150595\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Deducteam/hol2dk/issues/121\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/Deducteam/hol2dk/pull/121/hovercard\" href=\"https://github.com/Deducteam/hol2dk/pull/121\">#121</a>)"}},{"before":"8b24021e1708858e1347c1084a241292add0634b","after":"7d30d740c86bc21eb453ca61d530df6ab06b0d2d","ref":"refs/heads/main","pushedAt":"2024-04-09T16:13:07.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"fblanqui","name":"Frédéric Blanqui","path":"/fblanqui","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10852505?s=80&v=4"},"commit":{"message":"Use a single type_abbrev file (#120)\n\n- use a single type_abbrev file by first naming every type with a MD5 hash and later rename those hashes by a simpler ID\r\n- detect wrong number of arguments to each command\r\n- use Sys.rename in Xlib.rename\r\n- remove use_abbrev","shortMessageHtmlLink":"Use a single type_abbrev file (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2232772932\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Deducteam/hol2dk/issues/120\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/Deducteam/hol2dk/pull/120/hovercard\" href=\"https://github.com/Deducteam/hol2dk/pull/120\">#120</a>)"}},{"before":"ee4159044f31fd79d0b7c7d7b9ecdb162c49a556","after":"8b24021e1708858e1347c1084a241292add0634b","ref":"refs/heads/main","pushedAt":"2024-04-08T19:32:51.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"fblanqui","name":"Frédéric Blanqui","path":"/fblanqui","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10852505?s=80&v=4"},"commit":{"message":"Optimize output time (#119)","shortMessageHtmlLink":"Optimize output time (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2231551042\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Deducteam/hol2dk/issues/119\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/Deducteam/hol2dk/pull/119/hovercard\" href=\"https://github.com/Deducteam/hol2dk/pull/119\">#119</a>)"}},{"before":"d1bc1a1e874e52f076b0c093834197137f203da9","after":"ee4159044f31fd79d0b7c7d7b9ecdb162c49a556","ref":"refs/heads/main","pushedAt":"2024-04-08T15:45:19.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"fblanqui","name":"Frédéric Blanqui","path":"/fblanqui","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10852505?s=80&v=4"},"commit":{"message":"do not abbreviate types and terms that are applications of constants and variables only (#118)","shortMessageHtmlLink":"do not abbreviate types and terms that are applications of constants …"}},{"before":"51c124619795327350e5da5a82f03d4bfa2b8848","after":"d1bc1a1e874e52f076b0c093834197137f203da9","ref":"refs/heads/main","pushedAt":"2024-04-06T07:08:46.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"fblanqui","name":"Frédéric Blanqui","path":"/fblanqui","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10852505?s=80&v=4"},"commit":{"message":"Makefile: add targets to generate axiom versions of the lemmas (#115)","shortMessageHtmlLink":"Makefile: add targets to generate axiom versions of the lemmas (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2228494761\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Deducteam/hol2dk/issues/115\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/Deducteam/hol2dk/pull/115/hovercard\" href=\"https://github.com/Deducteam/hol2dk/pull/115\">#115</a>)"}},{"before":"b8b7f6462cbeb1d2c85a0468f8ccc598bdc5f1be","after":"51c124619795327350e5da5a82f03d4bfa2b8848","ref":"refs/heads/main","pushedAt":"2024-04-05T20:09:30.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"fblanqui","name":"Frédéric Blanqui","path":"/fblanqui","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10852505?s=80&v=4"},"commit":{"message":"revert #111 (#113)","shortMessageHtmlLink":"revert <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2222830539\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Deducteam/hol2dk/issues/111\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/Deducteam/hol2dk/pull/111/hovercard\" href=\"https://github.com/Deducteam/hol2dk/pull/111\">#111</a> (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2228479468\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Deducteam/hol2dk/issues/113\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/Deducteam/hol2dk/pull/113/hovercard\" href=\"https://github.com/Deducteam/hol2dk/pull/113\">#113</a>)"}},{"before":"4e55411bd0c68b02d7ed5877d358c19ca3327db4","after":"b8b7f6462cbeb1d2c85a0468f8ccc598bdc5f1be","ref":"refs/heads/main","pushedAt":"2024-04-05T19:46:20.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"fblanqui","name":"Frédéric Blanqui","path":"/fblanqui","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10852505?s=80&v=4"},"commit":{"message":"update doc (#117)","shortMessageHtmlLink":"update doc (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2228682926\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Deducteam/hol2dk/issues/117\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/Deducteam/hol2dk/pull/117/hovercard\" href=\"https://github.com/Deducteam/hol2dk/pull/117\">#117</a>)"}},{"before":"e46206f99d06b9ffde68f8af9c3bb9e8d6638ffa","after":"4e55411bd0c68b02d7ed5877d358c19ca3327db4","ref":"refs/heads/main","pushedAt":"2024-04-05T19:32:54.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"fblanqui","name":"Frédéric Blanqui","path":"/fblanqui","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10852505?s=80&v=4"},"commit":{"message":"BIG_FILES: ignore non-existing files + allow one-line comments (#114)","shortMessageHtmlLink":"BIG_FILES: ignore non-existing files + allow one-line comments (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2228494471\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Deducteam/hol2dk/issues/114\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/Deducteam/hol2dk/pull/114/hovercard\" href=\"https://github.com/Deducteam/hol2dk/pull/114\">#114</a>)"}},{"before":"f3d4b7c494d36c3f3ec3ff6375b1257e95ed1ed7","after":"e46206f99d06b9ffde68f8af9c3bb9e8d6638ffa","ref":"refs/heads/main","pushedAt":"2024-04-05T19:20:54.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"fblanqui","name":"Frédéric Blanqui","path":"/fblanqui","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10852505?s=80&v=4"},"commit":{"message":"ci: fix hol-light commit (#116)","shortMessageHtmlLink":"ci: fix hol-light commit (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2228612213\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Deducteam/hol2dk/issues/116\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/Deducteam/hol2dk/pull/116/hovercard\" href=\"https://github.com/Deducteam/hol2dk/pull/116\">#116</a>)"}},{"before":"ac686aed5e060cb9b06058a3c19e45a4f7f16e71","after":"f3d4b7c494d36c3f3ec3ff6375b1257e95ed1ed7","ref":"refs/heads/main","pushedAt":"2024-04-04T09:21:11.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"fblanqui","name":"Frédéric Blanqui","path":"/fblanqui","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10852505?s=80&v=4"},"commit":{"message":"fix Xlp.split_theorem_proof and Makefile (#112)","shortMessageHtmlLink":"fix Xlp.split_theorem_proof and Makefile (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2224725471\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Deducteam/hol2dk/issues/112\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/Deducteam/hol2dk/pull/112/hovercard\" href=\"https://github.com/Deducteam/hol2dk/pull/112\">#112</a>)"}},{"before":"6a219bd606763cbc91ea07715ad0bcb0cc0e27f1","after":"ac686aed5e060cb9b06058a3c19e45a4f7f16e71","ref":"refs/heads/main","pushedAt":"2024-04-03T15:40:46.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"fblanqui","name":"Frédéric Blanqui","path":"/fblanqui","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10852505?s=80&v=4"},"commit":{"message":"do not generate types for lemmas (#111)","shortMessageHtmlLink":"do not generate types for lemmas (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2222830539\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Deducteam/hol2dk/issues/111\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/Deducteam/hol2dk/pull/111/hovercard\" href=\"https://github.com/Deducteam/hol2dk/pull/111\">#111</a>)"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEeUygbAA","startCursor":null,"endCursor":null}},"title":"Activity · Deducteam/hol2dk"}