{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":806353877,"defaultBranch":"master","name":"LeanEuclid","ownerLogin":"loganrjmurphy","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2024-05-27T03:14:02.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/35403042?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1716993834.0","currentOid":""},"activityList":{"items":[{"before":"b50829ce4bf78e3f135b4c3421dda24514613a5a","after":"f1912c3090eb82820575758efc31e40b9db86bb8","ref":"refs/heads/master","pushedAt":"2024-05-31T18:33:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"loganrjmurphy","name":"Logan Murphy","path":"/loganrjmurphy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/35403042?s=80&v=4"},"commit":{"message":"minor update to readme","shortMessageHtmlLink":"minor update to readme"}},{"before":"16690569c4c3c2dd4f098811f13048a4bf1a9d67","after":"b50829ce4bf78e3f135b4c3421dda24514613a5a","ref":"refs/heads/master","pushedAt":"2024-05-29T16:55:00.000Z","pushType":"pr_merge","commitsCount":10,"pusher":{"login":"yangky11","name":"Kaiyu Yang","path":"/yangky11","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5431913?s=80&v=4"},"commit":{"message":"Merge pull request #2 from loganrjmurphy/docker\n\nAdd Dockerfile and more instructions","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2323794022\" data-permission-text=\"Title is private\" data-url=\"https://github.com/loganrjmurphy/LeanEuclid/issues/2\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/loganrjmurphy/LeanEuclid/pull/2/hovercard\" href=\"https://github.com/loganrjmurphy/LeanEuclid/pull/2\">#2</a> from loganrjmurphy/docker"}},{"before":"766163ef65f52b0bb17e81089f6132b86f879735","after":"2628d91b76eff699f2dff2a033ae9c199076e0d7","ref":"refs/heads/docker","pushedAt":"2024-05-29T16:49:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yangky11","name":"Kaiyu Yang","path":"/yangky11","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5431913?s=80&v=4"},"commit":{"message":"remove All.lean","shortMessageHtmlLink":"remove All.lean"}},{"before":"dbf3965d9b6b2a2c917e0f9f9058697eaef6511e","after":"766163ef65f52b0bb17e81089f6132b86f879735","ref":"refs/heads/docker","pushedAt":"2024-05-29T16:31:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yangky11","name":"Kaiyu Yang","path":"/yangky11","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5431913?s=80&v=4"},"commit":{"message":"minor edits","shortMessageHtmlLink":"minor edits"}},{"before":"b2b8daf7f261080497a07c060974c020615178ba","after":"dbf3965d9b6b2a2c917e0f9f9058697eaef6511e","ref":"refs/heads/docker","pushedAt":"2024-05-29T16:25:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yangky11","name":"Kaiyu Yang","path":"/yangky11","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5431913?s=80&v=4"},"commit":{"message":"finish docker","shortMessageHtmlLink":"finish docker"}},{"before":"18e6fae714ae7710fc3cbb31ae01f82a0b219990","after":"b2b8daf7f261080497a07c060974c020615178ba","ref":"refs/heads/docker","pushedAt":"2024-05-29T14:56:37.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yangky11","name":"Kaiyu Yang","path":"/yangky11","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5431913?s=80&v=4"},"commit":{"message":"remove sudo","shortMessageHtmlLink":"remove sudo"}},{"before":"a26dfd7f17d4e402fb58146b7361ba2cf38e6a9f","after":"18e6fae714ae7710fc3cbb31ae01f82a0b219990","ref":"refs/heads/docker","pushedAt":"2024-05-29T14:55:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yangky11","name":"Kaiyu Yang","path":"/yangky11","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5431913?s=80&v=4"},"commit":{"message":"use fewer threads","shortMessageHtmlLink":"use fewer threads"}},{"before":"bfa656e2dc2d452db70d9260f6a445524c47eecf","after":"a26dfd7f17d4e402fb58146b7361ba2cf38e6a9f","ref":"refs/heads/docker","pushedAt":"2024-05-29T14:53:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yangky11","name":"Kaiyu Yang","path":"/yangky11","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5431913?s=80&v=4"},"commit":{"message":"add m4 to docker","shortMessageHtmlLink":"add m4 to docker"}},{"before":"b9651b9464bd98d280ea48d8b8179de097ae523d","after":"bfa656e2dc2d452db70d9260f6a445524c47eecf","ref":"refs/heads/docker","pushedAt":"2024-05-29T14:47:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yangky11","name":"Kaiyu Yang","path":"/yangky11","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5431913?s=80&v=4"},"commit":{"message":"add venv to docker","shortMessageHtmlLink":"add venv to docker"}},{"before":"fa29e4237e581e4d3e4fa1c799dc5275a8678171","after":"b9651b9464bd98d280ea48d8b8179de097ae523d","ref":"refs/heads/docker","pushedAt":"2024-05-29T14:44:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yangky11","name":"Kaiyu Yang","path":"/yangky11","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5431913?s=80&v=4"},"commit":{"message":"add cmake to docker","shortMessageHtmlLink":"add cmake to docker"}},{"before":null,"after":"fa29e4237e581e4d3e4fa1c799dc5275a8678171","ref":"refs/heads/docker","pushedAt":"2024-05-29T14:43:54.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"yangky11","name":"Kaiyu Yang","path":"/yangky11","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5431913?s=80&v=4"},"commit":{"message":"add docker","shortMessageHtmlLink":"add docker"}},{"before":"fa6c406007a824265e865fb60f222adf53e3d7db","after":"16690569c4c3c2dd4f098811f13048a4bf1a9d67","ref":"refs/heads/master","pushedAt":"2024-05-29T14:28:37.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yangky11","name":"Kaiyu Yang","path":"/yangky11","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5431913?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"f44c3848fd7444325feeb6d469f820c97546c209","after":"fa6c406007a824265e865fb60f222adf53e3d7db","ref":"refs/heads/master","pushedAt":"2024-05-29T14:27:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yangky11","name":"Kaiyu Yang","path":"/yangky11","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5431913?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"4c553356a8022a4650ca7ad3e06b6b3601bf6f15","after":"f44c3848fd7444325feeb6d469f820c97546c209","ref":"refs/heads/master","pushedAt":"2024-05-28T17:04:08.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"yangky11","name":"Kaiyu Yang","path":"/yangky11","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5431913?s=80&v=4"},"commit":{"message":"first commit","shortMessageHtmlLink":"first commit"}},{"before":"9721e8b9a0b6eb0e1adb60bafca0dfe39b53ff8c","after":"4c553356a8022a4650ca7ad3e06b6b3601bf6f15","ref":"refs/heads/master","pushedAt":"2024-05-28T17:02:02.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"yangky11","name":"Kaiyu Yang","path":"/yangky11","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5431913?s=80&v=4"},"commit":{"message":"first commit","shortMessageHtmlLink":"first commit"}},{"before":"1199e68e9378b497d2a9f75dc8062407ca074114","after":"9721e8b9a0b6eb0e1adb60bafca0dfe39b53ff8c","ref":"refs/heads/master","pushedAt":"2024-05-28T16:20:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yangky11","name":"Kaiyu Yang","path":"/yangky11","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5431913?s=80&v=4"},"commit":{"message":"update","shortMessageHtmlLink":"update"}},{"before":"102cc4f66bd80791290a09671375b8a9c49d4b29","after":"1199e68e9378b497d2a9f75dc8062407ca074114","ref":"refs/heads/master","pushedAt":"2024-05-28T16:04:16.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"yangky11","name":"Kaiyu Yang","path":"/yangky11","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5431913?s=80&v=4"},"commit":{"message":"Merge branch 'master' of github.com:loganrjmurphy/LeanEuclid","shortMessageHtmlLink":"Merge branch 'master' of github.com:loganrjmurphy/LeanEuclid"}},{"before":"d303833ddaa3b046cfc506be8c843ec950f26000","after":"102cc4f66bd80791290a09671375b8a9c49d4b29","ref":"refs/heads/master","pushedAt":"2024-05-28T16:03:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"loganrjmurphy","name":"Logan Murphy","path":"/loganrjmurphy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/35403042?s=80&v=4"},"commit":{"message":"minor typo","shortMessageHtmlLink":"minor typo"}},{"before":"51a7efd69783f102d96c321f9c3eef91c0f78fce","after":"d303833ddaa3b046cfc506be8c843ec950f26000","ref":"refs/heads/master","pushedAt":"2024-05-28T16:00:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"loganrjmurphy","name":"Logan Murphy","path":"/loganrjmurphy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/35403042?s=80&v=4"},"commit":{"message":"minor edits to readmes","shortMessageHtmlLink":"minor edits to readmes"}},{"before":"7093ce601eedafea4a5fb7bc24190cc7e3b4b7a0","after":"51a7efd69783f102d96c321f9c3eef91c0f78fce","ref":"refs/heads/master","pushedAt":"2024-05-28T15:30:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yangky11","name":"Kaiyu Yang","path":"/yangky11","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5431913?s=80&v=4"},"commit":{"message":"update ci","shortMessageHtmlLink":"update ci"}},{"before":"dd0c9c253eb245688a104a9c5f069cab75782a01","after":"7093ce601eedafea4a5fb7bc24190cc7e3b4b7a0","ref":"refs/heads/master","pushedAt":"2024-05-28T15:26:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yangky11","name":"Kaiyu Yang","path":"/yangky11","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5431913?s=80&v=4"},"commit":{"message":"update ci","shortMessageHtmlLink":"update ci"}},{"before":"9f2af818612a292add484065cc1bea6445fe84e3","after":"dd0c9c253eb245688a104a9c5f069cab75782a01","ref":"refs/heads/master","pushedAt":"2024-05-28T15:25:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yangky11","name":"Kaiyu Yang","path":"/yangky11","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5431913?s=80&v=4"},"commit":{"message":"update ci","shortMessageHtmlLink":"update ci"}},{"before":"4ca4beadf3f5ae1a23227b6374220457dd12ed3e","after":"9f2af818612a292add484065cc1bea6445fe84e3","ref":"refs/heads/master","pushedAt":"2024-05-28T15:19:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yangky11","name":"Kaiyu Yang","path":"/yangky11","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5431913?s=80&v=4"},"commit":{"message":"update ci","shortMessageHtmlLink":"update ci"}},{"before":"596e098cae7cbd7a620ebb3b71fa35aa6039c49e","after":"4ca4beadf3f5ae1a23227b6374220457dd12ed3e","ref":"refs/heads/master","pushedAt":"2024-05-28T15:14:09.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"yangky11","name":"Kaiyu Yang","path":"/yangky11","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5431913?s=80&v=4"},"commit":{"message":"update","shortMessageHtmlLink":"update"}},{"before":"e24f851182748b8a4f7ec55ae2aaa29afcee37b7","after":"596e098cae7cbd7a620ebb3b71fa35aa6039c49e","ref":"refs/heads/master","pushedAt":"2024-05-28T15:06:28.000Z","pushType":"push","commitsCount":5,"pusher":{"login":"yangky11","name":"Kaiyu Yang","path":"/yangky11","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5431913?s=80&v=4"},"commit":{"message":"Merge branch 'blueprint'","shortMessageHtmlLink":"Merge branch 'blueprint'"}},{"before":"4ec694d7ee6ccf3064efc0de9e5ff746394634e7","after":"e24f851182748b8a4f7ec55ae2aaa29afcee37b7","ref":"refs/heads/master","pushedAt":"2024-05-28T14:40:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yangky11","name":"Kaiyu Yang","path":"/yangky11","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5431913?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"9ebf790252861ee0bee5ad5472a27a7c65140e0b","after":"4ec694d7ee6ccf3064efc0de9e5ff746394634e7","ref":"refs/heads/master","pushedAt":"2024-05-28T13:06:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"loganrjmurphy","name":"Logan Murphy","path":"/loganrjmurphy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/35403042?s=80&v=4"},"commit":{"message":"touch up E3 readme","shortMessageHtmlLink":"touch up E3 readme"}},{"before":"a29d6a6c1d6ba6ef390f2c42b2f7badf6ed42948","after":"9ebf790252861ee0bee5ad5472a27a7c65140e0b","ref":"refs/heads/master","pushedAt":"2024-05-28T12:26:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"loganrjmurphy","name":"Logan Murphy","path":"/loganrjmurphy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/35403042?s=80&v=4"},"commit":{"message":"move equiv checker mode into python params","shortMessageHtmlLink":"move equiv checker mode into python params"}},{"before":"5c2cf7fbe89236e4a31119e877e42b8edb485876","after":"a29d6a6c1d6ba6ef390f2c42b2f7badf6ed42948","ref":"refs/heads/master","pushedAt":"2024-05-28T12:01:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"loganrjmurphy","name":"Logan Murphy","path":"/loganrjmurphy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/35403042?s=80&v=4"},"commit":{"message":"minor clarification to systemE readme","shortMessageHtmlLink":"minor clarification to systemE readme"}},{"before":"29deedc017d6c7897f45052a75aab5155b2e8669","after":"5c2cf7fbe89236e4a31119e877e42b8edb485876","ref":"refs/heads/master","pushedAt":"2024-05-28T04:26:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yangky11","name":"Kaiyu Yang","path":"/yangky11","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5431913?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEWU2KwgA","startCursor":null,"endCursor":null}},"title":"Activity · loganrjmurphy/LeanEuclid"}