{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":294697106,"defaultBranch":"master","name":"training_material","ownerLogin":"AdaCore","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2020-09-11T13:04:01.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/7767877?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1713253784.0","currentOid":""},"activityList":{"items":[{"before":"82a2ddec7e62594ef748547e57e69c5540a75ae9","after":"3a946111fb46ac19c58f63b47d6cbbbb99179f7d","ref":"refs/heads/master","pushedAt":"2024-05-02T17:40:45.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"adacore-bot","name":"AdaCore Bot","path":"/adacore-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14904961?s=80&v=4"},"commit":{"message":"Merge branch 'lab_packages_fixup' into 'master'\n\nPackages fix typo\n\nSee merge request feng/training/material!129","shortMessageHtmlLink":"Merge branch 'lab_packages_fixup' into 'master'"}},{"before":"58fc6b310fcb4d1b24e75e1162807bdbe2057491","after":"82a2ddec7e62594ef748547e57e69c5540a75ae9","ref":"refs/heads/master","pushedAt":"2024-04-30T16:03:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"adacore-bot","name":"AdaCore Bot","path":"/adacore-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14904961?s=80&v=4"},"commit":{"message":"typo infer*r*ed","shortMessageHtmlLink":"typo infer*r*ed"}},{"before":"4435b2a0978299e68d04309f2f0a01ede24c7c0b","after":"58fc6b310fcb4d1b24e75e1162807bdbe2057491","ref":"refs/heads/master","pushedAt":"2024-04-29T05:26:33.000Z","pushType":"push","commitsCount":13,"pusher":{"login":"adacore-bot","name":"AdaCore Bot","path":"/adacore-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14904961?s=80&v=4"},"commit":{"message":"Merge branch 'slides/0408' into 'master'\n\n2024-04-08 Training slides feedback\n\nCloses #108\n\nSee merge request feng/training/material!124","shortMessageHtmlLink":"Merge branch 'slides/0408' into 'master'"}},{"before":"85f9925a7baabe2fc04ae446c625948ead96ce7e","after":"8b0b6d90e03256f96a53c75fd26ab2e76dc22052","ref":"refs/heads/training/2024-04-22-germond","pushedAt":"2024-04-25T08:13:38.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"adacore-bot","name":"AdaCore Bot","path":"/adacore-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14904961?s=80&v=4"},"commit":{"message":"syllabus: change tasking, rm tagged","shortMessageHtmlLink":"syllabus: change tasking, rm tagged"}},{"before":"954cc62ca0540e18904fdd3b6024f8c97e5f0e7e","after":"85f9925a7baabe2fc04ae446c625948ead96ce7e","ref":"refs/heads/training/2024-04-22-germond","pushedAt":"2024-04-25T08:11:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"adacore-bot","name":"AdaCore Bot","path":"/adacore-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14904961?s=80&v=4"},"commit":{"message":"syllabus: change tasking, rm tagged","shortMessageHtmlLink":"syllabus: change tasking, rm tagged"}},{"before":"ae364e2bf0140a55203bbb9a981f03a9f3984111","after":"4435b2a0978299e68d04309f2f0a01ede24c7c0b","ref":"refs/heads/master","pushedAt":"2024-04-16T08:51:45.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"adacore-bot","name":"AdaCore Bot","path":"/adacore-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14904961?s=80&v=4"},"commit":{"message":"Merge branch 'low_level_no_asm' into 'master'\n\nlow_level: inline asm as a supplementary\n\nSee merge request feng/training/material!128","shortMessageHtmlLink":"Merge branch 'low_level_no_asm' into 'master'"}},{"before":null,"after":"cc978f92281a96297df306971df9461d9d49d59b","ref":"refs/heads/build/low_level_no_asm","pushedAt":"2024-04-16T07:49:44.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"adacore-bot","name":"AdaCore Bot","path":"/adacore-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14904961?s=80&v=4"},"commit":{"message":"low_level: inline asm as a supplementary","shortMessageHtmlLink":"low_level: inline asm as a supplementary"}},{"before":"cff9bc8b31988c0c88bfdd01a5a69c542923ae1e","after":"ae364e2bf0140a55203bbb9a981f03a9f3984111","ref":"refs/heads/master","pushedAt":"2024-04-15T15:33:38.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"adacore-bot","name":"AdaCore Bot","path":"/adacore-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14904961?s=80&v=4"},"commit":{"message":"Merge branch '7-spark-cleanup-task-v2' into 'master'\n\nFormatting Changes for Chapter 8: Exceptional Cases\n\nSee merge request feng/training/material!119","shortMessageHtmlLink":"Merge branch '7-spark-cleanup-task-v2' into 'master'"}},{"before":"0dbacf2674a07b11eeb6da08bed6051dfc3de44d","after":"954cc62ca0540e18904fdd3b6024f8c97e5f0e7e","ref":"refs/heads/training/2024-04-22-germond","pushedAt":"2024-04-15T15:09:56.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"adacore-bot","name":"AdaCore Bot","path":"/adacore-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14904961?s=80&v=4"},"commit":{"message":"ravenscar tasking","shortMessageHtmlLink":"ravenscar tasking"}},{"before":"17f49694971a5dc098f7577d15ef7fca8c9bddb1","after":"0dbacf2674a07b11eeb6da08bed6051dfc3de44d","ref":"refs/heads/training/2024-04-22-germond","pushedAt":"2024-04-15T15:03:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"adacore-bot","name":"AdaCore Bot","path":"/adacore-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14904961?s=80&v=4"},"commit":{"message":"syllabus","shortMessageHtmlLink":"syllabus"}},{"before":null,"after":"17f49694971a5dc098f7577d15ef7fca8c9bddb1","ref":"refs/heads/training/2024-04-22-germond","pushedAt":"2024-04-15T15:01:50.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"adacore-bot","name":"AdaCore Bot","path":"/adacore-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14904961?s=80&v=4"},"commit":{"message":"DO NOT MERGE: adaf","shortMessageHtmlLink":"DO NOT MERGE: adaf"}},{"before":"2bdbfc1c45e47f5d1d718539315317df4e24c531","after":"cff9bc8b31988c0c88bfdd01a5a69c542923ae1e","ref":"refs/heads/master","pushedAt":"2024-04-15T13:03:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"adacore-bot","name":"AdaCore Bot","path":"/adacore-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14904961?s=80&v=4"},"commit":{"message":"doc build/* branch is protected","shortMessageHtmlLink":"doc build/* branch is protected"}},{"before":"9c01cdd2ee787ee29375c23717a4dc3d2477f50f","after":"2bdbfc1c45e47f5d1d718539315317df4e24c531","ref":"refs/heads/master","pushedAt":"2024-04-15T12:56:56.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"adacore-bot","name":"AdaCore Bot","path":"/adacore-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14904961?s=80&v=4"},"commit":{"message":"Merge branch '99-gnatmetrics-updates-from-3-18' into 'master'\n\nResolve \"GNATmetrics updates based on 3-18 training\"\n\nCloses #99\n\nSee merge request feng/training/material!127","shortMessageHtmlLink":"Merge branch '99-gnatmetrics-updates-from-3-18' into 'master'"}},{"before":"24c95c90b1512d629c108c363101658a6063f350","after":"862a6f5701ccdd47be718817b10fbdd34b629b50","ref":"refs/heads/slides/0408","pushedAt":"2024-04-12T12:43:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"adacore-bot","name":"AdaCore Bot","path":"/adacore-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14904961?s=80&v=4"},"commit":{"message":"generic: created is a bit vague","shortMessageHtmlLink":"generic: created is a bit vague"}},{"before":"eec918b90978ad7d64567b3c79184dbb57a2f8d9","after":"24c95c90b1512d629c108c363101658a6063f350","ref":"refs/heads/slides/0408","pushedAt":"2024-04-12T12:40:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"adacore-bot","name":"AdaCore Bot","path":"/adacore-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14904961?s=80&v=4"},"commit":{"message":"intro genericity: clarify null procedure","shortMessageHtmlLink":"intro genericity: clarify null procedure"}},{"before":"8cf4ad7412d93f85da9ea1b6bb9a0c76809f4e8f","after":"eec918b90978ad7d64567b3c79184dbb57a2f8d9","ref":"refs/heads/slides/0408","pushedAt":"2024-04-12T12:37:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"adacore-bot","name":"AdaCore Bot","path":"/adacore-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14904961?s=80&v=4"},"commit":{"message":"2022: fix repr clause","shortMessageHtmlLink":"2022: fix repr clause"}},{"before":"c26a6a1ca422a002a3a3456388ba2a028906c97d","after":"8cf4ad7412d93f85da9ea1b6bb9a0c76809f4e8f","ref":"refs/heads/slides/0408","pushedAt":"2024-04-12T12:36:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"adacore-bot","name":"AdaCore Bot","path":"/adacore-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14904961?s=80&v=4"},"commit":{"message":"intro contract: fix answer (already positive)","shortMessageHtmlLink":"intro contract: fix answer (already positive)"}},{"before":"4eceb56edaa6a84cb4887f3cd125f0820694f3d1","after":"c26a6a1ca422a002a3a3456388ba2a028906c97d","ref":"refs/heads/slides/0408","pushedAt":"2024-04-12T12:34:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"adacore-bot","name":"AdaCore Bot","path":"/adacore-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14904961?s=80&v=4"},"commit":{"message":"typo: control*l*ed","shortMessageHtmlLink":"typo: control*l*ed"}},{"before":"1f4a73d7db88b7417875898101b34f3ca7c6d4d3","after":"4eceb56edaa6a84cb4887f3cd125f0820694f3d1","ref":"refs/heads/slides/0408","pushedAt":"2024-04-12T12:33:10.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"adacore-bot","name":"AdaCore Bot","path":"/adacore-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14904961?s=80&v=4"},"commit":{"message":"intro contracts: more precise, simpler, fix typo","shortMessageHtmlLink":"intro contracts: more precise, simpler, fix typo"}},{"before":"2923842ac31571bfd6253f373891390c20e1fd99","after":"1f4a73d7db88b7417875898101b34f3ca7c6d4d3","ref":"refs/heads/slides/0408","pushedAt":"2024-04-12T12:32:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"adacore-bot","name":"AdaCore Bot","path":"/adacore-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14904961?s=80&v=4"},"commit":{"message":"intro contracts: more precise, simpler","shortMessageHtmlLink":"intro contracts: more precise, simpler"}},{"before":"d3138488d770d6d205f989f14837ac850141ae97","after":"2923842ac31571bfd6253f373891390c20e1fd99","ref":"refs/heads/slides/0408","pushedAt":"2024-04-12T12:29:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"adacore-bot","name":"AdaCore Bot","path":"/adacore-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14904961?s=80&v=4"},"commit":{"message":"missing ;","shortMessageHtmlLink":"missing ;"}},{"before":"6a0d9d2254b2da8c902dfca877a1090e7275128e","after":"d3138488d770d6d205f989f14837ac850141ae97","ref":"refs/heads/slides/0408","pushedAt":"2024-04-12T12:25:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"adacore-bot","name":"AdaCore Bot","path":"/adacore-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14904961?s=80&v=4"},"commit":{"message":"reverse a negative quiz","shortMessageHtmlLink":"reverse a negative quiz"}},{"before":"233ca2efbfc07286f26a6b824e90f0ec77151f00","after":"6a0d9d2254b2da8c902dfca877a1090e7275128e","ref":"refs/heads/slides/0408","pushedAt":"2024-04-12T12:10:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"adacore-bot","name":"AdaCore Bot","path":"/adacore-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14904961?s=80&v=4"},"commit":{"message":"typo space in conversion","shortMessageHtmlLink":"typo space in conversion"}},{"before":"05764490c199b6b8b2f294ab449f3a7538c21e78","after":"233ca2efbfc07286f26a6b824e90f0ec77151f00","ref":"refs/heads/slides/0408","pushedAt":"2024-04-12T12:08:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"adacore-bot","name":"AdaCore Bot","path":"/adacore-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14904961?s=80&v=4"},"commit":{"message":"signed integer: avoid mixing up integer with *signed* int","shortMessageHtmlLink":"signed integer: avoid mixing up integer with *signed* int"}},{"before":"e1395b835319668fe3d54fdc08e543c9cf95d528","after":"05764490c199b6b8b2f294ab449f3a7538c21e78","ref":"refs/heads/slides/0408","pushedAt":"2024-04-12T12:04:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"adacore-bot","name":"AdaCore Bot","path":"/adacore-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14904961?s=80&v=4"},"commit":{"message":"constant decl with initial value","shortMessageHtmlLink":"constant decl with initial value"}},{"before":null,"after":"e1395b835319668fe3d54fdc08e543c9cf95d528","ref":"refs/heads/slides/0408","pushedAt":"2024-04-12T12:02:57.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"adacore-bot","name":"AdaCore Bot","path":"/adacore-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14904961?s=80&v=4"},"commit":{"message":"declaration dfn as first slide of decls","shortMessageHtmlLink":"declaration dfn as first slide of decls"}},{"before":"5f4a0e14b4dbf3ab887c9c8d476713fd7ac5aa44","after":"9c01cdd2ee787ee29375c23717a4dc3d2477f50f","ref":"refs/heads/master","pushedAt":"2024-04-11T13:51:17.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"adacore-bot","name":"AdaCore Bot","path":"/adacore-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14904961?s=80&v=4"},"commit":{"message":"Merge branch 'build/update_actions' into 'master'\n\nupdate actions\n\nSee merge request feng/training/material!123","shortMessageHtmlLink":"Merge branch 'build/update_actions' into 'master'"}},{"before":"5f4a0e14b4dbf3ab887c9c8d476713fd7ac5aa44","after":"e2ffe42b59997cdf7ee974fe4fda66c2312e6713","ref":"refs/heads/build/update_actions","pushedAt":"2024-04-11T07:37:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"adacore-bot","name":"AdaCore Bot","path":"/adacore-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14904961?s=80&v=4"},"commit":{"message":"update actions","shortMessageHtmlLink":"update actions"}},{"before":null,"after":"5f4a0e14b4dbf3ab887c9c8d476713fd7ac5aa44","ref":"refs/heads/build/update_actions","pushedAt":"2024-04-11T07:36:22.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"adacore-bot","name":"AdaCore Bot","path":"/adacore-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14904961?s=80&v=4"},"commit":{"message":"Merge branch '0318-slides-improvements' into 'master'\n\n0318 slides improvements\n\nCloses #98\n\nSee merge request feng/training/material!116","shortMessageHtmlLink":"Merge branch '0318-slides-improvements' into 'master'"}},{"before":"ef8c02c67864c3a2f97963d86a71f0731416dd0d","after":"543501ab9a5c2c7704afc8a2409f15047f2baa77","ref":"refs/heads/training/2024-04-08-germond","pushedAt":"2024-04-11T07:32:32.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"adacore-bot","name":"AdaCore Bot","path":"/adacore-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14904961?s=80&v=4"},"commit":{"message":"add low level prog","shortMessageHtmlLink":"add low level prog"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEQBDCGQA","startCursor":null,"endCursor":null}},"title":"Activity · AdaCore/training_material"}