{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":379357010,"defaultBranch":"master","name":"mathport","ownerLogin":"leanprover-community","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2021-06-22T17:55:21.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/41703605?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1720663140.0","currentOid":""},"activityList":{"items":[{"before":"298b07049b0889314c0d5812777829d4582b2921","after":"5d941846ad9ea92c8758bfcec326bffc47d609b2","ref":"refs/heads/master","pushedAt":"2024-07-11T07:38:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"chore: bump mathlib","shortMessageHtmlLink":"chore: bump mathlib"}},{"before":"a218eb25b802a3e4673df50c6d5563a29c9c0656","after":"298b07049b0889314c0d5812777829d4582b2921","ref":"refs/heads/master","pushedAt":"2024-07-10T07:39:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"chore: bump mathlib","shortMessageHtmlLink":"chore: bump mathlib"}},{"before":"12f27d906eac5b7b021168afdac5e7445270ba0a","after":"a218eb25b802a3e4673df50c6d5563a29c9c0656","ref":"refs/heads/master","pushedAt":"2024-07-09T07:38:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"chore: bump mathlib","shortMessageHtmlLink":"chore: bump mathlib"}},{"before":"9b2b2cf2ada428934edb8041f7febdc774504bb0","after":"12f27d906eac5b7b021168afdac5e7445270ba0a","ref":"refs/heads/master","pushedAt":"2024-07-08T07:38:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"chore: bump mathlib","shortMessageHtmlLink":"chore: bump mathlib"}},{"before":"76c9177f83d2588b42e5798503721bb1be2c59e7","after":"9b2b2cf2ada428934edb8041f7febdc774504bb0","ref":"refs/heads/master","pushedAt":"2024-07-07T07:38:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"chore: bump mathlib","shortMessageHtmlLink":"chore: bump mathlib"}},{"before":"5d3998400f5a319db7b14339a90bca09eb859753","after":"76c9177f83d2588b42e5798503721bb1be2c59e7","ref":"refs/heads/master","pushedAt":"2024-07-06T07:38:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"chore: bump mathlib","shortMessageHtmlLink":"chore: bump mathlib"}},{"before":"c5da6a10a14e0f9daa62b91dc16137d3774ba36d","after":"5d3998400f5a319db7b14339a90bca09eb859753","ref":"refs/heads/master","pushedAt":"2024-07-05T08:07:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"digama0","name":"Mario Carneiro","path":"/digama0","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/868588?s=80&v=4"},"commit":{"message":"chore: bump lean","shortMessageHtmlLink":"chore: bump lean"}},{"before":"79f37e55d7ca7c8396c92dea5c00addb15e9ad9d","after":"c5da6a10a14e0f9daa62b91dc16137d3774ba36d","ref":"refs/heads/master","pushedAt":"2024-07-03T07:39:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"chore: bump mathlib","shortMessageHtmlLink":"chore: bump mathlib"}},{"before":"ee926a2872cb0005bad59b131e75cee0021d09cb","after":"79f37e55d7ca7c8396c92dea5c00addb15e9ad9d","ref":"refs/heads/master","pushedAt":"2024-07-02T07:38:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"chore: bump mathlib","shortMessageHtmlLink":"chore: bump mathlib"}},{"before":"bfeff2f121687adf39aee4786c23947f10800ad2","after":"ee926a2872cb0005bad59b131e75cee0021d09cb","ref":"refs/heads/master","pushedAt":"2024-07-01T23:05:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"digama0","name":"Mario Carneiro","path":"/digama0","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/868588?s=80&v=4"},"commit":{"message":"chore: bump lean","shortMessageHtmlLink":"chore: bump lean"}},{"before":"1bf31e18414a266954ce76bfe430956e8e013a67","after":"bfeff2f121687adf39aee4786c23947f10800ad2","ref":"refs/heads/master","pushedAt":"2024-06-30T07:38:14.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"chore: bump mathlib","shortMessageHtmlLink":"chore: bump mathlib"}},{"before":"c4939aaca14c48059682b76a0982e5d16138e6ed","after":"1bf31e18414a266954ce76bfe430956e8e013a67","ref":"refs/heads/master","pushedAt":"2024-06-29T07:38:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"chore: bump mathlib","shortMessageHtmlLink":"chore: bump mathlib"}},{"before":"fa64ce79c188107e90d869ee90fd3c266a906ad9","after":"c4939aaca14c48059682b76a0982e5d16138e6ed","ref":"refs/heads/master","pushedAt":"2024-06-28T07:38:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"chore: bump mathlib","shortMessageHtmlLink":"chore: bump mathlib"}},{"before":"ff8a62e473c2f69249b2b306b83a745fcbcce286","after":"fa64ce79c188107e90d869ee90fd3c266a906ad9","ref":"refs/heads/master","pushedAt":"2024-06-27T07:39:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"chore: bump mathlib","shortMessageHtmlLink":"chore: bump mathlib"}},{"before":"d40815706ca4d2679ad666cd3a1c0a3a8bffa3cf","after":"ff8a62e473c2f69249b2b306b83a745fcbcce286","ref":"refs/heads/master","pushedAt":"2024-06-26T07:38:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"chore: bump mathlib","shortMessageHtmlLink":"chore: bump mathlib"}},{"before":"744c846746889f13b7f388571c0e33797e5881e8","after":"d40815706ca4d2679ad666cd3a1c0a3a8bffa3cf","ref":"refs/heads/master","pushedAt":"2024-06-25T07:38:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"chore: bump mathlib","shortMessageHtmlLink":"chore: bump mathlib"}},{"before":"c6df02a396d857db9cbe805e1cf163b7c8889528","after":"744c846746889f13b7f388571c0e33797e5881e8","ref":"refs/heads/master","pushedAt":"2024-06-24T07:38:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"chore: bump mathlib","shortMessageHtmlLink":"chore: bump mathlib"}},{"before":"8372aec5611af323d30d938b180d5ccc827c1a46","after":"c6df02a396d857db9cbe805e1cf163b7c8889528","ref":"refs/heads/master","pushedAt":"2024-06-23T07:38:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"chore: bump mathlib","shortMessageHtmlLink":"chore: bump mathlib"}},{"before":"ffcaee253fac506544b7b49447116f8fecbdbcb1","after":"8372aec5611af323d30d938b180d5ccc827c1a46","ref":"refs/heads/master","pushedAt":"2024-06-22T07:38:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"chore: bump mathlib","shortMessageHtmlLink":"chore: bump mathlib"}},{"before":"0a6970c8b877236bfdda02a771d08df200d7e847","after":"ffcaee253fac506544b7b49447116f8fecbdbcb1","ref":"refs/heads/master","pushedAt":"2024-06-21T07:39:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"chore: bump mathlib","shortMessageHtmlLink":"chore: bump mathlib"}},{"before":"e9feff5de1ebd2c3e15588d4a2fd4dcf7ca2565a","after":"0a6970c8b877236bfdda02a771d08df200d7e847","ref":"refs/heads/master","pushedAt":"2024-06-20T07:39:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"chore: bump mathlib","shortMessageHtmlLink":"chore: bump mathlib"}},{"before":"e993e1f7728a2c7e45186a3f5de6be76e8ee6001","after":"e9feff5de1ebd2c3e15588d4a2fd4dcf7ca2565a","ref":"refs/heads/master","pushedAt":"2024-06-19T07:38:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"chore: bump mathlib","shortMessageHtmlLink":"chore: bump mathlib"}},{"before":"4611faac2c9be34da16cc5f73b576744a47a2603","after":"e993e1f7728a2c7e45186a3f5de6be76e8ee6001","ref":"refs/heads/master","pushedAt":"2024-06-18T07:38:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"chore: bump mathlib","shortMessageHtmlLink":"chore: bump mathlib"}},{"before":"e51fc78ff4ec367354f9ab5ecea1a278affaaa1e","after":"4611faac2c9be34da16cc5f73b576744a47a2603","ref":"refs/heads/master","pushedAt":"2024-06-17T07:39:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"chore: bump mathlib","shortMessageHtmlLink":"chore: bump mathlib"}},{"before":"12d15b91904ed98556b4374699ee679626492eb1","after":"e51fc78ff4ec367354f9ab5ecea1a278affaaa1e","ref":"refs/heads/master","pushedAt":"2024-06-16T07:39:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"chore: bump mathlib","shortMessageHtmlLink":"chore: bump mathlib"}},{"before":"fbac33fbe2fdc70f1d4c43a91133052d1270684d","after":"12d15b91904ed98556b4374699ee679626492eb1","ref":"refs/heads/master","pushedAt":"2024-06-15T07:38:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"chore: bump mathlib","shortMessageHtmlLink":"chore: bump mathlib"}},{"before":"1777c7b7b672af1bd2f6d34ed9ab6222ae85a1f9","after":"fbac33fbe2fdc70f1d4c43a91133052d1270684d","ref":"refs/heads/master","pushedAt":"2024-06-14T07:39:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"chore: bump mathlib","shortMessageHtmlLink":"chore: bump mathlib"}},{"before":"67453006665097658970ff24055c5ac15650c14e","after":"1777c7b7b672af1bd2f6d34ed9ab6222ae85a1f9","ref":"refs/heads/master","pushedAt":"2024-06-13T07:38:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"chore: bump mathlib","shortMessageHtmlLink":"chore: bump mathlib"}},{"before":"bb524b8a4885c85e2fef44d26d1b97db55f4fce3","after":"67453006665097658970ff24055c5ac15650c14e","ref":"refs/heads/master","pushedAt":"2024-06-12T07:38:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"chore: bump mathlib","shortMessageHtmlLink":"chore: bump mathlib"}},{"before":"c3f5d534b0676f67d66a9fabf2c7c5fe8551557d","after":"bb524b8a4885c85e2fef44d26d1b97db55f4fce3","ref":"refs/heads/master","pushedAt":"2024-06-11T07:38:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"chore: bump mathlib","shortMessageHtmlLink":"chore: bump mathlib"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEfIjuFQA","startCursor":null,"endCursor":null}},"title":"Activity · leanprover-community/mathport"}