{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":529900532,"defaultBranch":"main","name":"batteries","ownerLogin":"leanprover-community","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2022-08-28T15:23:46.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/41703605?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1717751200.0","currentOid":""},"activityList":{"items":[{"before":"b0b826a17897bd3f1e6f26540e523bbb359cbde9","after":"861cf78530c9177f319554a7fcf928b102d5500b","ref":"refs/heads/lean-pr-testing-4372","pushedAt":"2024-06-07T10:24:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"leanprover-community-mathlib4-bot","name":null,"path":"/leanprover-community-mathlib4-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/129911861?s=80&v=4"},"commit":{"message":"Trigger CI for https://github.com/leanprover/lean4/pull/4372","shortMessageHtmlLink":"Trigger CI for <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2337759876\" data-permission-text=\"Title is private\" data-url=\"https://github.com/leanprover/lean4/issues/4372\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/leanprover/lean4/pull/4372/hovercard\" href=\"https://github.com/leanprover/lean4/pull/4372\">leanprover/lean4#4372</a>"}},{"before":"af2dda22771c59db026c48ac0aabc73b72b7a4de","after":"8f8f75bef4adb7224a8a5cc1482f0d89af1c5b2b","ref":"refs/heads/nightly-testing","pushedAt":"2024-06-07T09:04:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"leanprover-community-mathlib4-bot","name":null,"path":"/leanprover-community-mathlib4-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/129911861?s=80&v=4"},"commit":{"message":"chore: bump to nightly-2024-06-07","shortMessageHtmlLink":"chore: bump to nightly-2024-06-07"}},{"before":null,"after":"b0b826a17897bd3f1e6f26540e523bbb359cbde9","ref":"refs/heads/lean-pr-testing-4372","pushedAt":"2024-06-07T07:39:57.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"leanprover-community-mathlib4-bot","name":null,"path":"/leanprover-community-mathlib4-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/129911861?s=80&v=4"},"commit":{"message":"Update lean-toolchain for testing https://github.com/leanprover/lean4/pull/4372","shortMessageHtmlLink":"Update lean-toolchain for testing <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2337759876\" data-permission-text=\"Title is private\" data-url=\"https://github.com/leanprover/lean4/issues/4372\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/leanprover/lean4/pull/4372/hovercard\" href=\"https://github.com/leanprover/lean4/pull/4372\">leanprover/lean4#4372</a>"}},{"before":"d18ee173b0079e86d69208f9b8e7902b60bcba17","after":"4df7e13b41675267717a554c1093039ef1e7f9d8","ref":"refs/heads/lean-pr-testing-4387","pushedAt":"2024-06-07T04:33:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"leanprover-community-mathlib4-bot","name":null,"path":"/leanprover-community-mathlib4-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/129911861?s=80&v=4"},"commit":{"message":"Trigger CI for https://github.com/leanprover/lean4/pull/4387","shortMessageHtmlLink":"Trigger CI for <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2339330811\" data-permission-text=\"Title is private\" data-url=\"https://github.com/leanprover/lean4/issues/4387\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/leanprover/lean4/pull/4387/hovercard\" href=\"https://github.com/leanprover/lean4/pull/4387\">leanprover/lean4#4387</a>"}},{"before":null,"after":"8fd7a86cfd63596a55a4901f39d663292b6daf81","ref":"refs/heads/lean-pr-testing-4389","pushedAt":"2024-06-07T03:34:41.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"leanprover-community-mathlib4-bot","name":null,"path":"/leanprover-community-mathlib4-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/129911861?s=80&v=4"},"commit":{"message":"Update lean-toolchain for testing https://github.com/leanprover/lean4/pull/4389","shortMessageHtmlLink":"Update lean-toolchain for testing <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2339495645\" data-permission-text=\"Title is private\" data-url=\"https://github.com/leanprover/lean4/issues/4389\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/leanprover/lean4/pull/4389/hovercard\" href=\"https://github.com/leanprover/lean4/pull/4389\">leanprover/lean4#4389</a>"}},{"before":"bf56c279a6a4094b992c473bc6ff24e4f45683f3","after":"4dd0740fba03b090a8adc23e0d5c7637ad3a23d9","ref":"refs/heads/lean-pr-testing-4385","pushedAt":"2024-06-07T02:41:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"leanprover-community-mathlib4-bot","name":null,"path":"/leanprover-community-mathlib4-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/129911861?s=80&v=4"},"commit":{"message":"Trigger CI for https://github.com/leanprover/lean4/pull/4385","shortMessageHtmlLink":"Trigger CI for <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2339246410\" data-permission-text=\"Title is private\" data-url=\"https://github.com/leanprover/lean4/issues/4385\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/leanprover/lean4/pull/4385/hovercard\" href=\"https://github.com/leanprover/lean4/pull/4385\">leanprover/lean4#4385</a>"}},{"before":"2b1f7d9a18a8a7c186e0ceefd300231f1eb0565a","after":"af2dda22771c59db026c48ac0aabc73b72b7a4de","ref":"refs/heads/nightly-testing","pushedAt":"2024-06-07T00:55:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"semorrison","name":"Kim Morrison","path":"/semorrison","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/477956?s=80&v=4"},"commit":{"message":"bad merge","shortMessageHtmlLink":"bad merge"}},{"before":"0a5abea6b2340b14b2f754771b6a44fa062f9b22","after":"2b1f7d9a18a8a7c186e0ceefd300231f1eb0565a","ref":"refs/heads/nightly-testing","pushedAt":"2024-06-07T00:44:34.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"leanprover-community-mathlib4-bot","name":null,"path":"/leanprover-community-mathlib4-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/129911861?s=80&v=4"},"commit":{"message":"Merge main into nightly-testing","shortMessageHtmlLink":"Merge main into nightly-testing"}},{"before":"3b1555252d9369be7b0f39a0e0a07daa864e5b5b","after":"6a63eb6a326181df29d95a84ce1f16c1145e66d8","ref":"refs/heads/main","pushedAt":"2024-06-07T00:44:22.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"semorrison","name":"Kim Morrison","path":"/semorrison","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/477956?s=80&v=4"},"commit":{"message":"chore: merge bump/v4.9.0 branch (#826)\n\n* chore: adaptations for nightly-2024-05-06 (#783)\r\n\r\n* chore: adaptations for nightly-2024-05-11 (#794)\r\n\r\n* chore: adaptations for nightly-2024-05-11\r\n\r\n* oops\r\n\r\n* fix test\r\n\r\n* suggestion from review\r\n\r\n* chore: adaptations for nightly-2024-06-06 (#825)\r\n\r\n* chore: adaptations for nightly-2024-06-06\r\n\r\n* move to v4.9.0.-rc1\r\n\r\n* suggestions from review","shortMessageHtmlLink":"chore: merge bump/v4.9.0 branch (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2339368766\" data-permission-text=\"Title is private\" data-url=\"https://github.com/leanprover-community/batteries/issues/826\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/leanprover-community/batteries/pull/826/hovercard\" href=\"https://github.com/leanprover-community/batteries/pull/826\">#826</a>)"}},{"before":"b7295b1e51c08fef67b7f5fa09126d31d8c3bf81","after":"bf56c279a6a4094b992c473bc6ff24e4f45683f3","ref":"refs/heads/lean-pr-testing-4385","pushedAt":"2024-06-07T00:42:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"leanprover-community-mathlib4-bot","name":null,"path":"/leanprover-community-mathlib4-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/129911861?s=80&v=4"},"commit":{"message":"Trigger CI for https://github.com/leanprover/lean4/pull/4385","shortMessageHtmlLink":"Trigger CI for <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2339246410\" data-permission-text=\"Title is private\" data-url=\"https://github.com/leanprover/lean4/issues/4385\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/leanprover/lean4/pull/4385/hovercard\" href=\"https://github.com/leanprover/lean4/pull/4385\">leanprover/lean4#4385</a>"}},{"before":"357f85884f4a367372b00c17e4cfc35057a522cb","after":"f9e3d6504c26d4f7099957272c5486e751290178","ref":"refs/heads/bump/v4.9.0","pushedAt":"2024-06-07T00:40:24.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"semorrison","name":"Kim Morrison","path":"/semorrison","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/477956?s=80&v=4"},"commit":{"message":"chore: adaptations for nightly-2024-06-06 (#825)\n\n* chore: adaptations for nightly-2024-06-06\r\n\r\n* move to v4.9.0.-rc1\r\n\r\n* suggestions from review","shortMessageHtmlLink":"chore: adaptations for nightly-2024-06-06 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2338064556\" data-permission-text=\"Title is private\" data-url=\"https://github.com/leanprover-community/batteries/issues/825\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/leanprover-community/batteries/pull/825/hovercard\" href=\"https://github.com/leanprover-community/batteries/pull/825\">#825</a>)"}},{"before":"8941690bb118b73c83c1060f06c0f779bbf6c218","after":"2427c5f20d23a59d7c0dfe2adc59d0667405079e","ref":"refs/heads/bump/nightly-2024-06-06","pushedAt":"2024-06-07T00:34:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"semorrison","name":"Kim Morrison","path":"/semorrison","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/477956?s=80&v=4"},"commit":{"message":"suggestions from review","shortMessageHtmlLink":"suggestions from review"}},{"before":null,"after":"a1dabd3bc45d4e1c525615893f534680d2548f81","ref":"refs/heads/lean-pr-testing-4388","pushedAt":"2024-06-07T00:32:42.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"leanprover-community-mathlib4-bot","name":null,"path":"/leanprover-community-mathlib4-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/129911861?s=80&v=4"},"commit":{"message":"Update lean-toolchain for testing https://github.com/leanprover/lean4/pull/4388","shortMessageHtmlLink":"Update lean-toolchain for testing <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2339344255\" data-permission-text=\"Title is private\" data-url=\"https://github.com/leanprover/lean4/issues/4388\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/leanprover/lean4/pull/4388/hovercard\" href=\"https://github.com/leanprover/lean4/pull/4388\">leanprover/lean4#4388</a>"}},{"before":null,"after":"d18ee173b0079e86d69208f9b8e7902b60bcba17","ref":"refs/heads/lean-pr-testing-4387","pushedAt":"2024-06-07T00:18:04.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"leanprover-community-mathlib4-bot","name":null,"path":"/leanprover-community-mathlib4-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/129911861?s=80&v=4"},"commit":{"message":"Update lean-toolchain for testing https://github.com/leanprover/lean4/pull/4387","shortMessageHtmlLink":"Update lean-toolchain for testing <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2339330811\" data-permission-text=\"Title is private\" data-url=\"https://github.com/leanprover/lean4/issues/4387\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/leanprover/lean4/pull/4387/hovercard\" href=\"https://github.com/leanprover/lean4/pull/4387\">leanprover/lean4#4387</a>"}},{"before":"b930fe4132df41e8288bb8b0c56788718484dbba","after":"a0d5f35591c620b1a5420e180251dbb43d91cdd8","ref":"refs/heads/lean-pr-testing-4277","pushedAt":"2024-06-06T23:06:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"leanprover-community-mathlib4-bot","name":null,"path":"/leanprover-community-mathlib4-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/129911861?s=80&v=4"},"commit":{"message":"Trigger CI for https://github.com/leanprover/lean4/pull/4277","shortMessageHtmlLink":"Trigger CI for <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2316964801\" data-permission-text=\"Title is private\" data-url=\"https://github.com/leanprover/lean4/issues/4277\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/leanprover/lean4/pull/4277/hovercard\" href=\"https://github.com/leanprover/lean4/pull/4277\">leanprover/lean4#4277</a>"}},{"before":null,"after":"b7295b1e51c08fef67b7f5fa09126d31d8c3bf81","ref":"refs/heads/lean-pr-testing-4385","pushedAt":"2024-06-06T22:48:31.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"leanprover-community-mathlib4-bot","name":null,"path":"/leanprover-community-mathlib4-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/129911861?s=80&v=4"},"commit":{"message":"Update lean-toolchain for testing https://github.com/leanprover/lean4/pull/4385","shortMessageHtmlLink":"Update lean-toolchain for testing <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2339246410\" data-permission-text=\"Title is private\" data-url=\"https://github.com/leanprover/lean4/issues/4385\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/leanprover/lean4/pull/4385/hovercard\" href=\"https://github.com/leanprover/lean4/pull/4385\">leanprover/lean4#4385</a>"}},{"before":"fe28337daa91d940291428946ce9298b07bc5d79","after":"b930fe4132df41e8288bb8b0c56788718484dbba","ref":"refs/heads/lean-pr-testing-4277","pushedAt":"2024-06-06T22:19:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"leanprover-community-mathlib4-bot","name":null,"path":"/leanprover-community-mathlib4-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/129911861?s=80&v=4"},"commit":{"message":"Trigger CI for https://github.com/leanprover/lean4/pull/4277","shortMessageHtmlLink":"Trigger CI for <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2316964801\" data-permission-text=\"Title is private\" data-url=\"https://github.com/leanprover/lean4/issues/4277\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/leanprover/lean4/pull/4277/hovercard\" href=\"https://github.com/leanprover/lean4/pull/4277\">leanprover/lean4#4277</a>"}},{"before":null,"after":"21275662d1243194a130f6ffa4dba49863daf44e","ref":"refs/heads/lean-pr-testing-4384","pushedAt":"2024-06-06T22:06:30.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"leanprover-community-mathlib4-bot","name":null,"path":"/leanprover-community-mathlib4-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/129911861?s=80&v=4"},"commit":{"message":"Update lean-toolchain for testing https://github.com/leanprover/lean4/pull/4384","shortMessageHtmlLink":"Update lean-toolchain for testing <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2339202845\" data-permission-text=\"Title is private\" data-url=\"https://github.com/leanprover/lean4/issues/4384\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/leanprover/lean4/pull/4384/hovercard\" href=\"https://github.com/leanprover/lean4/pull/4384\">leanprover/lean4#4384</a>"}},{"before":null,"after":"e6433605a78a8c8840716eed3cd8c9099b9b7e61","ref":"refs/heads/lean-pr-testing-4383","pushedAt":"2024-06-06T21:59:18.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"leanprover-community-mathlib4-bot","name":null,"path":"/leanprover-community-mathlib4-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/129911861?s=80&v=4"},"commit":{"message":"Update lean-toolchain for testing https://github.com/leanprover/lean4/pull/4383","shortMessageHtmlLink":"Update lean-toolchain for testing <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2339179888\" data-permission-text=\"Title is private\" data-url=\"https://github.com/leanprover/lean4/issues/4383\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/leanprover/lean4/pull/4383/hovercard\" href=\"https://github.com/leanprover/lean4/pull/4383\">leanprover/lean4#4383</a>"}},{"before":null,"after":"57c1fe8a6df694abb5c6a23449f86f76f96a8a1d","ref":"refs/heads/lean-pr-testing-4382","pushedAt":"2024-06-06T21:42:16.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"leanprover-community-mathlib4-bot","name":null,"path":"/leanprover-community-mathlib4-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/129911861?s=80&v=4"},"commit":{"message":"Update lean-toolchain for testing https://github.com/leanprover/lean4/pull/4382","shortMessageHtmlLink":"Update lean-toolchain for testing <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2339174377\" data-permission-text=\"Title is private\" data-url=\"https://github.com/leanprover/lean4/issues/4382\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/leanprover/lean4/pull/4382/hovercard\" href=\"https://github.com/leanprover/lean4/pull/4382\">leanprover/lean4#4382</a>"}},{"before":"29814c20612015a7dacf4279fe0c3410324d2118","after":"3612f763907bd1e554bb329a9d0d9eced8211fa6","ref":"refs/heads/lean-pr-testing-4371","pushedAt":"2024-06-06T18:03:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"leanprover-community-mathlib4-bot","name":null,"path":"/leanprover-community-mathlib4-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/129911861?s=80&v=4"},"commit":{"message":"Trigger CI for https://github.com/leanprover/lean4/pull/4371","shortMessageHtmlLink":"Trigger CI for <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2337214588\" data-permission-text=\"Title is private\" data-url=\"https://github.com/leanprover/lean4/issues/4371\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/leanprover/lean4/pull/4371/hovercard\" href=\"https://github.com/leanprover/lean4/pull/4371\">leanprover/lean4#4371</a>"}},{"before":null,"after":"8a13102f353e23b849fc162830e6393753065e4b","ref":"refs/heads/lean-pr-testing-4379","pushedAt":"2024-06-06T17:33:42.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"leanprover-community-mathlib4-bot","name":null,"path":"/leanprover-community-mathlib4-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/129911861?s=80&v=4"},"commit":{"message":"Update lean-toolchain for testing https://github.com/leanprover/lean4/pull/4379","shortMessageHtmlLink":"Update lean-toolchain for testing <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2338784438\" data-permission-text=\"Title is private\" data-url=\"https://github.com/leanprover/lean4/issues/4379\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/leanprover/lean4/pull/4379/hovercard\" href=\"https://github.com/leanprover/lean4/pull/4379\">leanprover/lean4#4379</a>"}},{"before":null,"after":"2ab93efad14472b95776bfefc2470460f0d80c8d","ref":"refs/heads/lean-pr-testing-4378","pushedAt":"2024-06-06T17:23:32.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"leanprover-community-mathlib4-bot","name":null,"path":"/leanprover-community-mathlib4-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/129911861?s=80&v=4"},"commit":{"message":"Update lean-toolchain for testing https://github.com/leanprover/lean4/pull/4378","shortMessageHtmlLink":"Update lean-toolchain for testing <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2338758149\" data-permission-text=\"Title is private\" data-url=\"https://github.com/leanprover/lean4/issues/4378\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/leanprover/lean4/pull/4378/hovercard\" href=\"https://github.com/leanprover/lean4/pull/4378\">leanprover/lean4#4378</a>"}},{"before":"50d821a8a2affaf086a35bab03cf8f957f99bc57","after":"8941690bb118b73c83c1060f06c0f779bbf6c218","ref":"refs/heads/bump/nightly-2024-06-06","pushedAt":"2024-06-06T13:12:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"semorrison","name":"Kim Morrison","path":"/semorrison","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/477956?s=80&v=4"},"commit":{"message":"move to v4.9.0.-rc1","shortMessageHtmlLink":"move to v4.9.0.-rc1"}},{"before":null,"after":"50d821a8a2affaf086a35bab03cf8f957f99bc57","ref":"refs/heads/bump/nightly-2024-06-06","pushedAt":"2024-06-06T11:50:31.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"semorrison","name":"Kim Morrison","path":"/semorrison","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/477956?s=80&v=4"},"commit":{"message":"chore: adaptations for nightly-2024-06-06","shortMessageHtmlLink":"chore: adaptations for nightly-2024-06-06"}},{"before":"fb81a8f059f2dd78216229798e8a5285f1f095a2","after":"0a5abea6b2340b14b2f754771b6a44fa062f9b22","ref":"refs/heads/nightly-testing","pushedAt":"2024-06-06T11:49:39.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"semorrison","name":"Kim Morrison","path":"/semorrison","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/477956?s=80&v=4"},"commit":{"message":"merge bump/v4.9.0","shortMessageHtmlLink":"merge bump/v4.9.0"}},{"before":"8558f7558631985b42b95dd8439dfc40a8d2ee34","after":"357f85884f4a367372b00c17e4cfc35057a522cb","ref":"refs/heads/bump/v4.9.0","pushedAt":"2024-06-06T11:48:54.000Z","pushType":"push","commitsCount":10,"pusher":{"login":"semorrison","name":"Kim Morrison","path":"/semorrison","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/477956?s=80&v=4"},"commit":{"message":"merge main; now broken","shortMessageHtmlLink":"merge main; now broken"}},{"before":"66655c88ef8fd6dfada59c2d07822d94b0a02a38","after":"fb81a8f059f2dd78216229798e8a5285f1f095a2","ref":"refs/heads/nightly-testing","pushedAt":"2024-06-06T11:25:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"semorrison","name":"Kim Morrison","path":"/semorrison","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/477956?s=80&v=4"},"commit":{"message":"remove upstreamed string lemmas","shortMessageHtmlLink":"remove upstreamed string lemmas"}},{"before":"6141f00e9b5a0b1c92ce971d99082f70345cc6c3","after":"66655c88ef8fd6dfada59c2d07822d94b0a02a38","ref":"refs/heads/nightly-testing","pushedAt":"2024-06-06T09:06:06.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"leanprover-community-mathlib4-bot","name":null,"path":"/leanprover-community-mathlib4-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/129911861?s=80&v=4"},"commit":{"message":"chore: bump to nightly-2024-06-06","shortMessageHtmlLink":"chore: bump to nightly-2024-06-06"}},{"before":null,"after":"29814c20612015a7dacf4279fe0c3410324d2118","ref":"refs/heads/lean-pr-testing-4371","pushedAt":"2024-06-06T03:23:52.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"leanprover-community-mathlib4-bot","name":null,"path":"/leanprover-community-mathlib4-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/129911861?s=80&v=4"},"commit":{"message":"Update lean-toolchain for testing https://github.com/leanprover/lean4/pull/4371","shortMessageHtmlLink":"Update lean-toolchain for testing <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2337214588\" data-permission-text=\"Title is private\" data-url=\"https://github.com/leanprover/lean4/issues/4371\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/leanprover/lean4/pull/4371/hovercard\" href=\"https://github.com/leanprover/lean4/pull/4371\">leanprover/lean4#4371</a>"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEXxiQqAA","startCursor":null,"endCursor":null}},"title":"Activity · leanprover-community/batteries"}