{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":713100500,"defaultBranch":"main","name":"ConcurrentWitness2Test","ownerLogin":"ftsrg","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-11-01T20:52:47.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/6715687?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1701008136.0","currentOid":""},"activityList":{"items":[{"before":"a9b7307dbe92e61526a73b63ed65f5b4ebe79420","after":"a5c5e4cb1d4568aa3fb161f01922ebf5309c586d","ref":"refs/heads/gh-pages","pushedAt":"2023-12-03T12:39:14.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":"Deploying to gh-pages from @ ftsrg/ConcurrentWitness2Test@1cc4b0296540dfa8348bc520dce248f2654c6cbb 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/ftsrg/ConcurrentWitness2Test/commit/1cc4b0296540dfa8348bc520dce248f2654c6cbb/hovercard\" href=\"https://github.com/ftsrg/ConcurrentWitness2Test/commit/1cc4b0296540dfa8348bc520dce248f2654c6cbb\"><tt>1cc4b02</tt></a> 🚀"}},{"before":"ac3f03c885648efb7062b61f735de60cfb94e4a9","after":"1cc4b0296540dfa8348bc520dce248f2654c6cbb","ref":"refs/heads/main","pushedAt":"2023-12-03T12:01:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"leventeBajczi","name":"Bajczi Levente","path":"/leventeBajczi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12221540?s=80&v=4"},"commit":{"message":"Updatex triggers for CI","shortMessageHtmlLink":"Updatex triggers for CI"}},{"before":"ed4ad75e6cdcd10616745e235d548353bf8be696","after":"ac3f03c885648efb7062b61f735de60cfb94e4a9","ref":"refs/heads/main","pushedAt":"2023-12-03T11:44:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"leventeBajczi","name":"Bajczi Levente","path":"/leventeBajczi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12221540?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"ff8caf80c9aa3134ad8a73da7d85b1550c7982a0","after":"ed4ad75e6cdcd10616745e235d548353bf8be696","ref":"refs/heads/main","pushedAt":"2023-12-03T11:41:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"leventeBajczi","name":"Bajczi Levente","path":"/leventeBajczi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12221540?s=80&v=4"},"commit":{"message":"Updated project key","shortMessageHtmlLink":"Updated project key"}},{"before":"4f7647e0633085ba21d62be1d136e7dbf8259651","after":"a9b7307dbe92e61526a73b63ed65f5b4ebe79420","ref":"refs/heads/gh-pages","pushedAt":"2023-12-03T00:22:42.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":"Deploying to gh-pages from @ ftsrg/ConcurrentWitness2Test@ff8caf80c9aa3134ad8a73da7d85b1550c7982a0 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/ftsrg/ConcurrentWitness2Test/commit/ff8caf80c9aa3134ad8a73da7d85b1550c7982a0/hovercard\" href=\"https://github.com/ftsrg/ConcurrentWitness2Test/commit/ff8caf80c9aa3134ad8a73da7d85b1550c7982a0\"><tt>ff8caf8</tt></a> 🚀"}},{"before":"0f105a298e185090033dc78ba5afd62ec73ae738","after":"ff8caf80c9aa3134ad8a73da7d85b1550c7982a0","ref":"refs/heads/main","pushedAt":"2023-12-02T23:44:37.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"leventeBajczi","name":"Bajczi Levente","path":"/leventeBajczi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12221540?s=80&v=4"},"commit":{"message":"Removed file","shortMessageHtmlLink":"Removed file"}},{"before":"8c9576a2a6cab05d9c4a1c477aef04b83adcded9","after":"0f105a298e185090033dc78ba5afd62ec73ae738","ref":"refs/heads/main","pushedAt":"2023-12-02T23:43:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"leventeBajczi","name":"Bajczi Levente","path":"/leventeBajczi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12221540?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"e8dfb7a8eb272d1ba5c9714f5c9e753b8e83ccd6","after":"8c9576a2a6cab05d9c4a1c477aef04b83adcded9","ref":"refs/heads/main","pushedAt":"2023-12-02T23:34:21.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"leventeBajczi","name":"Bajczi Levente","path":"/leventeBajczi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12221540?s=80&v=4"},"commit":{"message":"Excluded c file","shortMessageHtmlLink":"Excluded c file"}},{"before":"9fce992808a8ae5e6580b2092b66a46918708d7c","after":"e8dfb7a8eb272d1ba5c9714f5c9e753b8e83ccd6","ref":"refs/heads/main","pushedAt":"2023-12-02T23:31:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"leventeBajczi","name":"Bajczi Levente","path":"/leventeBajczi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12221540?s=80&v=4"},"commit":{"message":"Added sonar-project.properties","shortMessageHtmlLink":"Added sonar-project.properties"}},{"before":"5e7e6d836f2273f8f22b3688416db419a1b639c3","after":"9fce992808a8ae5e6580b2092b66a46918708d7c","ref":"refs/heads/main","pushedAt":"2023-12-02T23:29:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"leventeBajczi","name":"Bajczi Levente","path":"/leventeBajczi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12221540?s=80&v=4"},"commit":{"message":"Added sonar","shortMessageHtmlLink":"Added sonar"}},{"before":"0fbfd22d6f8057dc174879d660a309b01fc5ddcc","after":"5e7e6d836f2273f8f22b3688416db419a1b639c3","ref":"refs/heads/main","pushedAt":"2023-12-02T23:26:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"leventeBajczi","name":"Bajczi Levente","path":"/leventeBajczi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12221540?s=80&v=4"},"commit":{"message":"Used black to reformat files","shortMessageHtmlLink":"Used black to reformat files"}},{"before":"70545a86a53d298ec2cc70c125dbca6aed4c8b43","after":"0fbfd22d6f8057dc174879d660a309b01fc5ddcc","ref":"refs/heads/main","pushedAt":"2023-12-02T23:20:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"leventeBajczi","name":"Bajczi Levente","path":"/leventeBajczi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12221540?s=80&v=4"},"commit":{"message":"Added black-check","shortMessageHtmlLink":"Added black-check"}},{"before":"c1b60054ded8b17d3c2f849e1e3ccfcc1378cce6","after":"4f7647e0633085ba21d62be1d136e7dbf8259651","ref":"refs/heads/gh-pages","pushedAt":"2023-11-27T12:45:19.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":"Deploying to gh-pages from @ ftsrg/ConcurrentWitness2Test@70545a86a53d298ec2cc70c125dbca6aed4c8b43 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/ftsrg/ConcurrentWitness2Test/commit/70545a86a53d298ec2cc70c125dbca6aed4c8b43/hovercard\" href=\"https://github.com/ftsrg/ConcurrentWitness2Test/commit/70545a86a53d298ec2cc70c125dbca6aed4c8b43\"><tt>70545a8</tt></a> 🚀"}},{"before":"6b7f8a133eeb418f266b36fb35de4ddf7ee177b8","after":"70545a86a53d298ec2cc70c125dbca6aed4c8b43","ref":"refs/heads/main","pushedAt":"2023-11-27T12:06:56.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"leventeBajczi","name":"Bajczi Levente","path":"/leventeBajczi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12221540?s=80&v=4"},"commit":{"message":"Moved deletion to safe place","shortMessageHtmlLink":"Moved deletion to safe place"}},{"before":"915e132b015abc3cf2905149db6120d0e7facdaa","after":"6b7f8a133eeb418f266b36fb35de4ddf7ee177b8","ref":"refs/heads/main","pushedAt":"2023-11-27T11:45:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"leventeBajczi","name":"Bajczi Levente","path":"/leventeBajczi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12221540?s=80&v=4"},"commit":{"message":"Added logging","shortMessageHtmlLink":"Added logging"}},{"before":"a6d208895a76eaddd58b011b147bdab400d00c21","after":"915e132b015abc3cf2905149db6120d0e7facdaa","ref":"refs/heads/main","pushedAt":"2023-11-27T11:41:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"leventeBajczi","name":"Bajczi Levente","path":"/leventeBajczi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12221540?s=80&v=4"},"commit":{"message":"Using returncode and stdout in one","shortMessageHtmlLink":"Using returncode and stdout in one"}},{"before":"ea365a0e0fedcefaa53521bd048d8e8914931310","after":"c1b60054ded8b17d3c2f849e1e3ccfcc1378cce6","ref":"refs/heads/gh-pages","pushedAt":"2023-11-27T10:22:56.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":"Deploying to gh-pages from @ ftsrg/ConcurrentWitness2Test@a6d208895a76eaddd58b011b147bdab400d00c21 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/ftsrg/ConcurrentWitness2Test/commit/a6d208895a76eaddd58b011b147bdab400d00c21/hovercard\" href=\"https://github.com/ftsrg/ConcurrentWitness2Test/commit/a6d208895a76eaddd58b011b147bdab400d00c21\"><tt>a6d2088</tt></a> 🚀"}},{"before":"0fa6e2411b16146fcb9937efab1812c512cb626a","after":"a6d208895a76eaddd58b011b147bdab400d00c21","ref":"refs/heads/main","pushedAt":"2023-11-27T09:44:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"leventeBajczi","name":"Bajczi Levente","path":"/leventeBajczi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12221540?s=80&v=4"},"commit":{"message":"Added retry-attempts to benchexec installation (moody command)","shortMessageHtmlLink":"Added retry-attempts to benchexec installation (moody command)"}},{"before":"fe9b9ec4b68accfdc02e1d7b1abd1905ee079ede","after":"0fa6e2411b16146fcb9937efab1812c512cb626a","ref":"refs/heads/main","pushedAt":"2023-11-27T09:40:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"leventeBajczi","name":"Bajczi Levente","path":"/leventeBajczi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12221540?s=80&v=4"},"commit":{"message":"--graphml-witness","shortMessageHtmlLink":"--graphml-witness"}},{"before":"41dbb18da383ee47c0ec79bcfa0b0ca9a67b82d2","after":"ea365a0e0fedcefaa53521bd048d8e8914931310","ref":"refs/heads/gh-pages","pushedAt":"2023-11-27T09:38:40.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":"Deploying to gh-pages from @ ftsrg/ConcurrentWitness2Test@fe9b9ec4b68accfdc02e1d7b1abd1905ee079ede 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/ftsrg/ConcurrentWitness2Test/commit/fe9b9ec4b68accfdc02e1d7b1abd1905ee079ede/hovercard\" href=\"https://github.com/ftsrg/ConcurrentWitness2Test/commit/fe9b9ec4b68accfdc02e1d7b1abd1905ee079ede\"><tt>fe9b9ec</tt></a> 🚀"}},{"before":"44b44979a08949697d1ccafa3b94edd035c3fc1d","after":"fe9b9ec4b68accfdc02e1d7b1abd1905ee079ede","ref":"refs/heads/main","pushedAt":"2023-11-27T09:29:49.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"leventeBajczi","name":"Bajczi Levente","path":"/leventeBajczi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12221540?s=80&v=4"},"commit":{"message":"Updated lazycseq placeholder","shortMessageHtmlLink":"Updated lazycseq placeholder"}},{"before":"511625a985d9c32816dee165295bb4596f0fcafa","after":"41dbb18da383ee47c0ec79bcfa0b0ca9a67b82d2","ref":"refs/heads/gh-pages","pushedAt":"2023-11-26T22:39:30.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":"Deploying to gh-pages from @ ftsrg/ConcurrentWitness2Test@44b44979a08949697d1ccafa3b94edd035c3fc1d 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/ftsrg/ConcurrentWitness2Test/commit/44b44979a08949697d1ccafa3b94edd035c3fc1d/hovercard\" href=\"https://github.com/ftsrg/ConcurrentWitness2Test/commit/44b44979a08949697d1ccafa3b94edd035c3fc1d\"><tt>44b4497</tt></a> 🚀"}},{"before":"cf54ed033ebb6ef0866d02ad65fef96b70b8aa87","after":"44b44979a08949697d1ccafa3b94edd035c3fc1d","ref":"refs/heads/main","pushedAt":"2023-11-26T21:54:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"leventeBajczi","name":"Bajczi Levente","path":"/leventeBajczi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12221540?s=80&v=4"},"commit":{"message":"Parallelism 15->10","shortMessageHtmlLink":"Parallelism 15-&gt;10"}},{"before":"027152abdcff9cb83d123e2e3849257ba454539b","after":"cf54ed033ebb6ef0866d02ad65fef96b70b8aa87","ref":"refs/heads/main","pushedAt":"2023-11-26T21:22:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"leventeBajczi","name":"Bajczi Levente","path":"/leventeBajczi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12221540?s=80&v=4"},"commit":{"message":"Fixed sinknode detection","shortMessageHtmlLink":"Fixed sinknode detection"}},{"before":"895dd24e9e8778b015377b84ba6fb1edf9f860b2","after":"511625a985d9c32816dee165295bb4596f0fcafa","ref":"refs/heads/gh-pages","pushedAt":"2023-11-26T20:58:09.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":"Deploying to gh-pages from @ ftsrg/ConcurrentWitness2Test@027152abdcff9cb83d123e2e3849257ba454539b 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/ftsrg/ConcurrentWitness2Test/commit/027152abdcff9cb83d123e2e3849257ba454539b/hovercard\" href=\"https://github.com/ftsrg/ConcurrentWitness2Test/commit/027152abdcff9cb83d123e2e3849257ba454539b\"><tt>027152a</tt></a> 🚀"}},{"before":"5710d9aad2f04d9cd68aab9a592ac27f1a70ba22","after":"027152abdcff9cb83d123e2e3849257ba454539b","ref":"refs/heads/main","pushedAt":"2023-11-26T20:34:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"leventeBajczi","name":"Bajczi Levente","path":"/leventeBajczi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12221540?s=80&v=4"},"commit":{"message":"Fixed entry_nodes","shortMessageHtmlLink":"Fixed entry_nodes"}},{"before":"85e22b1ba4996cb0fa0b9198cc4b8c4f38940739","after":"895dd24e9e8778b015377b84ba6fb1edf9f860b2","ref":"refs/heads/gh-pages","pushedAt":"2023-11-26T19:34:23.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":"Deploying to gh-pages from @ ftsrg/ConcurrentWitness2Test@5710d9aad2f04d9cd68aab9a592ac27f1a70ba22 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/ftsrg/ConcurrentWitness2Test/commit/5710d9aad2f04d9cd68aab9a592ac27f1a70ba22/hovercard\" href=\"https://github.com/ftsrg/ConcurrentWitness2Test/commit/5710d9aad2f04d9cd68aab9a592ac27f1a70ba22\"><tt>5710d9a</tt></a> 🚀"}},{"before":"aecfbee95b6b4966b181fedcbf6673c4433c6b20","after":"5710d9aad2f04d9cd68aab9a592ac27f1a70ba22","ref":"refs/heads/main","pushedAt":"2023-11-26T19:21:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"leventeBajczi","name":"Bajczi Levente","path":"/leventeBajczi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12221540?s=80&v=4"},"commit":{"message":"fix url","shortMessageHtmlLink":"fix url"}},{"before":"e6babe494ef2e3602f037ebbc997850eca4da0c9","after":"85e22b1ba4996cb0fa0b9198cc4b8c4f38940739","ref":"refs/heads/gh-pages","pushedAt":"2023-11-26T19:11:50.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":"Deploying to gh-pages from @ ftsrg/ConcurrentWitness2Test@aecfbee95b6b4966b181fedcbf6673c4433c6b20 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/ftsrg/ConcurrentWitness2Test/commit/aecfbee95b6b4966b181fedcbf6673c4433c6b20/hovercard\" href=\"https://github.com/ftsrg/ConcurrentWitness2Test/commit/aecfbee95b6b4966b181fedcbf6673c4433c6b20\"><tt>aecfbee</tt></a> 🚀"}},{"before":"e782d2c672e5627edefad59ec62328439eed33ba","after":"aecfbee95b6b4966b181fedcbf6673c4433c6b20","ref":"refs/heads/main","pushedAt":"2023-11-26T18:59:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"leventeBajczi","name":"Bajczi Levente","path":"/leventeBajczi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12221540?s=80&v=4"},"commit":{"message":"Added https back to url","shortMessageHtmlLink":"Added https back to url"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyMy0xMi0wM1QxMjozOToxNC4wMDAwMDBazwAAAAO_Ecdk","startCursor":"Y3Vyc29yOnYyOpK7MjAyMy0xMi0wM1QxMjozOToxNC4wMDAwMDBazwAAAAO_Ecdk","endCursor":"Y3Vyc29yOnYyOpK7MjAyMy0xMS0yNlQxODo1OTowMS4wMDAwMDBazwAAAAO4BWFQ"}},"title":"Activity · ftsrg/ConcurrentWitness2Test"}