{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":272090494,"defaultBranch":"master","name":"cbmc-viewer","ownerLogin":"model-checking","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2020-06-13T21:44:35.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/78765001?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1721423367.0","currentOid":""},"activityList":{"items":[{"before":"a35eb35fbba72fdd83b5f32dec87836fd5564946","after":"930d49cfc7c71e0f3e169d85a266eb26e49f720f","ref":"refs/heads/master","pushedAt":"2024-07-31T17:18:27.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":"release-brew: consistently use GitHub context syntax","shortMessageHtmlLink":"release-brew: consistently use GitHub context syntax"}},{"before":"f165cf0d4e4192493693f52a480c8288baf661f7","after":"a35eb35fbba72fdd83b5f32dec87836fd5564946","ref":"refs/heads/master","pushedAt":"2024-07-19T21:08:28.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"tautschnig","name":"Michael Tautschnig","path":"/tautschnig","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1144736?s=80&v=4"},"commit":{"message":"Second attempt to fix update-pr\n\nTry to use exactly the same steps as the preceding task.","shortMessageHtmlLink":"Second attempt to fix update-pr"}},{"before":"caca38aee5499260e5681ed522edb51d27b9c85a","after":null,"ref":"refs/tags/viewer-3.9","pushedAt":"2024-07-19T21:04:23.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":"77dd9becc7e0bca74f1ffc825d76cf7d03a4f311","after":null,"ref":"refs/heads/dependabot/github_actions/actions/setup-python-5","pushedAt":"2024-07-19T20:59:34.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":"1cd5b4c18726a4836605827b51319a53acf0412c","after":"f165cf0d4e4192493693f52a480c8288baf661f7","ref":"refs/heads/master","pushedAt":"2024-07-19T20:59:30.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"tautschnig","name":"Michael Tautschnig","path":"/tautschnig","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1144736?s=80&v=4"},"commit":{"message":"Bump actions/setup-python from 3 to 5\n\nBumps [actions/setup-python](https://github.com/actions/setup-python) from 3 to 5.\n- [Release notes](https://github.com/actions/setup-python/releases)\n- [Commits](https://github.com/actions/setup-python/compare/v3...v5)\n\n---\nupdated-dependencies:\n- dependency-name: actions/setup-python\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/setup-python from 3 to 5"}},{"before":"58cc5e861d77ddc79a11110edf35f0aa26a0ff28","after":null,"ref":"refs/heads/dependabot/github_actions/actions/checkout-4","pushedAt":"2024-07-19T20:58:10.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":"dbe38d0b6e1d80da0fae799b30337ef7ec7cd6b3","after":"1cd5b4c18726a4836605827b51319a53acf0412c","ref":"refs/heads/master","pushedAt":"2024-07-19T20:58:06.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"tautschnig","name":"Michael Tautschnig","path":"/tautschnig","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1144736?s=80&v=4"},"commit":{"message":"Bump actions/checkout from 2 to 4\n\nBumps [actions/checkout](https://github.com/actions/checkout) from 2 to 4.\n- [Release notes](https://github.com/actions/checkout/releases)\n- [Changelog](https://github.com/actions/checkout/blob/main/CHANGELOG.md)\n- [Commits](https://github.com/actions/checkout/compare/v2...v4)\n\n---\nupdated-dependencies:\n- dependency-name: actions/checkout\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/checkout from 2 to 4"}},{"before":"20938b0f13580e330d07c75fbc53fb35dc8a21c8","after":null,"ref":"refs/heads/dependabot/github_actions/JamesIves/github-pages-deploy-action-4.6.3","pushedAt":"2024-07-19T20:57:43.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":"caca38aee5499260e5681ed522edb51d27b9c85a","after":"dbe38d0b6e1d80da0fae799b30337ef7ec7cd6b3","ref":"refs/heads/master","pushedAt":"2024-07-19T20:57:39.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"tautschnig","name":"Michael Tautschnig","path":"/tautschnig","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1144736?s=80&v=4"},"commit":{"message":"Bump JamesIves/github-pages-deploy-action from 4.1.4 to 4.6.3\n\nBumps [JamesIves/github-pages-deploy-action](https://github.com/jamesives/github-pages-deploy-action) from 4.1.4 to 4.6.3.\n- [Release notes](https://github.com/jamesives/github-pages-deploy-action/releases)\n- [Commits](https://github.com/jamesives/github-pages-deploy-action/compare/4.1.4...v4.6.3)\n\n---\nupdated-dependencies:\n- dependency-name: JamesIves/github-pages-deploy-action\n  dependency-type: direct:production\n  update-type: version-update:semver-minor\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>","shortMessageHtmlLink":"Bump JamesIves/github-pages-deploy-action from 4.1.4 to 4.6.3"}},{"before":"d5d29f505428bfead22bbec968d490e439152293","after":"caca38aee5499260e5681ed522edb51d27b9c85a","ref":"refs/heads/master","pushedAt":"2024-07-19T20:55:38.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"tautschnig","name":"Michael Tautschnig","path":"/tautschnig","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1144736?s=80&v=4"},"commit":{"message":"Extend permissions to make update-pr work\n\nThis is an attempt to also have update-pr use a personal-access token -\nthe build-bottle jobs use the very same steps to access secretsmanager\nand seem to be able to use the resulting token.","shortMessageHtmlLink":"Extend permissions to make update-pr work"}},{"before":"d5d29f505428bfead22bbec968d490e439152293","after":null,"ref":"refs/tags/viewer-3.9","pushedAt":"2024-07-19T20: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":"1141d2735d0a6dbfd61318eaba3c9044fa563b04","after":null,"ref":"refs/tags/viewer-3.9","pushedAt":"2024-07-19T20:23:04.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":"2141b05e56c38c381ec3ff5b60e961a82a175207","after":null,"ref":"refs/heads/dependabot/github_actions/actions/download-artifact-4","pushedAt":"2024-07-19T19:48:02.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":"1141d2735d0a6dbfd61318eaba3c9044fa563b04","after":"d5d29f505428bfead22bbec968d490e439152293","ref":"refs/heads/master","pushedAt":"2024-07-19T19:47:58.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"tautschnig","name":"Michael Tautschnig","path":"/tautschnig","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1144736?s=80&v=4"},"commit":{"message":"Bump actions/download-artifact from 3 to 4\n\nBumps [actions/download-artifact](https://github.com/actions/download-artifact) from 3 to 4.\n- [Release notes](https://github.com/actions/download-artifact/releases)\n- [Commits](https://github.com/actions/download-artifact/compare/v3...v4)\n\n---\nupdated-dependencies:\n- dependency-name: actions/download-artifact\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/download-artifact from 3 to 4"}},{"before":"d97e6a3c6acd9e759ca9cb3c808a49e4a05ba755","after":"1141d2735d0a6dbfd61318eaba3c9044fa563b04","ref":"refs/heads/master","pushedAt":"2024-07-18T16:07:12.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"feliperodri","name":"Felipe R. Monteiro","path":"/feliperodri","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4294522?s=80&v=4"},"commit":{"message":"fixup! CI jobs: remove use of deprecated set-output\n\nFixes the output name to match the variable name that was changed in\nfbf6eca0. (The change in fbf6eca0 was unintentional, but makes it more\nuniform with other output names.)","shortMessageHtmlLink":"fixup! CI jobs: remove use of deprecated set-output"}},{"before":"d97e6a3c6acd9e759ca9cb3c808a49e4a05ba755","after":null,"ref":"refs/tags/viewer-3.9","pushedAt":"2024-07-18T06:29:34.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":"9e835cd9a2a6c185b0913862343af1f77adb8d59","after":null,"ref":"refs/tags/viewer-3.9","pushedAt":"2024-07-18T06:15:16.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":null,"after":"20938b0f13580e330d07c75fbc53fb35dc8a21c8","ref":"refs/heads/dependabot/github_actions/JamesIves/github-pages-deploy-action-4.6.3","pushedAt":"2024-07-18T06:14:45.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 JamesIves/github-pages-deploy-action from 4.1.4 to 4.6.3\n\nBumps [JamesIves/github-pages-deploy-action](https://github.com/jamesives/github-pages-deploy-action) from 4.1.4 to 4.6.3.\n- [Release notes](https://github.com/jamesives/github-pages-deploy-action/releases)\n- [Commits](https://github.com/jamesives/github-pages-deploy-action/compare/4.1.4...v4.6.3)\n\n---\nupdated-dependencies:\n- dependency-name: JamesIves/github-pages-deploy-action\n  dependency-type: direct:production\n  update-type: version-update:semver-minor\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>","shortMessageHtmlLink":"Bump JamesIves/github-pages-deploy-action from 4.1.4 to 4.6.3"}},{"before":null,"after":"58cc5e861d77ddc79a11110edf35f0aa26a0ff28","ref":"refs/heads/dependabot/github_actions/actions/checkout-4","pushedAt":"2024-07-18T06:14:42.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/checkout from 2 to 4\n\nBumps [actions/checkout](https://github.com/actions/checkout) from 2 to 4.\n- [Release notes](https://github.com/actions/checkout/releases)\n- [Changelog](https://github.com/actions/checkout/blob/main/CHANGELOG.md)\n- [Commits](https://github.com/actions/checkout/compare/v2...v4)\n\n---\nupdated-dependencies:\n- dependency-name: actions/checkout\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/checkout from 2 to 4"}},{"before":null,"after":"2141b05e56c38c381ec3ff5b60e961a82a175207","ref":"refs/heads/dependabot/github_actions/actions/download-artifact-4","pushedAt":"2024-07-18T06:14:38.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/download-artifact from 3 to 4\n\nBumps [actions/download-artifact](https://github.com/actions/download-artifact) from 3 to 4.\n- [Release notes](https://github.com/actions/download-artifact/releases)\n- [Commits](https://github.com/actions/download-artifact/compare/v3...v4)\n\n---\nupdated-dependencies:\n- dependency-name: actions/download-artifact\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/download-artifact from 3 to 4"}},{"before":null,"after":"77dd9becc7e0bca74f1ffc825d76cf7d03a4f311","ref":"refs/heads/dependabot/github_actions/actions/setup-python-5","pushedAt":"2024-07-18T06:14:35.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/setup-python from 3 to 5\n\nBumps [actions/setup-python](https://github.com/actions/setup-python) from 3 to 5.\n- [Release notes](https://github.com/actions/setup-python/releases)\n- [Commits](https://github.com/actions/setup-python/compare/v3...v5)\n\n---\nupdated-dependencies:\n- dependency-name: actions/setup-python\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/setup-python from 3 to 5"}},{"before":"2a8d2edfea2a5a82338fb343f01f69660e34aaa6","after":"d97e6a3c6acd9e759ca9cb3c808a49e4a05ba755","ref":"refs/heads/master","pushedAt":"2024-07-18T06:14:12.000Z","pushType":"pr_merge","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 action updates\n\nThis will help keep up-to-date any actions that we use.","shortMessageHtmlLink":"Add Dependabot for GitHub action updates"}},{"before":"fbf6eca074ee4a6de782c0334426c4642b9e8ee1","after":"2a8d2edfea2a5a82338fb343f01f69660e34aaa6","ref":"refs/heads/master","pushedAt":"2024-07-17T15:49:49.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"tautschnig","name":"Michael Tautschnig","path":"/tautschnig","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1144736?s=80&v=4"},"commit":{"message":"Do not unnecessarily re-install jq\n\nEarlier steps already depend on jq.","shortMessageHtmlLink":"Do not unnecessarily re-install jq"}},{"before":"5d96e9f57f1914f1a2104cc81613b09566785e3c","after":"fbf6eca074ee4a6de782c0334426c4642b9e8ee1","ref":"refs/heads/master","pushedAt":"2024-07-17T15:49:03.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"tautschnig","name":"Michael Tautschnig","path":"/tautschnig","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1144736?s=80&v=4"},"commit":{"message":"CI jobs: remove use of deprecated set-output\n\nThis is deprecated since October 2022.","shortMessageHtmlLink":"CI jobs: remove use of deprecated set-output"}},{"before":"9e835cd9a2a6c185b0913862343af1f77adb8d59","after":"5d96e9f57f1914f1a2104cc81613b09566785e3c","ref":"refs/heads/master","pushedAt":"2024-07-17T14:43:37.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"feliperodri","name":"Felipe R. Monteiro","path":"/feliperodri","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4294522?s=80&v=4"},"commit":{"message":"Avoid name clash when uploading artifacts from multiple platforms\n\nMore recent versions of upload-artifact refuse to upload/merge artifacts\nwith the same name.","shortMessageHtmlLink":"Avoid name clash when uploading artifacts from multiple platforms"}},{"before":"9e835cd9a2a6c185b0913862343af1f77adb8d59","after":null,"ref":"refs/tags/viewer-3.9","pushedAt":"2024-07-16T21:09:25.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":"0f1ece38ba69306ea45b313bab30edb0e58f4fc8","after":"9e835cd9a2a6c185b0913862343af1f77adb8d59","ref":"refs/heads/master","pushedAt":"2024-07-16T20:32:47.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"tautschnig","name":"Michael Tautschnig","path":"/tautschnig","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1144736?s=80&v=4"},"commit":{"message":"Fix permissions to enable configure-aws-credentials\n\nSee https://github.com/aws-actions/configure-aws-credentials and also\nhow proof-debugger does it.","shortMessageHtmlLink":"Fix permissions to enable configure-aws-credentials"}},{"before":"0f1ece38ba69306ea45b313bab30edb0e58f4fc8","after":null,"ref":"refs/tags/viewer-3.9","pushedAt":"2024-07-16T20:06:49.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":"3c45df3dcb6d052fdd4df1df0b039b79c596dc11","after":"0f1ece38ba69306ea45b313bab30edb0e58f4fc8","ref":"refs/heads/master","pushedAt":"2024-07-16T20:05:28.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"tautschnig","name":"Michael Tautschnig","path":"/tautschnig","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1144736?s=80&v=4"},"commit":{"message":"Have release created by aws-viewer-for-cbmc-release-ci\n\nMaking github-bot user create the release would not trigger further\nactions (in our case we want brew and pypi release actions to be\ntriggered).","shortMessageHtmlLink":"Have release created by aws-viewer-for-cbmc-release-ci"}},{"before":"3c45df3dcb6d052fdd4df1df0b039b79c596dc11","after":null,"ref":"refs/tags/viewer-3.9","pushedAt":"2024-07-16T19:26:34.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"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNy0zMVQxNzoxODoyNy4wMDAwMDBazwAAAASOUhsn","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNy0zMVQxNzoxODoyNy4wMDAwMDBazwAAAASOUhsn","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNy0xNlQxOToyNjozNC4wMDAwMDBazwAAAASBIkR1"}},"title":"Activity · model-checking/cbmc-viewer"}