{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":85963367,"defaultBranch":"master","name":"gnatcoverage","ownerLogin":"AdaCore","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2017-03-23T15:04:56.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/7767877?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1708093575.0","currentOid":""},"activityList":{"items":[{"before":"35ab36945949c5f5860e66ef08965f74665fb6d4","after":"58ae23b17a78789ff1af415123c1cf8793ba2c3c","ref":"refs/heads/edge","pushedAt":"2024-05-06T00:54:34.000Z","pushType":"push","commitsCount":5,"pusher":{"login":"adacore-bot","name":"AdaCore Bot","path":"/adacore-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14904961?s=80&v=4"},"commit":{"message":"Merge remote branch 'origin/master' into edge","shortMessageHtmlLink":"Merge remote branch 'origin/master' into edge"}},{"before":"1cc080b958c4202d87bb6d0a195bca3b0c6c8a3d","after":"cd315df69702b081441649ede43afe16b4d92165","ref":"refs/heads/master","pushedAt":"2024-05-03T12:15:29.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 'leo/292_exported_syms' into 'master'\n\ngnatcov_rts: Make internal utility function static\n\nCloses #292\n\nSee merge request eng/das/cov/gnatcoverage!573\n\nThis is to avoid symbol conflict with user code. This also adds a test checking that gnatcov_rts does not export any symbol that is not prefixed with \"gnatcov_rts\".\n\nFixes eng/das/cov/gnatcoverage#292","shortMessageHtmlLink":"Merge branch 'leo/292_exported_syms' into 'master'"}},{"before":"01e724a115e682ace103d46420210acfd02426dd","after":"1cc080b958c4202d87bb6d0a195bca3b0c6c8a3d","ref":"refs/heads/master","pushedAt":"2024-05-03T08:52:47.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 'leo/275-fixup' into 'master'\n\nOnly use the last occurence of --dump-trigger\n\nSee merge request eng/das/cov/gnatcoverage!572\n\n\\--dump-trigger used to be a string option, which meant only the last occurrence was used, and previous ones were ignored. This changed when --dump-trigger=manual started accepting a comma-separated list of files in which to search for a manual dump indication, and thus all occurrences of the --dump-trigger switch were concatenated together.\n\nThis change restores the original behavior, only taking into account the last --dump-trigger switch, but still processing the value as a comma-separated list.\n\nPart of eng/das/cov/gnatcoverage#275","shortMessageHtmlLink":"Merge branch 'leo/275-fixup' into 'master'"}},{"before":"060d6920ba8343986f07a57fd17758668055b479","after":"2391a652ce672770064f5d4978c33526e1745675","ref":"refs/heads/24.2","pushedAt":"2024-04-30T12:23:59.000Z","pushType":"push","commitsCount":3,"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 'eyraud/backport#274' into '24.2'\n\n[24.2] Backport of eng/das/cov/gnatcoverage#274\n\nSee merge request eng/das/cov/gnatcoverage!564\n\nThis backports eng/das/cov/gnatcoverage#274 in release 24.2.","shortMessageHtmlLink":"Merge branch 'eyraud/backport#274' into '24.2'"}},{"before":"589e9fa9f1a8656671c532d5dd06eb7d134562a7","after":"35ab36945949c5f5860e66ef08965f74665fb6d4","ref":"refs/heads/edge","pushedAt":"2024-04-29T00:54:51.000Z","pushType":"push","commitsCount":7,"pusher":{"login":"adacore-bot","name":"AdaCore Bot","path":"/adacore-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14904961?s=80&v=4"},"commit":{"message":"Merge remote branch 'origin/master' into edge","shortMessageHtmlLink":"Merge remote branch 'origin/master' into edge"}},{"before":"c5153c459d4ed1d3757376fa29fc9f06d4c0f7d6","after":"01e724a115e682ace103d46420210acfd02426dd","ref":"refs/heads/master","pushedAt":"2024-04-26T17:06:57.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 '285-violations-last-loc' into 'master'\n\nAttach violations to last location\n\nCloses #285\n\nSee merge request eng/das/cov/gnatcoverage!558\n\nAll violations were always attached to the first line of the statement\nor decision it is relative to. For report formats displaying violations\nin the source code, whenever a statement or decision spaned multiple\nlines it was \"cut\" by the violations as they were shown directly under\nthe first line.\n\nTo improve readability, violations are now attached to the last line of\nthe statement or decision so they can be displayed after the last line.\nThis also has the added bonus of allowing the user to select the text of\nthe statement or decision with no hindrance from the violations.\n\nCloses #285 \n\nAlso for eng/das/cov/gnatquilt#8","shortMessageHtmlLink":"Merge branch '285-violations-last-loc' into 'master'"}},{"before":"68ce7d6497de0ce431c6aa2bd982b65d345ff69c","after":"c5153c459d4ed1d3757376fa29fc9f06d4c0f7d6","ref":"refs/heads/master","pushedAt":"2024-04-26T12:29:11.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 'eyraud/fix_license' into 'master'\n\nFix gnatcov license\n\nSee merge request eng/das/cov/gnatcoverage!568\n\n(no-issue-check)","shortMessageHtmlLink":"Merge branch 'eyraud/fix_license' into 'master'"}},{"before":"f12b22c64458c41545fe12fac6d20b962b0e33f8","after":"68ce7d6497de0ce431c6aa2bd982b65d345ff69c","ref":"refs/heads/master","pushedAt":"2024-04-26T10:10:57.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 'eyraud/275' into 'master'\n\nFix windows regression for new manual dump test\n\nSee merge request eng/das/cov/gnatcoverage!566\n\nIssue: eng/das/cov/gnatcoverage#275","shortMessageHtmlLink":"Merge branch 'eyraud/275' into 'master'"}},{"before":"84b2086ce056f7c89a3069b6338b4aa7d96eed47","after":"589e9fa9f1a8656671c532d5dd06eb7d134562a7","ref":"refs/heads/edge","pushedAt":"2024-04-26T00:54:34.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"adacore-bot","name":"AdaCore Bot","path":"/adacore-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14904961?s=80&v=4"},"commit":{"message":"Merge remote branch 'origin/master' into edge","shortMessageHtmlLink":"Merge remote branch 'origin/master' into edge"}},{"before":"b5a65be0e46e7f7d70360d1f41038a8b8e63fd88","after":"f12b22c64458c41545fe12fac6d20b962b0e33f8","ref":"refs/heads/master","pushedAt":"2024-04-25T15:35:12.000Z","pushType":"push","commitsCount":3,"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 'eyraud/gnatquilt_add_language' into 'master'\n\nAdd language information to the HTML report\n\nSee merge request eng/das/cov/gnatcoverage!562\n\nLet gnatquilt know about the language for the source file, to improve code highlighting.\n\nFor eng/das/cov/gnatquilt#8","shortMessageHtmlLink":"Merge branch 'eyraud/gnatquilt_add_language' into 'master'"}},{"before":"e8725f07e08f12244c133c7b64d75d1b920103e4","after":"84b2086ce056f7c89a3069b6338b4aa7d96eed47","ref":"refs/heads/edge","pushedAt":"2024-04-25T00:54:38.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"adacore-bot","name":"AdaCore Bot","path":"/adacore-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14904961?s=80&v=4"},"commit":{"message":"Merge remote branch 'origin/master' into edge","shortMessageHtmlLink":"Merge remote branch 'origin/master' into edge"}},{"before":"ba24fef153f01e219f78f25776f196b589adc3a8","after":"b5a65be0e46e7f7d70360d1f41038a8b8e63fd88","ref":"refs/heads/master","pushedAt":"2024-04-24T13:10:11.000Z","pushType":"push","commitsCount":3,"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 'eyraud/275' into 'master'\n\nManual dump-trigger: allow for finer-grained configuration\n\nCloses #275\n\nSee merge request eng/das/cov/gnatcoverage!554\n\nAllow the user to specify the files containing manual indications, through --dump-trigger=manual, where files can either be a list of filenames or a response file containing a list of filenames.\n\nCloses eng/das/cov/gnatcoverage#275","shortMessageHtmlLink":"Merge branch 'eyraud/275' into 'master'"}},{"before":"9bbbf2d5437846bc267ebefd366122363af60dac","after":"e8725f07e08f12244c133c7b64d75d1b920103e4","ref":"refs/heads/edge","pushedAt":"2024-04-24T00:54:30.000Z","pushType":"push","commitsCount":10,"pusher":{"login":"adacore-bot","name":"AdaCore Bot","path":"/adacore-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14904961?s=80&v=4"},"commit":{"message":"Merge remote branch 'origin/master' into edge","shortMessageHtmlLink":"Merge remote branch 'origin/master' into edge"}},{"before":"57cf56abe2cad9e0650c084ecbfa694df10bb55d","after":"ba24fef153f01e219f78f25776f196b589adc3a8","ref":"refs/heads/master","pushedAt":"2024-04-23T14:56:35.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 'eyraud/290' into 'master'\n\nDo not consider lambda expressions as scope entities\n\nCloses #290\n\nSee merge request eng/das/cov/gnatcoverage!561\n\nCloses eng/das/cov/gnatcoverage#290","shortMessageHtmlLink":"Merge branch 'eyraud/290' into 'master'"}},{"before":"7b9a859ff3579bce7639ddca5cdd06e7cd5eb41b","after":"060d6920ba8343986f07a57fd17758668055b479","ref":"refs/heads/24.2","pushedAt":"2024-04-23T13:29:47.000Z","pushType":"push","commitsCount":3,"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 'mr/backport/release-24.2-issue-eng/das/cov/gnatcoverage#231' into '24.2'\n\n[24.2] Backport of eng/das/cov/gnatcoverage#231\n\nSee merge request eng/das/cov/gnatcoverage!563\n\nThis backports eng/das/cov/gnatcoverage#231 in release 24.2.\n\nThe commits from the following merge requests are included:\n\n* eng/das/cov/gnatcoverage!480\n* eng/das/cov/gnatcoverage!508","shortMessageHtmlLink":"Merge branch 'mr/backport/release-24.2-issue-eng/das/cov/gnatcoverage…"}},{"before":"fcd66bfa8955db30330d7d737a5d528a365a300d","after":"57cf56abe2cad9e0650c084ecbfa694df10bb55d","ref":"refs/heads/master","pushedAt":"2024-04-23T13:01:16.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 'eyraud/265' into 'master'\n\nRefactor insertion of with dump helper\n\nSee merge request eng/das/cov/gnatcoverage!560\n\nMove the insertion of the withing of the dump helper unit in the context\nof the manual dump process to a dedicated procedure.\n\nFor eng/das/cov/gnatcoverage#265","shortMessageHtmlLink":"Merge branch 'eyraud/265' into 'master'"}},{"before":"c8bd53c4b5a849e4efbf1e238349542be17b4947","after":"fcd66bfa8955db30330d7d737a5d528a365a300d","ref":"refs/heads/master","pushedAt":"2024-04-23T12:30:43.000Z","pushType":"push","commitsCount":3,"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 'eyraud/224' into 'master'\n\nFix soundness issue in the decision map analysis\n\nSee merge request eng/das/cov/gnatcoverage!521\n\nAnd also introduce a new coverage refining process using dominance information to fix the testsuite fallouts.\n\nFor eng/das/cov/gnatcoverage#224","shortMessageHtmlLink":"Merge branch 'eyraud/224' into 'master'"}},{"before":"17fb8af660c1fe47fe848492f312976fedf03200","after":"c8bd53c4b5a849e4efbf1e238349542be17b4947","ref":"refs/heads/master","pushedAt":"2024-04-23T12:12:05.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 'leo/286_obj_dir_check' into 'master'\n\nInstrument.Projects: Remove spurious directory check\n\nCloses #286\n\nSee merge request eng/das/cov/gnatcoverage!559\n\nWhen using the manual dump trigger, gnatcov used to check, for all projects, that there exists a directory with the same basename as the project's object directory. This is not needed as we also check the existence of the output dir (which is inside the object directory), and breaks the feature when gnatcov is not invoked exactly in the same directory as where the object dir will be created.\n\nCloses eng/das/cov/gnatcoverage#286","shortMessageHtmlLink":"Merge branch 'leo/286_obj_dir_check' into 'master'"}},{"before":"4147c764f775f40cb9bbf2aa3d9313c75b0afcb0","after":"9bbbf2d5437846bc267ebefd366122363af60dac","ref":"refs/heads/edge","pushedAt":"2024-04-23T00:54:49.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"adacore-bot","name":"AdaCore Bot","path":"/adacore-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14904961?s=80&v=4"},"commit":{"message":"Merge remote branch 'origin/master' into edge","shortMessageHtmlLink":"Merge remote branch 'origin/master' into edge"}},{"before":"50862bb3c2049da6bf04911682b573b83672952a","after":"17fb8af660c1fe47fe848492f312976fedf03200","ref":"refs/heads/master","pushedAt":"2024-04-22T09:24:36.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 'assertions-experimental' into 'master'\n\nMark assertion coverage as experimental\n\nCloses #268\n\nSee merge request eng/das/cov/gnatcoverage!542\n\nCloses #268","shortMessageHtmlLink":"Merge branch 'assertions-experimental' into 'master'"}},{"before":"577544838c463cb99ac607c2425e00881c8ee1c7","after":"4147c764f775f40cb9bbf2aa3d9313c75b0afcb0","ref":"refs/heads/edge","pushedAt":"2024-04-18T00:54:54.000Z","pushType":"push","commitsCount":16,"pusher":{"login":"adacore-bot","name":"AdaCore Bot","path":"/adacore-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14904961?s=80&v=4"},"commit":{"message":"Merge remote branch 'origin/master' into edge","shortMessageHtmlLink":"Merge remote branch 'origin/master' into edge"}},{"before":"2946beecdebdf9d4c24ac9222c350f1fc98887f4","after":"50862bb3c2049da6bf04911682b573b83672952a","ref":"refs/heads/master","pushedAt":"2024-04-17T16:27:37.000Z","pushType":"push","commitsCount":11,"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 'mr/qualkit-999-W426-013' into 'master'\n\nImport qualkit-999-W426-013 work on master\n\nSee merge request eng/das/cov/gnatcoverage!550\n\n\nPart of https://gitlab.adacore-it.com/eng/das/cov/gnatcoverage-qualification/-/issues/3\n\nThis is a rebase-onto the current master of the work initially\nperformed in the gnatcoverage-qualification repo, filtered out of a few commits\ndoing project specific things.","shortMessageHtmlLink":"Merge branch 'mr/qualkit-999-W426-013' into 'master'"}},{"before":"9622ff26b4b2ce2c3b067a3131683bd3c8ac0f28","after":"2946beecdebdf9d4c24ac9222c350f1fc98887f4","ref":"refs/heads/master","pushedAt":"2024-04-17T11:00:24.000Z","pushType":"push","commitsCount":4,"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 'eyraud/274' into 'master'\n\nAccept any kind of string static expression as an exemption message\n\nCloses #274\n\nSee merge request eng/das/cov/gnatcoverage!553\n\nCloses eng/das/cov/gnatcoverage#274","shortMessageHtmlLink":"Merge branch 'eyraud/274' into 'master'"}},{"before":"bedf2ce5c37484c1f6a96a9620cfc99f9471eab7","after":"577544838c463cb99ac607c2425e00881c8ee1c7","ref":"refs/heads/edge","pushedAt":"2024-04-17T00:54:36.000Z","pushType":"push","commitsCount":5,"pusher":{"login":"adacore-bot","name":"AdaCore Bot","path":"/adacore-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14904961?s=80&v=4"},"commit":{"message":"Merge remote branch 'origin/master' into edge","shortMessageHtmlLink":"Merge remote branch 'origin/master' into edge"}},{"before":"bc85bfc521f8e08faec5ee7a15fd92af60e6fead","after":"9622ff26b4b2ce2c3b067a3131683bd3c8ac0f28","ref":"refs/heads/master","pushedAt":"2024-04-16T14:50:01.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 'leo/189_buf_reset_doc' into 'master'\n\nDocument coverage buffer reset API\n\nSee merge request eng/das/cov/gnatcoverage!545\n\nPart of eng/das/cov/gnatcoverage#189","shortMessageHtmlLink":"Merge branch 'leo/189_buf_reset_doc' into 'master'"}},{"before":"9a941d55a8518639f72410e8c7f804356f00b255","after":"bc85bfc521f8e08faec5ee7a15fd92af60e6fead","ref":"refs/heads/master","pushedAt":"2024-04-16T13:21:28.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 'leo/265_link_error' into 'master'\n\nForce references to coverage buffers in Ada mains for manual dump trigger\n\nCloses #265\n\nSee merge request eng/das/cov/gnatcoverage!544\n\nWhen using a manual dump trigger, with sources of interest in the root project, but no dump indication in that project, then the coverage buffers units for that project would not be in the main's compilation closure, resulting in a link error.\n\nThis change fixes this by always making a reference to the dump helper unit in the Ada mains, which transitively make references to all the buffer units for the whole project tree.\n\nCloses eng/das/cov/gnatcoverage#265","shortMessageHtmlLink":"Merge branch 'leo/265_link_error' into 'master'"}},{"before":"5a6029cf86d130ef6d8b8fe4192bc293fb7818df","after":"bedf2ce5c37484c1f6a96a9620cfc99f9471eab7","ref":"refs/heads/edge","pushedAt":"2024-04-16T00:54:54.000Z","pushType":"push","commitsCount":7,"pusher":{"login":"adacore-bot","name":"AdaCore Bot","path":"/adacore-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14904961?s=80&v=4"},"commit":{"message":"Merge remote branch 'origin/master' into edge","shortMessageHtmlLink":"Merge remote branch 'origin/master' into edge"}},{"before":"c6a27501ccfda073bdb8c972a9d485550344035d","after":"9a941d55a8518639f72410e8c7f804356f00b255","ref":"refs/heads/master","pushedAt":"2024-04-15T13:35:23.000Z","pushType":"push","commitsCount":3,"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 'eyraud/gnatcoll#48' into 'master'\n\nCheck that gnatcov generates instrumented files in the right obj dir\n\nSee merge request eng/das/cov/gnatcoverage!557\n\nRegression test: check that gnatcov create instrumentation artifacts in the right object directory. It used to create them in the wrong object directory when the object directory value depended on the Project'Target attribute and when the target was passed explicitly on the command line.\n\nFor eng/toolchain/gnatcoll-core#48","shortMessageHtmlLink":"Merge branch 'eyraud/gnatcoll#48' into 'master'"}},{"before":"4fa4f1ba64834976eb22725fed54b8530cb58d05","after":"c6a27501ccfda073bdb8c972a9d485550344035d","ref":"refs/heads/master","pushedAt":"2024-04-15T12:55:44.000Z","pushType":"push","commitsCount":3,"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 'eyraud/merge_edge_into_master' into 'master'\n\nMerge edge into master\n\nSee merge request eng/das/cov/gnatcoverage!556\n\nDepends-On: eng/shared/anod!3255\n\nFor [eng/shared/anod#300](https://gitlab.adacore-it.com/eng/shared/anod/-/issues/300)","shortMessageHtmlLink":"Merge branch 'eyraud/merge_edge_into_master' into 'master'"}},{"before":"d0acab79ad12c2075827fabfa95ec5e009d61da9","after":"5a6029cf86d130ef6d8b8fe4192bc293fb7818df","ref":"refs/heads/edge","pushedAt":"2024-04-13T00:54:41.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"adacore-bot","name":"AdaCore Bot","path":"/adacore-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14904961?s=80&v=4"},"commit":{"message":"Merge remote branch 'origin/master' into edge","shortMessageHtmlLink":"Merge remote branch 'origin/master' into edge"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEQhWbIAA","startCursor":null,"endCursor":null}},"title":"Activity · AdaCore/gnatcoverage"}