{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":843090453,"defaultBranch":"master","name":"cerberus","ownerLogin":"GaloisInc","currentUserCanPush":false,"isFork":true,"isEmpty":false,"createdAt":"2024-08-15T19:00:20.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/1584774?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1727295856.0","currentOid":""},"activityList":{"items":[{"before":"16630b5a2f9ba4af6d182aca5ad0f4048b7972a9","after":"5383de6506b22be0ab85d2645f09f5850a67cd6e","ref":"refs/heads/gh-pages","pushedAt":"2024-09-25T21:04:47.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":"add CN Benchmarks (customSmallerIsBetter) benchmark result for 02e2b8a630e67b7275e10205f9edbc7543aaa494","shortMessageHtmlLink":"add CN Benchmarks (customSmallerIsBetter) benchmark result for <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/GaloisInc/cerberus/commit/02e2b8a630e67b7275e10205f9edbc7543aaa494/hovercard\" href=\"https://github.com/GaloisInc/cerberus/commit/02e2b8a630e67b7275e10205f9edbc7543aaa494\"><tt>02e2b8a</tt></a>"}},{"before":"114870c203c19411782d32b1651013524538a12b","after":"02e2b8a630e67b7275e10205f9edbc7543aaa494","ref":"refs/heads/master","pushedAt":"2024-09-25T20:58:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jprider63","name":"JP","path":"/jprider63","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/758275?s=80&v=4"},"commit":{"message":"Fix edge case in benchmarking","shortMessageHtmlLink":"Fix edge case in benchmarking"}},{"before":"fa76e6cf1481780f9fe403987d199b4bb25348ad","after":"16630b5a2f9ba4af6d182aca5ad0f4048b7972a9","ref":"refs/heads/gh-pages","pushedAt":"2024-09-25T20:57:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jprider63","name":"JP","path":"/jprider63","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/758275?s=80&v=4"},"commit":{"message":".","shortMessageHtmlLink":"."}},{"before":"114870c203c19411782d32b1651013524538a12b","after":"02e2b8a630e67b7275e10205f9edbc7543aaa494","ref":"refs/heads/feature/benchmark-solvers","pushedAt":"2024-09-25T20:56:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jprider63","name":"JP","path":"/jprider63","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/758275?s=80&v=4"},"commit":{"message":"Fix edge case in benchmarking","shortMessageHtmlLink":"Fix edge case in benchmarking"}},{"before":null,"after":"fcf6f2cf7299472259ed237b44cc43492bfdba18","ref":"refs/heads/gh-pages-reset","pushedAt":"2024-09-25T20:24:16.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"jprider63","name":"JP","path":"/jprider63","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/758275?s=80&v=4"},"commit":{"message":"Reset benchmarking charts for multiple solvers","shortMessageHtmlLink":"Reset benchmarking charts for multiple solvers"}},{"before":"2cb7abdb23d9b87ab2db3d61017b4a7bfe38a3d0","after":"fa76e6cf1481780f9fe403987d199b4bb25348ad","ref":"refs/heads/gh-pages","pushedAt":"2024-09-25T20:24:15.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":"add CN Benchmarks (customSmallerIsBetter) benchmark result for 114870c203c19411782d32b1651013524538a12b","shortMessageHtmlLink":"add CN Benchmarks (customSmallerIsBetter) benchmark result for <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/GaloisInc/cerberus/commit/114870c203c19411782d32b1651013524538a12b/hovercard\" href=\"https://github.com/GaloisInc/cerberus/commit/114870c203c19411782d32b1651013524538a12b\"><tt>114870c</tt></a>"}},{"before":"969fe77fbb4d37c55ab2b071a5a44eefa7385992","after":"114870c203c19411782d32b1651013524538a12b","ref":"refs/heads/master","pushedAt":"2024-09-25T20:18:06.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"jprider63","name":"JP","path":"/jprider63","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/758275?s=80&v=4"},"commit":{"message":"Benchmark z3 and cvc5","shortMessageHtmlLink":"Benchmark z3 and cvc5"}},{"before":"3f9cec66c5f99f4489eee46f1f1a5f097680faa2","after":"114870c203c19411782d32b1651013524538a12b","ref":"refs/heads/feature/benchmark-solvers","pushedAt":"2024-09-25T20:17:30.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"jprider63","name":"JP","path":"/jprider63","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/758275?s=80&v=4"},"commit":{"message":"Benchmark z3 and cvc5","shortMessageHtmlLink":"Benchmark z3 and cvc5"}},{"before":null,"after":"3f9cec66c5f99f4489eee46f1f1a5f097680faa2","ref":"refs/heads/feature/benchmark-solvers","pushedAt":"2024-09-25T20:15:59.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"jprider63","name":"JP","path":"/jprider63","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/758275?s=80&v=4"},"commit":{"message":"Benchmark z3 and cvc5","shortMessageHtmlLink":"Benchmark z3 and cvc5"}},{"before":"f7d181e7a10dd6dd2c6f1541c1f1c2bf94286409","after":"2cb7abdb23d9b87ab2db3d61017b4a7bfe38a3d0","ref":"refs/heads/gh-pages","pushedAt":"2024-09-25T20:03:36.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":"add CN Benchmarks (customSmallerIsBetter) benchmark result for 969fe77fbb4d37c55ab2b071a5a44eefa7385992","shortMessageHtmlLink":"add CN Benchmarks (customSmallerIsBetter) benchmark result for <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/GaloisInc/cerberus/commit/969fe77fbb4d37c55ab2b071a5a44eefa7385992/hovercard\" href=\"https://github.com/GaloisInc/cerberus/commit/969fe77fbb4d37c55ab2b071a5a44eefa7385992\"><tt>969fe77</tt></a>"}},{"before":"bae4004b4703c99c707991cf7ea8c4b354c8a013","after":"969fe77fbb4d37c55ab2b071a5a44eefa7385992","ref":"refs/heads/master","pushedAt":"2024-09-25T19:57:56.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jprider63","name":"JP","path":"/jprider63","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/758275?s=80&v=4"},"commit":{"message":".","shortMessageHtmlLink":"."}},{"before":"62558babe9e4ec74144206ff2a8b07585355d3e0","after":"f7d181e7a10dd6dd2c6f1541c1f1c2bf94286409","ref":"refs/heads/gh-pages","pushedAt":"2024-09-25T19:52:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jprider63","name":"JP","path":"/jprider63","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/758275?s=80&v=4"},"commit":{"message":".","shortMessageHtmlLink":"."}},{"before":"64a04f21b8a4ebe2db06257121da9a4f2cf216a5","after":"62558babe9e4ec74144206ff2a8b07585355d3e0","ref":"refs/heads/gh-pages","pushedAt":"2024-09-25T19:32:32.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":"add CN Benchmarks (customSmallerIsBetter) benchmark result for bae4004b4703c99c707991cf7ea8c4b354c8a013","shortMessageHtmlLink":"add CN Benchmarks (customSmallerIsBetter) benchmark result for <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/GaloisInc/cerberus/commit/bae4004b4703c99c707991cf7ea8c4b354c8a013/hovercard\" href=\"https://github.com/GaloisInc/cerberus/commit/bae4004b4703c99c707991cf7ea8c4b354c8a013\"><tt>bae4004</tt></a>"}},{"before":"84c1e0f66c51b954ac6ec2e31c280d6f1f14368f","after":"bae4004b4703c99c707991cf7ea8c4b354c8a013","ref":"refs/heads/master","pushedAt":"2024-09-25T19:26:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jprider63","name":"JP","path":"/jprider63","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/758275?s=80&v=4"},"commit":{"message":".","shortMessageHtmlLink":"."}},{"before":"b6cc71203d21c98888766eab0dec90bcd762b5a7","after":"ed621dc71aa978d090241d6af370d01ecbeadd42","ref":"refs/heads/test_regression","pushedAt":"2024-09-25T15:19:56.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jprider63","name":"JP","path":"/jprider63","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/758275?s=80&v=4"},"commit":{"message":"Try upgrading actions/github-script to v7","shortMessageHtmlLink":"Try upgrading actions/github-script to v7"}},{"before":"9a37ede6f87bfffd1eef6f70fbed5848876b1b52","after":"b6cc71203d21c98888766eab0dec90bcd762b5a7","ref":"refs/heads/test_regression","pushedAt":"2024-09-25T15:07:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jprider63","name":"JP","path":"/jprider63","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/758275?s=80&v=4"},"commit":{"message":"Revert \"Test regression CI comments\"\n\nThis reverts commit 9a37ede6f87bfffd1eef6f70fbed5848876b1b52.","shortMessageHtmlLink":"Revert \"Test regression CI comments\""}},{"before":null,"after":"9a37ede6f87bfffd1eef6f70fbed5848876b1b52","ref":"refs/heads/test_regression","pushedAt":"2024-09-25T15:04:13.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"jprider63","name":"JP","path":"/jprider63","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/758275?s=80&v=4"},"commit":{"message":"Test regression CI comments","shortMessageHtmlLink":"Test regression CI comments"}},{"before":"ecd29063907324875b28ef4cd2a512238448c844","after":"72c2497de6da99e7b90850500ae053ec49dfbd07","ref":"refs/heads/pr-benchmarking","pushedAt":"2024-09-25T14:28:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jprider63","name":"JP","path":"/jprider63","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/758275?s=80&v=4"},"commit":{"message":"Try adding token permissions","shortMessageHtmlLink":"Try adding token permissions"}},{"before":"93847f5e31fbbf2a9f1680d7422656f8689b92b5","after":"64a04f21b8a4ebe2db06257121da9a4f2cf216a5","ref":"refs/heads/gh-pages","pushedAt":"2024-09-24T22:04:16.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":"add CN Benchmarks (customSmallerIsBetter) benchmark result for 84c1e0f66c51b954ac6ec2e31c280d6f1f14368f","shortMessageHtmlLink":"add CN Benchmarks (customSmallerIsBetter) benchmark result for <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/GaloisInc/cerberus/commit/84c1e0f66c51b954ac6ec2e31c280d6f1f14368f/hovercard\" href=\"https://github.com/GaloisInc/cerberus/commit/84c1e0f66c51b954ac6ec2e31c280d6f1f14368f\"><tt>84c1e0f</tt></a>"}},{"before":"106232ee1f6bd0d61fd7c339b3d0c6cc9c5992e8","after":"93847f5e31fbbf2a9f1680d7422656f8689b92b5","ref":"refs/heads/gh-pages","pushedAt":"2024-09-24T22:00:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jprider63","name":"JP","path":"/jprider63","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/758275?s=80&v=4"},"commit":{"message":".","shortMessageHtmlLink":"."}},{"before":"e6bbd37b05768c171e9e3aff6518f76e6ab5e770","after":"84c1e0f66c51b954ac6ec2e31c280d6f1f14368f","ref":"refs/heads/master","pushedAt":"2024-09-24T22:00:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jprider63","name":"JP","path":"/jprider63","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/758275?s=80&v=4"},"commit":{"message":".","shortMessageHtmlLink":"."}},{"before":"dfe23a162c66a52bd83d981f3db6fbaf6387bc0a","after":"106232ee1f6bd0d61fd7c339b3d0c6cc9c5992e8","ref":"refs/heads/gh-pages","pushedAt":"2024-09-24T19:54:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jprider63","name":"JP","path":"/jprider63","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/758275?s=80&v=4"},"commit":{"message":".","shortMessageHtmlLink":"."}},{"before":"6882c0245dc6023f37ac823a0ce3b9ec6ae23711","after":"dfe23a162c66a52bd83d981f3db6fbaf6387bc0a","ref":"refs/heads/gh-pages","pushedAt":"2024-09-24T19:45: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":"add CN Benchmarks (customSmallerIsBetter) benchmark result for e6bbd37b05768c171e9e3aff6518f76e6ab5e770","shortMessageHtmlLink":"add CN Benchmarks (customSmallerIsBetter) benchmark result for <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/GaloisInc/cerberus/commit/e6bbd37b05768c171e9e3aff6518f76e6ab5e770/hovercard\" href=\"https://github.com/GaloisInc/cerberus/commit/e6bbd37b05768c171e9e3aff6518f76e6ab5e770\"><tt>e6bbd37</tt></a>"}},{"before":"bac33c08b4370a9bf1a407a722420d4d82bb0d1b","after":"e6bbd37b05768c171e9e3aff6518f76e6ab5e770","ref":"refs/heads/master","pushedAt":"2024-09-24T19:41:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jprider63","name":"JP","path":"/jprider63","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/758275?s=80&v=4"},"commit":{"message":".","shortMessageHtmlLink":"."}},{"before":"607cf5668c11a6023fa73c656b54a0516b927837","after":"bac33c08b4370a9bf1a407a722420d4d82bb0d1b","ref":"refs/heads/master","pushedAt":"2024-09-24T19:35:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jprider63","name":"JP","path":"/jprider63","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/758275?s=80&v=4"},"commit":{"message":".","shortMessageHtmlLink":"."}},{"before":"126e89cb01ab1589dd7ed232e840e27d386a1256","after":"607cf5668c11a6023fa73c656b54a0516b927837","ref":"refs/heads/master","pushedAt":"2024-09-24T19:07:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jprider63","name":"JP","path":"/jprider63","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/758275?s=80&v=4"},"commit":{"message":".","shortMessageHtmlLink":"."}},{"before":"082916d063fdb9fcecc331b89e946436c6690e6a","after":"126e89cb01ab1589dd7ed232e840e27d386a1256","ref":"refs/heads/master","pushedAt":"2024-09-24T19:06:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jprider63","name":"JP","path":"/jprider63","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/758275?s=80&v=4"},"commit":{"message":".","shortMessageHtmlLink":"."}},{"before":"96840e931a2102c6ee57c4e337ecc0413545a8a1","after":"082916d063fdb9fcecc331b89e946436c6690e6a","ref":"refs/heads/master","pushedAt":"2024-09-24T14:55:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jprider63","name":"JP","path":"/jprider63","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/758275?s=80&v=4"},"commit":{"message":"Benchmark z3 and cvc5","shortMessageHtmlLink":"Benchmark z3 and cvc5"}},{"before":"a87e72eca33ea1f9c41b84db62f9b967a37aee14","after":"6882c0245dc6023f37ac823a0ce3b9ec6ae23711","ref":"refs/heads/gh-pages","pushedAt":"2024-09-24T14:53:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jprider63","name":"JP","path":"/jprider63","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/758275?s=80&v=4"},"commit":{"message":"Remove old benchmark data","shortMessageHtmlLink":"Remove old benchmark data"}},{"before":"117d61efa2d73efbe5848c7a7103f23b3dad684b","after":"a87e72eca33ea1f9c41b84db62f9b967a37aee14","ref":"refs/heads/gh-pages","pushedAt":"2024-09-24T14:49:28.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"jprider63","name":"JP","path":"/jprider63","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/758275?s=80&v=4"},"commit":{"message":"add CN Benchmarks (customSmallerIsBetter) benchmark result for 95575f07714c4262b2175a5d4c90c894c950553d","shortMessageHtmlLink":"add CN Benchmarks (customSmallerIsBetter) benchmark result for <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/GaloisInc/cerberus/commit/95575f07714c4262b2175a5d4c90c894c950553d/hovercard\" href=\"https://github.com/GaloisInc/cerberus/commit/95575f07714c4262b2175a5d4c90c894c950553d\"><tt>95575f0</tt></a>"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0yNVQyMTowNDo0Ny4wMDAwMDBazwAAAATAy-Cj","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0yNFQxNDo0OToyOC4wMDAwMDBazwAAAAS_Sdnh"}},"title":"Activity · GaloisInc/cerberus"}