{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":365278267,"defaultBranch":"main","name":"Verification-Tool-Overview","ownerLogin":"Sophietje","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2021-05-07T15:32:51.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/5813135?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1702134992.0","currentOid":""},"activityList":{"items":[{"before":null,"after":"4b22f9d2110d9609fb45d574a3abf509206a9a33","ref":"refs/heads/create-pull-request/patch","pushedAt":"2023-12-09T15:16:32.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Update generated by ProVerBMate","shortMessageHtmlLink":"Update generated by ProVerBMate"}},{"before":null,"after":"e215749ad43b340d15f7f2097337d70d58e3efa8","ref":"refs/heads/search","pushedAt":"2023-07-16T10:20:09.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Sophietje","name":"Sophie Lathouwers","path":"/Sophietje","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5813135?s=80&v=4"},"commit":{"message":"Initial search implementation with hardcoded document list","shortMessageHtmlLink":"Initial search implementation with hardcoded document list"}},{"before":"54bec7f67bb2fbf095b75cd72984ab30d5496307","after":null,"ref":"refs/heads/create-pull-request/patch","pushedAt":"2023-04-11T10:28:14.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Sophietje","name":"Sophie Lathouwers","path":"/Sophietje","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5813135?s=80&v=4"}},{"before":"3c5f862151a7a3ff0feb7099ec5f9ced9575601e","after":"54bec7f67bb2fbf095b75cd72984ab30d5496307","ref":"refs/heads/create-pull-request/patch","pushedAt":"2023-04-10T16:25:03.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Update generated by ProVerBMate","shortMessageHtmlLink":"Update generated by ProVerBMate"}},{"before":"c9da9e73529020b123d726473a74f926f25bb782","after":"17888dfe8f4b85e059c693031b70fe206b128c3e","ref":"refs/heads/main","pushedAt":"2023-04-10T16:24:06.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Sophietje","name":"Sophie Lathouwers","path":"/Sophietje","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5813135?s=80&v=4"},"commit":{"message":"Try generating PR for subdirectory in workflow","shortMessageHtmlLink":"Try generating PR for subdirectory in workflow"}},{"before":"cee0ce709c76a6a656b4a42bdb387a7349d22e22","after":"c9da9e73529020b123d726473a74f926f25bb782","ref":"refs/heads/main","pushedAt":"2023-04-10T16:18:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Sophietje","name":"Sophie Lathouwers","path":"/Sophietje","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5813135?s=80&v=4"},"commit":{"message":"Remove tmate session from workflow & try out creating a PR","shortMessageHtmlLink":"Remove tmate session from workflow & try out creating a PR"}},{"before":"f0881d0757950d877eb07352879dc34528ef6ffa","after":"cee0ce709c76a6a656b4a42bdb387a7349d22e22","ref":"refs/heads/main","pushedAt":"2023-04-10T16:16:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Sophietje","name":"Sophie Lathouwers","path":"/Sophietje","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5813135?s=80&v=4"},"commit":{"message":"Clone repo into subdirectory in workflow","shortMessageHtmlLink":"Clone repo into subdirectory in workflow"}},{"before":null,"after":"3c5f862151a7a3ff0feb7099ec5f9ced9575601e","ref":"refs/heads/create-pull-request/patch","pushedAt":"2023-04-10T16:03:19.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"[create-pull-request] automated change","shortMessageHtmlLink":"[create-pull-request] automated change"}},{"before":"a8fab5a9a16675607160f451cf8204ed61bf1dc5","after":"f0881d0757950d877eb07352879dc34528ef6ffa","ref":"refs/heads/main","pushedAt":"2023-04-10T16:02:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Sophietje","name":"Sophie Lathouwers","path":"/Sophietje","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5813135?s=80&v=4"},"commit":{"message":"Remove tmate session from workflow","shortMessageHtmlLink":"Remove tmate session from workflow"}},{"before":"b32011dde6c5de342832d9af150b332850471e72","after":"a8fab5a9a16675607160f451cf8204ed61bf1dc5","ref":"refs/heads/main","pushedAt":"2023-04-10T15:59:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Sophietje","name":"Sophie Lathouwers","path":"/Sophietje","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5813135?s=80&v=4"},"commit":{"message":"Try different workflow order","shortMessageHtmlLink":"Try different workflow order"}},{"before":"bea8bd280429ab0f127cf9f8deee3201d77934aa","after":"b32011dde6c5de342832d9af150b332850471e72","ref":"refs/heads/main","pushedAt":"2023-04-10T15:56:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Sophietje","name":"Sophie Lathouwers","path":"/Sophietje","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5813135?s=80&v=4"},"commit":{"message":"Checkout repo in workflow","shortMessageHtmlLink":"Checkout repo in workflow"}},{"before":"b01c66780471f7a30b05cff7b1043ddbf95e8ccc","after":"bea8bd280429ab0f127cf9f8deee3201d77934aa","ref":"refs/heads/main","pushedAt":"2023-04-10T15:54:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Sophietje","name":"Sophie Lathouwers","path":"/Sophietje","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5813135?s=80&v=4"},"commit":{"message":"Remove tmate session from workflow file","shortMessageHtmlLink":"Remove tmate session from workflow file"}},{"before":"5950ffc5f9f5ef9bdb9cc155454c60db5f6664f0","after":"b01c66780471f7a30b05cff7b1043ddbf95e8ccc","ref":"refs/heads/main","pushedAt":"2023-04-10T15:53:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Sophietje","name":"Sophie Lathouwers","path":"/Sophietje","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5813135?s=80&v=4"},"commit":{"message":"Fix pattern in workflow gh command","shortMessageHtmlLink":"Fix pattern in workflow gh command"}},{"before":"694b4b82a4fdd49e872cf10ee6785504f40645ce","after":"5950ffc5f9f5ef9bdb9cc155454c60db5f6664f0","ref":"refs/heads/main","pushedAt":"2023-04-10T15:51:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Sophietje","name":"Sophie Lathouwers","path":"/Sophietje","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5813135?s=80&v=4"},"commit":{"message":"Update main.yml","shortMessageHtmlLink":"Update main.yml"}},{"before":"51e9788a138ea041cf864147fb9b7c4d35acd6d2","after":"694b4b82a4fdd49e872cf10ee6785504f40645ce","ref":"refs/heads/main","pushedAt":"2023-04-10T15:44:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Sophietje","name":"Sophie Lathouwers","path":"/Sophietje","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5813135?s=80&v=4"},"commit":{"message":"Add pattern to gh release command in workflow","shortMessageHtmlLink":"Add pattern to gh release command in workflow"}},{"before":"13ddb3fa168cd8853ea961ddbc4b830ad542d272","after":"51e9788a138ea041cf864147fb9b7c4d35acd6d2","ref":"refs/heads/main","pushedAt":"2023-04-10T15:41:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Sophietje","name":"Sophie Lathouwers","path":"/Sophietje","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5813135?s=80&v=4"},"commit":{"message":"Add GH_TOKEN for gh command in workflow","shortMessageHtmlLink":"Add GH_TOKEN for gh command in workflow"}},{"before":"a0f4b9963afca77626f050a91a02d1e5a7bee03e","after":"13ddb3fa168cd8853ea961ddbc4b830ad542d272","ref":"refs/heads/main","pushedAt":"2023-04-10T15:38:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Sophietje","name":"Sophie Lathouwers","path":"/Sophietje","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5813135?s=80&v=4"},"commit":{"message":"Try different approach for downloading artifacts in workflow","shortMessageHtmlLink":"Try different approach for downloading artifacts in workflow"}},{"before":"5e5181504aabe9baf00858c3c21e8611a4c114d8","after":"a0f4b9963afca77626f050a91a02d1e5a7bee03e","ref":"refs/heads/main","pushedAt":"2023-04-10T15:31:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Sophietje","name":"Sophie Lathouwers","path":"/Sophietje","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5813135?s=80&v=4"},"commit":{"message":"Fix repo name in workflow for download-artifact action","shortMessageHtmlLink":"Fix repo name in workflow for download-artifact action"}},{"before":"154f685e609fdd36415a1a4eb84cc191e69b028d","after":"5e5181504aabe9baf00858c3c21e8611a4c114d8","ref":"refs/heads/main","pushedAt":"2023-04-10T15:28:49.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"Sophietje","name":"Sophie Lathouwers","path":"/Sophietje","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5813135?s=80&v=4"},"commit":{"message":"Add missing with-clause to workflow file","shortMessageHtmlLink":"Add missing with-clause to workflow file"}},{"before":"c6da5a418e33d8fc5a2d4df21c4221f715735168","after":"154f685e609fdd36415a1a4eb84cc191e69b028d","ref":"refs/heads/main","pushedAt":"2023-04-10T15:25:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Sophietje","name":"Sophie Lathouwers","path":"/Sophietje","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5813135?s=80&v=4"},"commit":{"message":"Added first draft of workflow file","shortMessageHtmlLink":"Added first draft of workflow file"}},{"before":"efae73a6c5e0174cc61dc3113f663f22fdc8cfb8","after":null,"ref":"refs/heads/test-actions","pushedAt":"2023-04-10T15:24:53.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Sophietje","name":"Sophie Lathouwers","path":"/Sophietje","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5813135?s=80&v=4"}},{"before":null,"after":"efae73a6c5e0174cc61dc3113f663f22fdc8cfb8","ref":"refs/heads/test-actions","pushedAt":"2023-04-10T15:23:46.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Sophietje","name":"Sophie Lathouwers","path":"/Sophietje","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5813135?s=80&v=4"},"commit":{"message":"Added workflow draft","shortMessageHtmlLink":"Added workflow draft"}},{"before":"3c3e084effe3d622ea81919e3683fe26380864d1","after":null,"ref":"refs/heads/actions","pushedAt":"2023-04-10T15:21:30.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Sophietje","name":"Sophie Lathouwers","path":"/Sophietje","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5813135?s=80&v=4"}},{"before":null,"after":"3c3e084effe3d622ea81919e3683fe26380864d1","ref":"refs/heads/actions","pushedAt":"2023-04-10T15:19:03.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Sophietje","name":"Sophie Lathouwers","path":"/Sophietje","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5813135?s=80&v=4"},"commit":{"message":"Add first workflow draft file","shortMessageHtmlLink":"Add first workflow draft file"}},{"before":"3c3e084effe3d622ea81919e3683fe26380864d1","after":null,"ref":"refs/heads/actions","pushedAt":"2023-04-10T15:17:23.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Sophietje","name":"Sophie Lathouwers","path":"/Sophietje","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5813135?s=80&v=4"}},{"before":"0f5a74366d3eea9d4869d7b06b8c1d415403693e","after":"c6da5a418e33d8fc5a2d4df21c4221f715735168","ref":"refs/heads/main","pushedAt":"2023-04-10T15:16:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Sophietje","name":"Sophie Lathouwers","path":"/Sophietje","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5813135?s=80&v=4"},"commit":{"message":"Create main.yml","shortMessageHtmlLink":"Create main.yml"}},{"before":null,"after":"3c3e084effe3d622ea81919e3683fe26380864d1","ref":"refs/heads/actions","pushedAt":"2023-04-10T15:13:37.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Sophietje","name":"Sophie Lathouwers","path":"/Sophietje","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5813135?s=80&v=4"},"commit":{"message":"Add first workflow draft file","shortMessageHtmlLink":"Add first workflow draft file"}},{"before":"33fcb84f2232342a9fbe51d0c49c1c8f4b9355b0","after":"7c3dab54b2cf24601ff5ec64a6ae879042b510c2","ref":"refs/heads/proverbmate","pushedAt":"2023-04-10T09:46:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Sophietje","name":"Sophie Lathouwers","path":"/Sophietje","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5813135?s=80&v=4"},"commit":{"message":"Update dates with ProVerBMate","shortMessageHtmlLink":"Update dates with ProVerBMate"}},{"before":null,"after":"33fcb84f2232342a9fbe51d0c49c1c8f4b9355b0","ref":"refs/heads/proverbmate","pushedAt":"2023-03-30T12:27:40.131Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Sophietje","name":"Sophie Lathouwers","path":"/Sophietje","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5813135?s=80&v=4"},"commit":{"message":"Updated paper titles + last activity dates using ProVerBMate","shortMessageHtmlLink":"Updated paper titles + last activity dates using ProVerBMate"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADxiJxjQA","startCursor":null,"endCursor":null}},"title":"Activity · Sophietje/Verification-Tool-Overview"}