{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":22095515,"defaultBranch":"master","name":"camkes-tool","ownerLogin":"seL4","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2014-07-22T07:51:59.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/6878957?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1719884197.0","currentOid":""},"activityList":{"items":[{"before":"42013251146974cb89caf256a2eff9f037821582","after":null,"ref":"refs/heads/post-release","pushedAt":"2024-07-01T11:44:33.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"lsf37","name":"Gerwin Klein","path":"/lsf37","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5506585?s=80&v=4"}},{"before":"0863c1447ffa914d540e79d2ad696edd4c39fcf6","after":"5dd53c71f73a25f9673b77be43c918eefcd1dbb4","ref":"refs/heads/master","pushedAt":"2024-07-01T11:44:31.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"lsf37","name":"Gerwin Klein","path":"/lsf37","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5506585?s=80&v=4"},"commit":{"message":"Update VERSION file to camkes-3.11.0-dev\n\nSigned-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>","shortMessageHtmlLink":"Update VERSION file to camkes-3.11.0-dev"}},{"before":null,"after":"42013251146974cb89caf256a2eff9f037821582","ref":"refs/heads/post-release","pushedAt":"2024-07-01T08:41:58.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"lsf37","name":"Gerwin Klein","path":"/lsf37","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5506585?s=80&v=4"},"commit":{"message":"Update VERSION file to camkes-3.11.0-dev\n\nSigned-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>","shortMessageHtmlLink":"Update VERSION file to camkes-3.11.0-dev"}},{"before":"0863c1447ffa914d540e79d2ad696edd4c39fcf6","after":null,"ref":"refs/heads/release-fix","pushedAt":"2024-07-01T08:41:10.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"lsf37","name":"Gerwin Klein","path":"/lsf37","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5506585?s=80&v=4"}},{"before":"0f02fe2d18393df04eb7017b6603aca7b474bb3a","after":"0863c1447ffa914d540e79d2ad696edd4c39fcf6","ref":"refs/heads/master","pushedAt":"2024-07-01T08:41:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lsf37","name":"Gerwin Klein","path":"/lsf37","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5506585?s=80&v=4"},"commit":{"message":"recreate camkes-3.11.0 release state\n\nThis reverts commit 0f02fe2d18393df04eb7017b6603aca7b474bb3a to get CI\nto trigger on the release commit state.\n\nSigned-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>","shortMessageHtmlLink":"recreate camkes-3.11.0 release state"}},{"before":"30a931625fd7a9e00b322a4a1e988aa72112c971","after":"0863c1447ffa914d540e79d2ad696edd4c39fcf6","ref":"refs/heads/release-fix","pushedAt":"2024-07-01T08:35:41.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"lsf37","name":"Gerwin Klein","path":"/lsf37","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5506585?s=80&v=4"},"commit":{"message":"recreate camkes-3.11.0 release state\n\nThis reverts commit 0f02fe2d18393df04eb7017b6603aca7b474bb3a to get CI\nto trigger on the release commit state.\n\nSigned-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>","shortMessageHtmlLink":"recreate camkes-3.11.0 release state"}},{"before":null,"after":"30a931625fd7a9e00b322a4a1e988aa72112c971","ref":"refs/heads/release-fix","pushedAt":"2024-07-01T08:35:13.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"lsf37","name":"Gerwin Klein","path":"/lsf37","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5506585?s=80&v=4"},"commit":{"message":"recreate camkes-3.11.0 release state\n\nThis reverts commit 0f02fe2d18393df04eb7017b6603aca7b474bb3a to get CI\nto trigger on the release commit state.","shortMessageHtmlLink":"recreate camkes-3.11.0 release state"}},{"before":"0f02fe2d18393df04eb7017b6603aca7b474bb3a","after":null,"ref":"refs/heads/release","pushedAt":"2024-07-01T07:46:47.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"lsf37","name":"Gerwin Klein","path":"/lsf37","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5506585?s=80&v=4"}},{"before":"c77562e3899264761993d108b17efd15f623f3f3","after":"0f02fe2d18393df04eb7017b6603aca7b474bb3a","ref":"refs/heads/master","pushedAt":"2024-07-01T07:46:45.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"lsf37","name":"Gerwin Klein","path":"/lsf37","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5506585?s=80&v=4"},"commit":{"message":"Update VERSION file to camkes-3.11.0-dev\n\nSigned-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>","shortMessageHtmlLink":"Update VERSION file to camkes-3.11.0-dev"}},{"before":"f80d5f732113a5b93c788ed0cdf4c9be5763ee42","after":"0f02fe2d18393df04eb7017b6603aca7b474bb3a","ref":"refs/heads/release","pushedAt":"2024-07-01T07:41:16.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"lsf37","name":"Gerwin Klein","path":"/lsf37","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5506585?s=80&v=4"},"commit":{"message":"Update VERSION file to camkes-3.11.0-dev\n\nSigned-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>","shortMessageHtmlLink":"Update VERSION file to camkes-3.11.0-dev"}},{"before":null,"after":"f80d5f732113a5b93c788ed0cdf4c9be5763ee42","ref":"refs/heads/release","pushedAt":"2024-07-01T07:34:01.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"lsf37","name":"Gerwin Klein","path":"/lsf37","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5506585?s=80&v=4"},"commit":{"message":"Update VERSION file to camkes-3.11.0-dev\n\nSigned-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>","shortMessageHtmlLink":"Update VERSION file to camkes-3.11.0-dev"}},{"before":"341f3c09c68fd38c9cfa05ce31fdbe6c5ad4225e","after":null,"ref":"refs/heads/lsf37/ordered-set","pushedAt":"2024-07-01T03:54:58.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"lsf37","name":"Gerwin Klein","path":"/lsf37","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5506585?s=80&v=4"}},{"before":"cfa9e602b8ee4c0f4c08e390d67cd71c42186fc6","after":"c77562e3899264761993d108b17efd15f623f3f3","ref":"refs/heads/master","pushedAt":"2024-07-01T03:54:56.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"lsf37","name":"Gerwin Klein","path":"/lsf37","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5506585?s=80&v=4"},"commit":{"message":"github: ignore 403 for jinja in link check\n\nhttp://jinja.pocoo.org/docs/ produces 403 for the link checker, but\nworks in the browser.\n\nSigned-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>","shortMessageHtmlLink":"github: ignore 403 for jinja in link check"}},{"before":"334d1ca4c0fa4e0f25ad5dc1d50b047ca040e53e","after":"341f3c09c68fd38c9cfa05ce31fdbe6c5ad4225e","ref":"refs/heads/lsf37/ordered-set","pushedAt":"2024-07-01T02:48:35.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"lsf37","name":"Gerwin Klein","path":"/lsf37","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5506585?s=80&v=4"},"commit":{"message":"github: ignore 403 for jinja in link check\n\nhttp://jinja.pocoo.org/docs/ produces 403 for the link checker, but\nworks in the browser.\n\nSigned-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>","shortMessageHtmlLink":"github: ignore 403 for jinja in link check"}},{"before":"22efbbfc291d2e9073a3c0eac6cc8070561bd69f","after":"334d1ca4c0fa4e0f25ad5dc1d50b047ca040e53e","ref":"refs/heads/lsf37/ordered-set","pushedAt":"2024-07-01T02:47:10.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"lsf37","name":"Gerwin Klein","path":"/lsf37","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5506585?s=80&v=4"},"commit":{"message":"Merge branch 'master' into lsf37/ordered-set","shortMessageHtmlLink":"Merge branch 'master' into lsf37/ordered-set"}},{"before":"d2950924bcf9604e8fe4e1a0e0278e4a276cf93b","after":null,"ref":"refs/heads/lsf37/changes","pushedAt":"2024-07-01T02:31:55.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"lsf37","name":"Gerwin Klein","path":"/lsf37","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5506585?s=80&v=4"}},{"before":"f7be6b4fbde1c7ed3b78881966ebf4efd8ceaee7","after":"cfa9e602b8ee4c0f4c08e390d67cd71c42186fc6","ref":"refs/heads/master","pushedAt":"2024-07-01T02:31:53.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"lsf37","name":"Gerwin Klein","path":"/lsf37","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5506585?s=80&v=4"},"commit":{"message":"CHANGES: bring up to date for upcoming release\n\nSigned-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>","shortMessageHtmlLink":"CHANGES: bring up to date for upcoming release"}},{"before":"163f1c8c73c0361942ce7c16ff983e7230062b80","after":"d2950924bcf9604e8fe4e1a0e0278e4a276cf93b","ref":"refs/heads/lsf37/changes","pushedAt":"2024-07-01T01:39:01.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"lsf37","name":"Gerwin Klein","path":"/lsf37","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5506585?s=80&v=4"},"commit":{"message":"CHANGES: bring up to date for upcoming release\n\nSigned-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>","shortMessageHtmlLink":"CHANGES: bring up to date for upcoming release"}},{"before":"45fd783012fe6d364f7f8e5ac647b1b97b51925f","after":"22efbbfc291d2e9073a3c0eac6cc8070561bd69f","ref":"refs/heads/lsf37/ordered-set","pushedAt":"2024-06-30T01:55:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lsf37","name":"Gerwin Klein","path":"/lsf37","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5506585?s=80&v=4"},"commit":{"message":"github: ignore 403 for jinja in link check\n\nhttp://jinja.pocoo.org/docs/ produces 403 for the link checker, but\nworks in the browser.\n\nSigned-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>","shortMessageHtmlLink":"github: ignore 403 for jinja in link check"}},{"before":null,"after":"45fd783012fe6d364f7f8e5ac647b1b97b51925f","ref":"refs/heads/lsf37/ordered-set","pushedAt":"2024-06-30T01:34:28.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"lsf37","name":"Gerwin Klein","path":"/lsf37","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5506585?s=80&v=4"},"commit":{"message":"camkes-deps: fully remove orderedset; bump version\n\n- commit 4f7bca1931 replaced orderedset by the maintained ordered-set,\nbut did no yet remove the dependency. Since on more recent python\nversion the dependency install now fails, we are removing it completely.\n\n- make python 3 requirement explicit\n\nTo be released on PyPi simultaneously with the next CAmkES release.\n\nCloses #124\n\nSigned-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>","shortMessageHtmlLink":"camkes-deps: fully remove orderedset; bump version"}},{"before":"95b23c8e21d73bd50226fba2c3a329a29e4c9784","after":"163f1c8c73c0361942ce7c16ff983e7230062b80","ref":"refs/heads/lsf37/changes","pushedAt":"2024-06-27T00:33:54.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"lsf37","name":"Gerwin Klein","path":"/lsf37","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5506585?s=80&v=4"},"commit":{"message":"CHANGES: bring up to date for upcoming release\n\nSigned-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>","shortMessageHtmlLink":"CHANGES: bring up to date for upcoming release"}},{"before":"f1023b82249854ff30e1c2d2ad3e1113c732fd8d","after":"95b23c8e21d73bd50226fba2c3a329a29e4c9784","ref":"refs/heads/lsf37/changes","pushedAt":"2024-06-24T14:20:18.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"lsf37","name":"Gerwin Klein","path":"/lsf37","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5506585?s=80&v=4"},"commit":{"message":"CHANGES: bring up to date for upcoming release\n\nSigned-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>","shortMessageHtmlLink":"CHANGES: bring up to date for upcoming release"}},{"before":"170eab26b98304357d7efcbbfa35bc8cc90264a8","after":"f1023b82249854ff30e1c2d2ad3e1113c732fd8d","ref":"refs/heads/lsf37/changes","pushedAt":"2024-06-24T14:10:24.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"lsf37","name":"Gerwin Klein","path":"/lsf37","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5506585?s=80&v=4"},"commit":{"message":"CHANGES: bring up to date for upcoming release\n\nSigned-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>","shortMessageHtmlLink":"CHANGES: bring up to date for upcoming release"}},{"before":"907da4a1158b5f24067352b838f14a82b47d9359","after":"170eab26b98304357d7efcbbfa35bc8cc90264a8","ref":"refs/heads/lsf37/changes","pushedAt":"2024-06-24T14:08:44.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"lsf37","name":"Gerwin Klein","path":"/lsf37","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5506585?s=80&v=4"},"commit":{"message":"CHANGES: bring up to date for upcoming release\n\nSigned-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>","shortMessageHtmlLink":"CHANGES: bring up to date for upcoming release"}},{"before":null,"after":"907da4a1158b5f24067352b838f14a82b47d9359","ref":"refs/heads/lsf37/changes","pushedAt":"2024-06-24T14:05:53.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"lsf37","name":"Gerwin Klein","path":"/lsf37","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5506585?s=80&v=4"},"commit":{"message":"CHANGES: bring up to date for upcoming release\n\nSigned-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>","shortMessageHtmlLink":"CHANGES: bring up to date for upcoming release"}},{"before":"9164cfac49b0a02044626a285e1fc0018139bc36","after":"f7be6b4fbde1c7ed3b78881966ebf4efd8ceaee7","ref":"refs/heads/master","pushedAt":"2024-06-17T09:29:58.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"lsf37","name":"Gerwin Klein","path":"/lsf37","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5506585?s=80&v=4"},"commit":{"message":"trivial: python style fix\n\nSigned-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>","shortMessageHtmlLink":"trivial: python style fix"}},{"before":"f0fb22be4eabf6501bc2730eacc367ad12146ac1","after":"9164cfac49b0a02044626a285e1fc0018139bc36","ref":"refs/heads/master","pushedAt":"2024-06-17T05:13:38.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"lsf37","name":"Gerwin Klein","path":"/lsf37","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5506585?s=80&v=4"},"commit":{"message":"libsel4camkes: Add markdown documentation\n\nThis commit adds documentation written in markdown that explains each\npart of the libsel4camkes library in more depth.\n\nSigned-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>","shortMessageHtmlLink":"libsel4camkes: Add markdown documentation"}},{"before":"b04a1f5d180c667c7e030a0981e187118f682700","after":null,"ref":"refs/heads/gh-platforms","pushedAt":"2024-02-08T08:07:02.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"lsf37","name":"Gerwin Klein","path":"/lsf37","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5506585?s=80&v=4"}},{"before":"1d092ed2f7aca6ab827502a5f54793b80bf37291","after":"f0fb22be4eabf6501bc2730eacc367ad12146ac1","ref":"refs/heads/master","pushedAt":"2024-02-08T08:07:01.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"lsf37","name":"Gerwin Klein","path":"/lsf37","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5506585?s=80&v=4"},"commit":{"message":"github: enable deployment test for all platforms (#144)\n\nThese boards are now available and should be working.\r\n\r\nSigned-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>","shortMessageHtmlLink":"github: enable deployment test for all platforms (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2124491458\" data-permission-text=\"Title is private\" data-url=\"https://github.com/seL4/camkes-tool/issues/144\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/seL4/camkes-tool/pull/144/hovercard\" href=\"https://github.com/seL4/camkes-tool/pull/144\">#144</a>)"}},{"before":"2a37bcad16888856d72dd6be153e27938865e234","after":"b04a1f5d180c667c7e030a0981e187118f682700","ref":"refs/heads/gh-platforms","pushedAt":"2024-02-08T07:08:10.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"lsf37","name":"Gerwin Klein","path":"/lsf37","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5506585?s=80&v=4"},"commit":{"message":"github: enable deployment test for all platforms\n\nThese boards are now available and should be working.\n\nSigned-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>","shortMessageHtmlLink":"github: enable deployment test for all platforms"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNy0wMVQxMTo0NDozMy4wMDAwMDBazwAAAARzsYTy","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNy0wMVQxMTo0NDozMy4wMDAwMDBazwAAAARzsYTy","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wMi0wOFQwNzowODoxMC4wMDAwMDBazwAAAAP1N41D"}},"title":"Activity · seL4/camkes-tool"}