{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":843180377,"defaultBranch":"main","name":"SHerLOC","ownerLogin":"leanprover","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2024-08-16T00:31:50.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/7233018?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1726845670.0","currentOid":""},"activityList":{"items":[{"before":"87f45ef6b5b59e1bbe7bb137974e2f36de6e6575","after":"a9dae02758489eaf8d2f373206c4b3bc866f26b9","ref":"refs/heads/JMainDev","pushedAt":"2024-09-20T21:06:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jtristan","name":"John Tristan","path":"/jtristan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/729989?s=80&v=4"},"commit":{"message":"Exploring wf checking on tanh","shortMessageHtmlLink":"Exploring wf checking on tanh"}},{"before":"210c831c8541c510b58262be2ceecfafbac1a4e0","after":"c7a37067e03182e2742211cd439d8922e46fe51c","ref":"refs/heads/main","pushedAt":"2024-09-20T15:21:19.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"jtristan","name":"John Tristan","path":"/jtristan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/729989?s=80&v=4"},"commit":{"message":"Update CODEOWNERS (#17)","shortMessageHtmlLink":"Update CODEOWNERS (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2539085378\" data-permission-text=\"Title is private\" data-url=\"https://github.com/leanprover/SHerLOC/issues/17\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/leanprover/SHerLOC/pull/17/hovercard\" href=\"https://github.com/leanprover/SHerLOC/pull/17\">#17</a>)"}},{"before":null,"after":"b08add3274e2975bbee5c6932c77fa6d9352596a","ref":"refs/heads/jtristan-patch-2","pushedAt":"2024-09-20T15:21:10.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"jtristan","name":"John Tristan","path":"/jtristan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/729989?s=80&v=4"},"commit":{"message":"Update CODEOWNERS","shortMessageHtmlLink":"Update CODEOWNERS"}},{"before":"3e2777320ce9326f0f212acac583ffa864dafe89","after":"210c831c8541c510b58262be2ceecfafbac1a4e0","ref":"refs/heads/main","pushedAt":"2024-09-20T15:20:37.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"jtristan","name":"John Tristan","path":"/jtristan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/729989?s=80&v=4"},"commit":{"message":"Create CODEOWNERS (#16)","shortMessageHtmlLink":"Create CODEOWNERS (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2539084153\" data-permission-text=\"Title is private\" data-url=\"https://github.com/leanprover/SHerLOC/issues/16\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/leanprover/SHerLOC/pull/16/hovercard\" href=\"https://github.com/leanprover/SHerLOC/pull/16\">#16</a>)"}},{"before":null,"after":"e55e49e3b02d6545b1b442fd86becfc824960833","ref":"refs/heads/jtristan-patch-1","pushedAt":"2024-09-20T15:20:27.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"jtristan","name":"John Tristan","path":"/jtristan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/729989?s=80&v=4"},"commit":{"message":"Create CODEOWNERS","shortMessageHtmlLink":"Create CODEOWNERS"}},{"before":"022393dd37b89896123e2438273665b4ab3f891b","after":"87f45ef6b5b59e1bbe7bb137974e2f36de6e6575","ref":"refs/heads/JMainDev","pushedAt":"2024-09-19T18:52:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jtristan","name":"John Tristan","path":"/jtristan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/729989?s=80&v=4"},"commit":{"message":"Typo","shortMessageHtmlLink":"Typo"}},{"before":"0e0d1bea343e98339b139d3fda6e9c3620263f52","after":"022393dd37b89896123e2438273665b4ab3f891b","ref":"refs/heads/JMainDev","pushedAt":"2024-09-19T18:46:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jtristan","name":"John Tristan","path":"/jtristan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/729989?s=80&v=4"},"commit":{"message":"Refactoring parsing operations","shortMessageHtmlLink":"Refactoring parsing operations"}},{"before":"57720cf161b3da36eca4797bb24edd216a42d70f","after":"0e0d1bea343e98339b139d3fda6e9c3620263f52","ref":"refs/heads/JMainDev","pushedAt":"2024-09-19T17:27:24.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jtristan","name":"John Tristan","path":"/jtristan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/729989?s=80&v=4"},"commit":{"message":"Extracted parsing of tanh","shortMessageHtmlLink":"Extracted parsing of tanh"}},{"before":"682580b74d0ed0b17b1cf9f2e7c9ecf77d3b09fa","after":"3e2777320ce9326f0f212acac583ffa864dafe89","ref":"refs/heads/main","pushedAt":"2024-09-19T15:51:01.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"jtristan","name":"John Tristan","path":"/jtristan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/729989?s=80&v=4"},"commit":{"message":"Update README.md (#15)","shortMessageHtmlLink":"Update README.md (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2536701723\" data-permission-text=\"Title is private\" data-url=\"https://github.com/leanprover/SHerLOC/issues/15\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/leanprover/SHerLOC/pull/15/hovercard\" href=\"https://github.com/leanprover/SHerLOC/pull/15\">#15</a>)"}},{"before":"c9dc700b790af4ad7e8b7d43c6612d0989cd7fe2","after":"a4358fdd7c0cfe34921d0d7d68d86d13795a4abd","ref":"refs/heads/Documentation","pushedAt":"2024-09-19T15:50:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jtristan","name":"John Tristan","path":"/jtristan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/729989?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"63a33503fb2bbc8592e9a5dd49fd048d5de59d44","after":"c9dc700b790af4ad7e8b7d43c6612d0989cd7fe2","ref":"refs/heads/Documentation","pushedAt":"2024-09-19T15:31:13.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"jtristan","name":"John Tristan","path":"/jtristan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/729989?s=80&v=4"},"commit":{"message":"Merge branch 'main' into Documentation","shortMessageHtmlLink":"Merge branch 'main' into Documentation"}},{"before":"93558817fbdaaf038b6446d36fb2d8129f15067d","after":"63a33503fb2bbc8592e9a5dd49fd048d5de59d44","ref":"refs/heads/Documentation","pushedAt":"2024-09-19T15:30:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jtristan","name":"John Tristan","path":"/jtristan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/729989?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"1eb72cc9262e970a2e9fa7dd8ef8ea8476adfe4c","after":"682580b74d0ed0b17b1cf9f2e7c9ecf77d3b09fa","ref":"refs/heads/main","pushedAt":"2024-09-19T15:27:23.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"jtristan","name":"John Tristan","path":"/jtristan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/729989?s=80&v=4"},"commit":{"message":"J main dev (#14)","shortMessageHtmlLink":"J main dev (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2536677728\" data-permission-text=\"Title is private\" data-url=\"https://github.com/leanprover/SHerLOC/issues/14\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/leanprover/SHerLOC/pull/14/hovercard\" href=\"https://github.com/leanprover/SHerLOC/pull/14\">#14</a>)"}},{"before":"0ef5b8b52a6656a4fc8e36a9dc7169d14330c0ad","after":"57720cf161b3da36eca4797bb24edd216a42d70f","ref":"refs/heads/JMainDev","pushedAt":"2024-09-19T15:21:35.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"jtristan","name":"John Tristan","path":"/jtristan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/729989?s=80&v=4"},"commit":{"message":"Merge branch 'main' into JMainDev","shortMessageHtmlLink":"Merge branch 'main' into JMainDev"}},{"before":"4ec8692b0cfcf458e89478171ab6631a0e247ad9","after":"0ef5b8b52a6656a4fc8e36a9dc7169d14330c0ad","ref":"refs/heads/JMainDev","pushedAt":"2024-09-19T15:19:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jtristan","name":"John Tristan","path":"/jtristan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/729989?s=80&v=4"},"commit":{"message":"Full path for individual test","shortMessageHtmlLink":"Full path for individual test"}},{"before":"c9e0bbd558d9631e19e5a33c2b39fc77495b040c","after":"4ec8692b0cfcf458e89478171ab6631a0e247ad9","ref":"refs/heads/JMainDev","pushedAt":"2024-09-19T15:10:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jtristan","name":"John Tristan","path":"/jtristan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/729989?s=80&v=4"},"commit":{"message":"Removal of push pop debugging hooks","shortMessageHtmlLink":"Removal of push pop debugging hooks"}},{"before":"93558817fbdaaf038b6446d36fb2d8129f15067d","after":"1eb72cc9262e970a2e9fa7dd8ef8ea8476adfe4c","ref":"refs/heads/main","pushedAt":"2024-09-19T14:53:38.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"jtristan","name":"John Tristan","path":"/jtristan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/729989?s=80&v=4"},"commit":{"message":"Removal of flyOver parsing","shortMessageHtmlLink":"Removal of flyOver parsing"}},{"before":"93558817fbdaaf038b6446d36fb2d8129f15067d","after":"c9e0bbd558d9631e19e5a33c2b39fc77495b040c","ref":"refs/heads/JMainDev","pushedAt":"2024-09-19T14:51:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jtristan","name":"John Tristan","path":"/jtristan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/729989?s=80&v=4"},"commit":{"message":"Removing flyOver","shortMessageHtmlLink":"Removing flyOver"}},{"before":null,"after":"93558817fbdaaf038b6446d36fb2d8129f15067d","ref":"refs/heads/JMainDev","pushedAt":"2024-09-19T14:49:57.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"jtristan","name":"John Tristan","path":"/jtristan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/729989?s=80&v=4"},"commit":{"message":"Well-formedness (#12)","shortMessageHtmlLink":"Well-formedness (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2531735411\" data-permission-text=\"Title is private\" data-url=\"https://github.com/leanprover/SHerLOC/issues/12\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/leanprover/SHerLOC/pull/12/hovercard\" href=\"https://github.com/leanprover/SHerLOC/pull/12\">#12</a>)"}},{"before":null,"after":"93558817fbdaaf038b6446d36fb2d8129f15067d","ref":"refs/heads/Documentation","pushedAt":"2024-09-19T14:49:34.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"jtristan","name":"John Tristan","path":"/jtristan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/729989?s=80&v=4"},"commit":{"message":"Well-formedness (#12)","shortMessageHtmlLink":"Well-formedness (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2531735411\" data-permission-text=\"Title is private\" data-url=\"https://github.com/leanprover/SHerLOC/issues/12\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/leanprover/SHerLOC/pull/12/hovercard\" href=\"https://github.com/leanprover/SHerLOC/pull/12\">#12</a>)"}},{"before":"e61209180d755dbdc9770c50e2a060c3935a7628","after":null,"ref":"refs/heads/WF","pushedAt":"2024-09-19T14:49:15.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"jtristan","name":"John Tristan","path":"/jtristan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/729989?s=80&v=4"}},{"before":"940d59de0cad2dcde36fb1bc7ac0ee87a2a6cef2","after":"93558817fbdaaf038b6446d36fb2d8129f15067d","ref":"refs/heads/main","pushedAt":"2024-09-19T14:49:10.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"jtristan","name":"John Tristan","path":"/jtristan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/729989?s=80&v=4"},"commit":{"message":"Well-formedness (#12)","shortMessageHtmlLink":"Well-formedness (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2531735411\" data-permission-text=\"Title is private\" data-url=\"https://github.com/leanprover/SHerLOC/issues/12\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/leanprover/SHerLOC/pull/12/hovercard\" href=\"https://github.com/leanprover/SHerLOC/pull/12\">#12</a>)"}},{"before":"c41af69bb61c46dfb7b2169c3181fbd7a41c4dab","after":"e61209180d755dbdc9770c50e2a060c3935a7628","ref":"refs/heads/WF","pushedAt":"2024-09-19T14:38:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jtristan","name":"John Tristan","path":"/jtristan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/729989?s=80&v=4"},"commit":{"message":"Example reports","shortMessageHtmlLink":"Example reports"}},{"before":"0e6fb63b663aa45d3e32f147f2f794850766a970","after":"c41af69bb61c46dfb7b2169c3181fbd7a41c4dab","ref":"refs/heads/WF","pushedAt":"2024-09-17T19:46:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jtristan","name":"John Tristan","path":"/jtristan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/729989?s=80&v=4"},"commit":{"message":"Operations","shortMessageHtmlLink":"Operations"}},{"before":"940d59de0cad2dcde36fb1bc7ac0ee87a2a6cef2","after":"0e6fb63b663aa45d3e32f147f2f794850766a970","ref":"refs/heads/WF","pushedAt":"2024-09-17T17:44:08.000Z","pushType":"push","commitsCount":21,"pusher":{"login":"jtristan","name":"John Tristan","path":"/jtristan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/729989?s=80&v=4"},"commit":{"message":"Merge branch 'WF' of github.com:leanprover/SHerLOC into WF","shortMessageHtmlLink":"Merge branch 'WF' of github.com:leanprover/SHerLOC into WF"}},{"before":null,"after":"940d59de0cad2dcde36fb1bc7ac0ee87a2a6cef2","ref":"refs/heads/WF","pushedAt":"2024-09-17T17:42:47.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"jtristan","name":"John Tristan","path":"/jtristan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/729989?s=80&v=4"},"commit":{"message":"Refactoring AST (#10)","shortMessageHtmlLink":"Refactoring AST (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2517317245\" data-permission-text=\"Title is private\" data-url=\"https://github.com/leanprover/SHerLOC/issues/10\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/leanprover/SHerLOC/pull/10/hovercard\" href=\"https://github.com/leanprover/SHerLOC/pull/10\">#10</a>)"}},{"before":"36da4080602cd3cb7468b8019bf488b1f1132fa6","after":null,"ref":"refs/heads/WF","pushedAt":"2024-09-13T20:17:51.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"jtristan","name":"John Tristan","path":"/jtristan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/729989?s=80&v=4"}},{"before":"861191ac2634d50a96c98c2d78c9991db075c179","after":"940d59de0cad2dcde36fb1bc7ac0ee87a2a6cef2","ref":"refs/heads/main","pushedAt":"2024-09-13T20:17:50.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"jtristan","name":"John Tristan","path":"/jtristan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/729989?s=80&v=4"},"commit":{"message":"Refactoring AST (#10)","shortMessageHtmlLink":"Refactoring AST (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2517317245\" data-permission-text=\"Title is private\" data-url=\"https://github.com/leanprover/SHerLOC/issues/10\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/leanprover/SHerLOC/pull/10/hovercard\" href=\"https://github.com/leanprover/SHerLOC/pull/10\">#10</a>)"}},{"before":"5d665735d7a4473aefb6ee9e62c38c5612d5caa8","after":"36da4080602cd3cb7468b8019bf488b1f1132fa6","ref":"refs/heads/WF","pushedAt":"2024-09-13T20:16:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jtristan","name":"John Tristan","path":"/jtristan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/729989?s=80&v=4"},"commit":{"message":"improved parsing of dot_general","shortMessageHtmlLink":"improved parsing of dot_general"}},{"before":"f37a1f53f41614e69e4cfab578a2b5c891e1c096","after":"5d665735d7a4473aefb6ee9e62c38c5612d5caa8","ref":"refs/heads/WF","pushedAt":"2024-09-13T19:29:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jtristan","name":"John Tristan","path":"/jtristan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/729989?s=80&v=4"},"commit":{"message":"completed FP types","shortMessageHtmlLink":"completed FP types"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0yMFQyMTowNjoyNi4wMDAwMDBazwAAAAS8XtOk","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0yMFQyMTowNjoyNi4wMDAwMDBazwAAAAS8XtOk","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0xM1QxOToyOToxMS4wMDAwMDBazwAAAAS10vcM"}},"title":"Activity · leanprover/SHerLOC"}