{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":480335217,"defaultBranch":"main","name":"homebrew-cbmc","ownerLogin":"diffblue","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2022-04-11T10:39:57.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/17216098?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1726846559.0","currentOid":""},"activityList":{"items":[{"before":"08c388de94528f438decc00943365be40a9c3a11","after":"d8ada8efb2b7d83c8ace7650085d0af53d01ece1","ref":"refs/heads/cbmc-6.3.1","pushedAt":"2024-09-22T18:07:46.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":"Add formula for CBMC 6.3.1","shortMessageHtmlLink":"Add formula for CBMC 6.3.1"}},{"before":"1c1a90d42942de5c5c86b7d2ee6540bcf7c1ba01","after":"08c388de94528f438decc00943365be40a9c3a11","ref":"refs/heads/cbmc-6.3.1","pushedAt":"2024-09-22T12:09:38.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":"Add formula for CBMC 6.3.1","shortMessageHtmlLink":"Add formula for CBMC 6.3.1"}},{"before":"33e9d9aa8dbef46ee0ff228fbfb9277f638a4f4e","after":"1c1a90d42942de5c5c86b7d2ee6540bcf7c1ba01","ref":"refs/heads/cbmc-6.3.1","pushedAt":"2024-09-22T06:08:24.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":"Add formula for CBMC 6.3.1","shortMessageHtmlLink":"Add formula for CBMC 6.3.1"}},{"before":"b49c87f20c62eda12fc8f85ef4d980a8b574ca26","after":"33e9d9aa8dbef46ee0ff228fbfb9277f638a4f4e","ref":"refs/heads/cbmc-6.3.1","pushedAt":"2024-09-22T00:28:06.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":"Add formula for CBMC 6.3.1","shortMessageHtmlLink":"Add formula for CBMC 6.3.1"}},{"before":"b4a558bdad92226ed0c51958fe3a1f599efd474e","after":"b49c87f20c62eda12fc8f85ef4d980a8b574ca26","ref":"refs/heads/cbmc-6.3.1","pushedAt":"2024-09-21T18:07:47.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":"Add formula for CBMC 6.3.1","shortMessageHtmlLink":"Add formula for CBMC 6.3.1"}},{"before":"d445cad880382a1f26feab17a5ae35a9b09d5956","after":"b4a558bdad92226ed0c51958fe3a1f599efd474e","ref":"refs/heads/cbmc-6.3.1","pushedAt":"2024-09-21T12:09:33.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":"Add formula for CBMC 6.3.1","shortMessageHtmlLink":"Add formula for CBMC 6.3.1"}},{"before":"2fa3951533216f8b53b235e88059bc0f3b27f15e","after":"d445cad880382a1f26feab17a5ae35a9b09d5956","ref":"refs/heads/cbmc-6.3.1","pushedAt":"2024-09-21T06:08:22.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":"Add formula for CBMC 6.3.1","shortMessageHtmlLink":"Add formula for CBMC 6.3.1"}},{"before":"9f5be44f717d0cc65def34a5ebb14b27d158b25f","after":"2fa3951533216f8b53b235e88059bc0f3b27f15e","ref":"refs/heads/cbmc-6.3.1","pushedAt":"2024-09-21T00:24: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":"Add formula for CBMC 6.3.1","shortMessageHtmlLink":"Add formula for CBMC 6.3.1"}},{"before":"1c6a2a42688d49e378565c8ed1114207d31ef733","after":"9f5be44f717d0cc65def34a5ebb14b27d158b25f","ref":"refs/heads/cbmc-6.3.1","pushedAt":"2024-09-20T18:08:44.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":"Add formula for CBMC 6.3.1","shortMessageHtmlLink":"Add formula for CBMC 6.3.1"}},{"before":"cca15d46139a8693851f1b1e07d0582e78000af3","after":"4cc7933e55acccc461bcba314f624917b28b8eeb","ref":"refs/heads/main","pushedAt":"2024-09-20T16:33:37.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tautschnig","name":"Michael Tautschnig","path":"/tautschnig","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1144736?s=80&v=4"},"commit":{"message":"Fix spacing in transform output","shortMessageHtmlLink":"Fix spacing in transform output"}},{"before":"37a7c5ecc81f824acd6d5e730f4fad53f2e1f668","after":"1c6a2a42688d49e378565c8ed1114207d31ef733","ref":"refs/heads/cbmc-6.3.1","pushedAt":"2024-09-20T16:05:37.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tautschnig","name":"Michael Tautschnig","path":"/tautschnig","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1144736?s=80&v=4"},"commit":{"message":"Update Formula/cbmc@6.3.1.rb","shortMessageHtmlLink":"Update Formula/cbmc@6.3.1.rb"}},{"before":null,"after":"37a7c5ecc81f824acd6d5e730f4fad53f2e1f668","ref":"refs/heads/cbmc-6.3.1","pushedAt":"2024-09-20T15:35:59.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":"Add formula for CBMC 6.3.1","shortMessageHtmlLink":"Add formula for CBMC 6.3.1"}},{"before":"08fae9fa990e8116bd445e38c80954d190037e79","after":"cca15d46139a8693851f1b1e07d0582e78000af3","ref":"refs/heads/main","pushedAt":"2024-09-20T15:33:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tautschnig","name":"Michael Tautschnig","path":"/tautschnig","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1144736?s=80&v=4"},"commit":{"message":"Fix tag name of release upload target","shortMessageHtmlLink":"Fix tag name of release upload target"}},{"before":"960720d4c8c8512ab89e9d023ff1d32de6b04bb7","after":"08fae9fa990e8116bd445e38c80954d190037e79","ref":"refs/heads/main","pushedAt":"2024-09-20T15:24:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tautschnig","name":"Michael Tautschnig","path":"/tautschnig","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1144736?s=80&v=4"},"commit":{"message":"Fix path","shortMessageHtmlLink":"Fix path"}},{"before":"f0522887b0b7ea2db67c904d498a60f8491c2e78","after":"960720d4c8c8512ab89e9d023ff1d32de6b04bb7","ref":"refs/heads/main","pushedAt":"2024-09-20T09:34:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tautschnig","name":"Michael Tautschnig","path":"/tautschnig","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1144736?s=80&v=4"},"commit":{"message":"Adopt another shellcheck recommendation","shortMessageHtmlLink":"Adopt another shellcheck recommendation"}},{"before":"649fd5e0e0285017002ae6fb1f835ba9a96a6267","after":"f0522887b0b7ea2db67c904d498a60f8491c2e78","ref":"refs/heads/main","pushedAt":"2024-09-20T09:29:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tautschnig","name":"Michael Tautschnig","path":"/tautschnig","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1144736?s=80&v=4"},"commit":{"message":"Adhere to shellcheck's recommendations","shortMessageHtmlLink":"Adhere to shellcheck's recommendations"}},{"before":"92f15474c40f876a49ae6ee29ee715545a5db489","after":"649fd5e0e0285017002ae6fb1f835ba9a96a6267","ref":"refs/heads/main","pushedAt":"2024-09-20T09:20:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tautschnig","name":"Michael Tautschnig","path":"/tautschnig","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1144736?s=80&v=4"},"commit":{"message":"Automate formula build and asset upload","shortMessageHtmlLink":"Automate formula build and asset upload"}},{"before":"697a1f6618f97c0ad2d39ace6d683adad2154314","after":"92f15474c40f876a49ae6ee29ee715545a5db489","ref":"refs/heads/main","pushedAt":"2024-09-19T12:38:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tautschnig","name":"Michael Tautschnig","path":"/tautschnig","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1144736?s=80&v=4"},"commit":{"message":"Whitespace changes to make brew style happy","shortMessageHtmlLink":"Whitespace changes to make brew style happy"}},{"before":"3235f526d669a3ad53b081846a75beab774ef081","after":"697a1f6618f97c0ad2d39ace6d683adad2154314","ref":"refs/heads/main","pushedAt":"2024-09-19T12:31:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tautschnig","name":"Michael Tautschnig","path":"/tautschnig","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1144736?s=80&v=4"},"commit":{"message":"Cleanup transform_binary.sh\n\nAdhere to shellcheck's recommendations and refactor duplicate code.","shortMessageHtmlLink":"Cleanup transform_binary.sh"}},{"before":"60d11a01ee73f68af0ba340cab13bc081e7c9a98","after":"3235f526d669a3ad53b081846a75beab774ef081","ref":"refs/heads/main","pushedAt":"2024-09-19T12:07:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tautschnig","name":"Michael Tautschnig","path":"/tautschnig","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1144736?s=80&v=4"},"commit":{"message":"Apply shellcheck's recommendations","shortMessageHtmlLink":"Apply shellcheck's recommendations"}},{"before":"097676ca31be6f5dd97e8bbb3d8deb3c3b97fb26","after":null,"ref":"refs/heads/dependabot/github_actions/actions/cache-4","pushedAt":"2024-09-19T11:53:28.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"tautschnig","name":"Michael Tautschnig","path":"/tautschnig","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1144736?s=80&v=4"}},{"before":"7f4ae36ad59163678cd21d729ea7744d32e0b928","after":"60d11a01ee73f68af0ba340cab13bc081e7c9a98","ref":"refs/heads/main","pushedAt":"2024-09-19T11:53:24.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"tautschnig","name":"Michael Tautschnig","path":"/tautschnig","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1144736?s=80&v=4"},"commit":{"message":"Merge pull request #12 from diffblue/dependabot/github_actions/actions/cache-4\n\nBump actions/cache from 1 to 4","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2536117090\" data-permission-text=\"Title is private\" data-url=\"https://github.com/diffblue/homebrew-cbmc/issues/12\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/diffblue/homebrew-cbmc/pull/12/hovercard\" href=\"https://github.com/diffblue/homebrew-cbmc/pull/12\">#12</a> from diffblue/dependabot/github_actions/action…"}},{"before":"299c576285c052c58434c61845c2a0a3554035bf","after":"097676ca31be6f5dd97e8bbb3d8deb3c3b97fb26","ref":"refs/heads/dependabot/github_actions/actions/cache-4","pushedAt":"2024-09-19T11:50:54.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"},"commit":{"message":"Bump actions/cache from 1 to 4\n\nBumps [actions/cache](https://github.com/actions/cache) from 1 to 4.\n- [Release notes](https://github.com/actions/cache/releases)\n- [Changelog](https://github.com/actions/cache/blob/main/RELEASES.md)\n- [Commits](https://github.com/actions/cache/compare/v1...v4)\n\n---\nupdated-dependencies:\n- dependency-name: actions/cache\n  dependency-type: direct:production\n  update-type: version-update:semver-major\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>","shortMessageHtmlLink":"Bump actions/cache from 1 to 4"}},{"before":null,"after":"299c576285c052c58434c61845c2a0a3554035bf","ref":"refs/heads/dependabot/github_actions/actions/cache-4","pushedAt":"2024-09-19T11:50:52.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"},"commit":{"message":"Bump actions/cache from 1 to 4\n\nBumps [actions/cache](https://github.com/actions/cache) from 1 to 4.\n- [Release notes](https://github.com/actions/cache/releases)\n- [Changelog](https://github.com/actions/cache/blob/main/RELEASES.md)\n- [Commits](https://github.com/actions/cache/compare/v1...v4)\n\n---\nupdated-dependencies:\n- dependency-name: actions/cache\n  dependency-type: direct:production\n  update-type: version-update:semver-major\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>","shortMessageHtmlLink":"Bump actions/cache from 1 to 4"}},{"before":"c91e21cf6a66da828805af8755a0b817c5eae5a2","after":"7f4ae36ad59163678cd21d729ea7744d32e0b928","ref":"refs/heads/main","pushedAt":"2024-09-19T11:50:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tautschnig","name":"Michael Tautschnig","path":"/tautschnig","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1144736?s=80&v=4"},"commit":{"message":"Add dependabot for GitHub actions","shortMessageHtmlLink":"Add dependabot for GitHub actions"}},{"before":"0b3bc4292e975d3ca8e18c1b4acdec9f4a68fbcd","after":"c91e21cf6a66da828805af8755a0b817c5eae5a2","ref":"refs/heads/main","pushedAt":"2024-09-19T11:43:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tautschnig","name":"Michael Tautschnig","path":"/tautschnig","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1144736?s=80&v=4"},"commit":{"message":"Further whitespace fixes","shortMessageHtmlLink":"Further whitespace fixes"}},{"before":"86e17adeb0eca7858ace5c085f1522eef90522e6","after":"0b3bc4292e975d3ca8e18c1b4acdec9f4a68fbcd","ref":"refs/heads/main","pushedAt":"2024-09-19T11:40:10.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"tautschnig","name":"Michael Tautschnig","path":"/tautschnig","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1144736?s=80&v=4"},"commit":{"message":"Fix whitespace to make brew audit happy","shortMessageHtmlLink":"Fix whitespace to make brew audit happy"}},{"before":"d1ecd34606fa176b2b3cdc6977819a43129781e1","after":"86e17adeb0eca7858ace5c085f1522eef90522e6","ref":"refs/heads/main","pushedAt":"2024-07-31T07:48:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tautschnig","name":"Michael Tautschnig","path":"/tautschnig","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1144736?s=80&v=4"},"commit":{"message":"Add formula for CBMC 6.1.1","shortMessageHtmlLink":"Add formula for CBMC 6.1.1"}},{"before":"2a31363c4408b741286e4d254d077b887f4b351f","after":"d1ecd34606fa176b2b3cdc6977819a43129781e1","ref":"refs/heads/main","pushedAt":"2024-07-23T21:24:24.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tautschnig","name":"Michael Tautschnig","path":"/tautschnig","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1144736?s=80&v=4"},"commit":{"message":"fixup! Add formula for 6.1.0","shortMessageHtmlLink":"fixup! Add formula for 6.1.0"}},{"before":"c3621c5ed9a3415c8c0bcfaffe6f8e0907eb6441","after":"2a31363c4408b741286e4d254d077b887f4b351f","ref":"refs/heads/main","pushedAt":"2024-07-23T21:20:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tautschnig","name":"Michael Tautschnig","path":"/tautschnig","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1144736?s=80&v=4"},"commit":{"message":"Add formula for 6.1.0","shortMessageHtmlLink":"Add formula for 6.1.0"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0yMlQxODowNzo0Ni4wMDAwMDBazwAAAAS9TZJs","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0yMlQxODowNzo0Ni4wMDAwMDBazwAAAAS9TZJs","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNy0yM1QyMToyMDowMi4wMDAwMDBazwAAAASHTWG_"}},"title":"Activity · diffblue/homebrew-cbmc"}