{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":21981738,"defaultBranch":"master","name":"verification-manifest","ownerLogin":"seL4","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2014-07-18T13:47:46.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/6878957?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1725267224.0","currentOid":""},"activityList":{"items":[{"before":"86dedeb9ef39699eadfc17c2763864db46601f9d","after":"b3c2cde1121f71fedbbb856a8ec950afcc57d987","ref":"refs/heads/master","pushedAt":"2024-09-16T11:54:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"seL4-ci","name":"seL4 CI account","path":"/seL4-ci","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88766620?s=80&v=4"},"commit":{"message":"[CI] Update default.xml. Changed: seL4","shortMessageHtmlLink":"[CI] Update default.xml. Changed: seL4"}},{"before":"62831a9c73b02c25f48f9801f3e7a0d2564447fa","after":"86dedeb9ef39699eadfc17c2763864db46601f9d","ref":"refs/heads/master","pushedAt":"2024-09-16T11:35:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"seL4-ci","name":"seL4 CI account","path":"/seL4-ci","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88766620?s=80&v=4"},"commit":{"message":"[CI] Update seL4 to cpp-compatible version\n\nChange-Id: If787b86c7692a03fe6299e63ba3f7b2ff80ca39b","shortMessageHtmlLink":"[CI] Update seL4 to cpp-compatible version"}},{"before":"80a979d55cc47c1c671ea64d35fcb2f1ca84ac81","after":"7749337a70ce3c4fcde5997901380d19e85300b1","ref":"refs/heads/zynqmp-nofpu-ver-v12","pushedAt":"2024-09-02T09:15: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":"manifest for zynqmp-12.0.0 verification\n\n- set Isabelle to Isabelle2020\n- set seL4 to branch zynqmp-12.0.0 (1 config commit on 12.0.0)\n- set l4v to zynqmp-nofpu-ver-v12\n\nSigned-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>","shortMessageHtmlLink":"manifest for zynqmp-12.0.0 verification"}},{"before":null,"after":"80a979d55cc47c1c671ea64d35fcb2f1ca84ac81","ref":"refs/heads/zynqmp-nofpu-ver-v12","pushedAt":"2024-09-02T08:53:44.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":"manifest for zynqmp-12.0.0 verification\n\n- set Isabelle to Isabelle2020\n- set seL4 to branch zynqmp-12.0.0 (1 config commit on 12.0.0)\n- set l4v to zynqmp-nofpu-ver-v12\n\nSigned-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>","shortMessageHtmlLink":"manifest for zynqmp-12.0.0 verification"}},{"before":"4ed9ef7740820e8737f0eb0c14b3ce11d654ba57","after":"62831a9c73b02c25f48f9801f3e7a0d2564447fa","ref":"refs/heads/master","pushedAt":"2024-08-28T08:32:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"seL4-ci","name":"seL4 CI account","path":"/seL4-ci","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88766620?s=80&v=4"},"commit":{"message":"[CI] Update default.xml. Changed: l4v","shortMessageHtmlLink":"[CI] Update default.xml. Changed: l4v"}},{"before":"fe578693b6295c078f49eae6562d78d324549c78","after":"4ed9ef7740820e8737f0eb0c14b3ce11d654ba57","ref":"refs/heads/master","pushedAt":"2024-08-21T00:31:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"seL4-ci","name":"seL4 CI account","path":"/seL4-ci","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88766620?s=80&v=4"},"commit":{"message":"[CI] Update default.xml. Changed: l4v","shortMessageHtmlLink":"[CI] Update default.xml. Changed: l4v"}},{"before":"5dc8600998ef0e331116a3ea117632b30bac4911","after":"fe578693b6295c078f49eae6562d78d324549c78","ref":"refs/heads/master","pushedAt":"2024-08-14T13:56:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"seL4-ci","name":"seL4 CI account","path":"/seL4-ci","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88766620?s=80&v=4"},"commit":{"message":"[CI] Update default.xml. Changed: seL4","shortMessageHtmlLink":"[CI] Update default.xml. Changed: seL4"}},{"before":"15703d4b21e44bb4be8ed58e1866adfc8b9486fb","after":"5dc8600998ef0e331116a3ea117632b30bac4911","ref":"refs/heads/master","pushedAt":"2024-08-14T13:36:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"seL4-ci","name":"seL4 CI account","path":"/seL4-ci","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88766620?s=80&v=4"},"commit":{"message":"[CI] Update seL4 to cpp-compatible version\n\nChange-Id: I81352cab22e4ebe4251535299787b7a9fd5c3ba5","shortMessageHtmlLink":"[CI] Update seL4 to cpp-compatible version"}},{"before":"fc6aa506225f3861e545f2bcc25bb18f27e6bca0","after":"15703d4b21e44bb4be8ed58e1866adfc8b9486fb","ref":"refs/heads/master","pushedAt":"2024-08-13T18:53:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"seL4-ci","name":"seL4 CI account","path":"/seL4-ci","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88766620?s=80&v=4"},"commit":{"message":"[CI] Update default.xml. Changed: seL4","shortMessageHtmlLink":"[CI] Update default.xml. Changed: seL4"}},{"before":"bd3a04745674bbe27c613dd8b06f7c76a664056e","after":"fc6aa506225f3861e545f2bcc25bb18f27e6bca0","ref":"refs/heads/master","pushedAt":"2024-08-13T18:33:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"seL4-ci","name":"seL4 CI account","path":"/seL4-ci","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88766620?s=80&v=4"},"commit":{"message":"[CI] Update seL4 to cpp-compatible version\n\nChange-Id: Ib066343dccdd800256051362b60cb74302c1cf6f","shortMessageHtmlLink":"[CI] Update seL4 to cpp-compatible version"}},{"before":"fd5dd5ad782349382cfe083c69052f6c02a83644","after":"bd3a04745674bbe27c613dd8b06f7c76a664056e","ref":"refs/heads/master","pushedAt":"2024-08-09T07:52:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"seL4-ci","name":"seL4 CI account","path":"/seL4-ci","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88766620?s=80&v=4"},"commit":{"message":"[CI] Update default.xml. Changed: l4v","shortMessageHtmlLink":"[CI] Update default.xml. Changed: l4v"}},{"before":"a9af523a3ff420a1890bde79855ee44bb03b3bc2","after":"fd5dd5ad782349382cfe083c69052f6c02a83644","ref":"refs/heads/master","pushedAt":"2024-08-08T16:32:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"seL4-ci","name":"seL4 CI account","path":"/seL4-ci","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88766620?s=80&v=4"},"commit":{"message":"[CI] Update mcs.xml. Changed: l4v","shortMessageHtmlLink":"[CI] Update mcs.xml. Changed: l4v"}},{"before":"f1a301f479da2eac7eb6a65341e68d3688921ba8","after":"a9af523a3ff420a1890bde79855ee44bb03b3bc2","ref":"refs/heads/master","pushedAt":"2024-08-08T10:39:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"seL4-ci","name":"seL4 CI account","path":"/seL4-ci","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88766620?s=80&v=4"},"commit":{"message":"[CI] Update default.xml. Changed: l4v","shortMessageHtmlLink":"[CI] Update default.xml. Changed: l4v"}},{"before":"8c0491642492641019615caff1994b942040ab7e","after":"f1a301f479da2eac7eb6a65341e68d3688921ba8","ref":"refs/heads/master","pushedAt":"2024-07-26T03:40:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"seL4-ci","name":"seL4 CI account","path":"/seL4-ci","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88766620?s=80&v=4"},"commit":{"message":"[CI] Update default.xml. Changed: l4v","shortMessageHtmlLink":"[CI] Update default.xml. Changed: l4v"}},{"before":"294de63ffc08d98e4c569686bba6f1f04ee6fe95","after":"8c0491642492641019615caff1994b942040ab7e","ref":"refs/heads/master","pushedAt":"2024-07-26T03:23:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"seL4-ci","name":"seL4 CI account","path":"/seL4-ci","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88766620?s=80&v=4"},"commit":{"message":"[CI] Update default.xml. Changed: l4v","shortMessageHtmlLink":"[CI] Update default.xml. Changed: l4v"}},{"before":"08ff165575c0a1d34087377ec6675304672b3c8d","after":"294de63ffc08d98e4c569686bba6f1f04ee6fe95","ref":"refs/heads/master","pushedAt":"2024-07-25T13:02:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"seL4-ci","name":"seL4 CI account","path":"/seL4-ci","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88766620?s=80&v=4"},"commit":{"message":"[CI] Update mcs.xml. Changed: HOL, graph-refine, isabelle, l4v, polyml, seL4","shortMessageHtmlLink":"[CI] Update mcs.xml. Changed: HOL, graph-refine, isabelle, l4v, polym…"}},{"before":"ec49bc9548c1d12b58646fd3d76a0d9f93da64f4","after":"08ff165575c0a1d34087377ec6675304672b3c8d","ref":"refs/heads/master","pushedAt":"2024-07-23T10:01:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"seL4-ci","name":"seL4 CI account","path":"/seL4-ci","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88766620?s=80&v=4"},"commit":{"message":"[CI] Update default.xml. Changed: l4v","shortMessageHtmlLink":"[CI] Update default.xml. Changed: l4v"}},{"before":"c461895071609dcc7f2f2ece0d5e9c0a30fd8bed","after":"ec49bc9548c1d12b58646fd3d76a0d9f93da64f4","ref":"refs/heads/master","pushedAt":"2024-07-22T11:39:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"seL4-ci","name":"seL4 CI account","path":"/seL4-ci","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88766620?s=80&v=4"},"commit":{"message":"[CI] Update default.xml. Changed: l4v","shortMessageHtmlLink":"[CI] Update default.xml. Changed: l4v"}},{"before":"8dc5660ef585406641540f18cc66ca654b5563f9","after":"c461895071609dcc7f2f2ece0d5e9c0a30fd8bed","ref":"refs/heads/master","pushedAt":"2024-07-19T11:48:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"seL4-ci","name":"seL4 CI account","path":"/seL4-ci","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88766620?s=80&v=4"},"commit":{"message":"[CI] Update default.xml. Changed: seL4","shortMessageHtmlLink":"[CI] Update default.xml. Changed: seL4"}},{"before":"78581a4257ca7e562f423e5cef934aee098f1c7b","after":"8dc5660ef585406641540f18cc66ca654b5563f9","ref":"refs/heads/master","pushedAt":"2024-07-19T09:17:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"seL4-ci","name":"seL4 CI account","path":"/seL4-ci","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88766620?s=80&v=4"},"commit":{"message":"[CI] Update seL4 to cpp-compatible version\n\nChange-Id: Id17dd1bad7e38ebfba4b31f3663fcdc520e99146","shortMessageHtmlLink":"[CI] Update seL4 to cpp-compatible version"}},{"before":"09ed6fc8ab20e0fa7bf24864db709326122124cb","after":"78581a4257ca7e562f423e5cef934aee098f1c7b","ref":"refs/heads/master","pushedAt":"2024-07-19T09:16:13.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":"mcs: bump kernel revision to 'c679fe77d mcs: use local variable in postpone'\n\nChange-Id: I27a9f9c346f51be316509467eae0cbf556129bba","shortMessageHtmlLink":"mcs: bump kernel revision to 'c679fe77d mcs: use local variable in po…"}},{"before":"5d9623955d7e328c2110597c54ed546e7114cb19","after":"09ed6fc8ab20e0fa7bf24864db709326122124cb","ref":"refs/heads/master","pushedAt":"2024-07-18T12:59:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"seL4-ci","name":"seL4 CI account","path":"/seL4-ci","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88766620?s=80&v=4"},"commit":{"message":"[CI] Update default.xml. Changed: l4v","shortMessageHtmlLink":"[CI] Update default.xml. Changed: l4v"}},{"before":"48da096a29b657a43c98be21598d05a0e4a72862","after":"5d9623955d7e328c2110597c54ed546e7114cb19","ref":"refs/heads/master","pushedAt":"2024-07-18T09:00:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"seL4-ci","name":"seL4 CI account","path":"/seL4-ci","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88766620?s=80&v=4"},"commit":{"message":"[CI] Update default.xml. Changed: seL4","shortMessageHtmlLink":"[CI] Update default.xml. Changed: seL4"}},{"before":"8803ec1dbcaeb14724005c4081f1493ac1233696","after":"48da096a29b657a43c98be21598d05a0e4a72862","ref":"refs/heads/master","pushedAt":"2024-07-18T06:27:26.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":"mcs: bump kernel revision to '125311599 hw debug api: aarch64 port'\n\nChange-Id: Ia32832f0d3951dae8459d18458f416569119a5c7","shortMessageHtmlLink":"mcs: bump kernel revision to '125311599 hw debug api: aarch64 port'"}},{"before":"bf37f5895abc8a1d312c6e10bcf2d1908aadd711","after":null,"ref":"refs/heads/mcs-devel","pushedAt":"2024-07-18T06:26:29.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":"fc409d672c557985b03a04d3654be793280e7905","after":"8803ec1dbcaeb14724005c4081f1493ac1233696","ref":"refs/heads/master","pushedAt":"2024-07-18T06:26:27.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":"Update README for new mcs-devel manifest\n\nSigned-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>","shortMessageHtmlLink":"Update README for new mcs-devel manifest"}},{"before":"de8b1430cd626bb15a9ff4b88646c7c378861dbf","after":"bf37f5895abc8a1d312c6e10bcf2d1908aadd711","ref":"refs/heads/mcs-devel","pushedAt":"2024-07-18T06:24: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":"Merge branch 'master' into mcs-devel","shortMessageHtmlLink":"Merge branch 'master' into mcs-devel"}},{"before":"76f78181388bfb0b88dd137ec7af6baee4d7cde1","after":"fc409d672c557985b03a04d3654be793280e7905","ref":"refs/heads/master","pushedAt":"2024-07-18T06:21:51.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":" bump kernel revision to '125311599 hw debug api: aarch64 port'\n\nChange-Id: Ic1f45876605a2dde78708ab6ca4839cbd9879825","shortMessageHtmlLink":" bump kernel revision to '125311599 hw debug api: aarch64 port'"}},{"before":null,"after":"de8b1430cd626bb15a9ff4b88646c7c378861dbf","ref":"refs/heads/mcs-devel","pushedAt":"2024-07-18T05:15:10.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 README for new mcs-devel manifest\n\nSigned-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>","shortMessageHtmlLink":"Update README for new mcs-devel manifest"}},{"before":"138fe420454a816c51aaad73466f48e6df45d92a","after":"76f78181388bfb0b88dd137ec7af6baee4d7cde1","ref":"refs/heads/master","pushedAt":"2024-07-18T04:25:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"seL4-ci","name":"seL4 CI account","path":"/seL4-ci","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88766620?s=80&v=4"},"commit":{"message":"[CI] Update default.xml. Changed: seL4","shortMessageHtmlLink":"[CI] Update default.xml. Changed: seL4"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0xNlQxMTo1NDoyMC4wMDAwMDBazwAAAAS3XPyu","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0xNlQxMTo1NDoyMC4wMDAwMDBazwAAAAS3XPyu","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNy0xOFQwNDoyNToyMy4wMDAwMDBazwAAAASCfPtd"}},"title":"Activity · seL4/verification-manifest"}