{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":66867667,"defaultBranch":"master","name":"spark2014","ownerLogin":"AdaCore","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2016-08-29T18:04:04.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/7767877?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1705486623.0","currentOid":""},"activityList":{"items":[{"before":"611fd9d584cf8621b7fe7b9da6cb1496cf35cebd","after":"314c9fccc09d899e0ccfb3f75b1b82e9fc1b6743","ref":"refs/heads/master","pushedAt":"2024-05-10T10:18: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 'topic/review-gnatsas-messages' into 'master'\n\nno-issue-check\n\nReview new GNAT SAS messages as False Positives.","shortMessageHtmlLink":"Merge branch 'topic/review-gnatsas-messages' into 'master'"}},{"before":"23a078af9093851a6bd0e4b48056bdf8fe79c3b9","after":"611fd9d584cf8621b7fe7b9da6cb1496cf35cebd","ref":"refs/heads/master","pushedAt":"2024-05-09T23:16:08.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 'topic/sort-gg' into 'master'\n\nUpdate sorted JSON output with generated globals\n\nno-issue-check\n\nSee merge request eng/spark/spark2014!1266","shortMessageHtmlLink":"Merge branch 'topic/sort-gg' into 'master'"}},{"before":"fddbbcd64aff0ac877e01ab4c135c2584dce3d89","after":"23a078af9093851a6bd0e4b48056bdf8fe79c3b9","ref":"refs/heads/master","pushedAt":"2024-05-09T12:07:06.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 'topic/sort-gg' into 'master'\n\nFix test with ordering issue\n\nno-issue-check\n\nSee merge request eng/spark/spark2014!1265","shortMessageHtmlLink":"Merge branch 'topic/sort-gg' into 'master'"}},{"before":"916904e0049b97e64a95d7ac23b4ec94625d7264","after":"fddbbcd64aff0ac877e01ab4c135c2584dce3d89","ref":"refs/heads/master","pushedAt":"2024-05-09T08:42: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 'topic/601-kanig-aggrdoc' into 'master'\n\nUse Local instead of Global for Configuration Pragmas in the doc\n\nIssue: eng/spark/spark2014#601\n\nSee merge request eng/spark/spark2014!1263","shortMessageHtmlLink":"Merge branch 'topic/601-kanig-aggrdoc' into 'master'"}},{"before":"c9607287985cf170f4f066188ac1643493bc7ff9","after":"916904e0049b97e64a95d7ac23b4ec94625d7264","ref":"refs/heads/master","pushedAt":"2024-05-09T07:49:26.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 'topic/601-kanig-aggr' into 'master'\n\nFix test with ordering issue\n\nno-issue-check\n\nSee merge request eng/spark/spark2014!1262","shortMessageHtmlLink":"Merge branch 'topic/601-kanig-aggr' into 'master'"}},{"before":"b35d68a9492a54ae8b0f9968fe29a56dfc85af65","after":"c9607287985cf170f4f066188ac1643493bc7ff9","ref":"refs/heads/master","pushedAt":"2024-05-09T06:34:19.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 'topic/601-kanig-aggr' into 'master'\n\nReplace Global by Local Configuration Pragmas\n\nIssue: eng/spark/spark2014#601\n\nSee merge request eng/spark/spark2014!1260","shortMessageHtmlLink":"Merge branch 'topic/601-kanig-aggr' into 'master'"}},{"before":"3b8136b4e781884ea5a8380eaee6865d4268d28b","after":"b35d68a9492a54ae8b0f9968fe29a56dfc85af65","ref":"refs/heads/master","pushedAt":"2024-05-08T23:03:13.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 'topic/trojanek-627-initialized' into 'master'\n\nAdd minimal reproducer\n\nIssue: eng/spark/spark2014#627\n\nSee merge request eng/spark/spark2014!1256","shortMessageHtmlLink":"Merge branch 'topic/trojanek-627-initialized' into 'master'"}},{"before":"439538638327bc7c19f1492eeedef4c8d4f1670e","after":"3b8136b4e781884ea5a8380eaee6865d4268d28b","ref":"refs/heads/master","pushedAt":"2024-05-08T09:28: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 'topic/614-kanig-duplicate' into 'master'\n\nDetect duplicate units before running analysis\n\nIssue: eng/spark/spark2014#614\n\nSee merge request eng/spark/spark2014!1258","shortMessageHtmlLink":"Merge branch 'topic/614-kanig-duplicate' into 'master'"}},{"before":"0df1f8b049e68528fe763eaffd8baf816d2f15f9","after":"439538638327bc7c19f1492eeedef4c8d4f1670e","ref":"refs/heads/master","pushedAt":"2024-05-08T08:09: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 'topic/kanig-ugtests2' into 'master'\n\nCleanup of pre-commit checks\n\nno-issue-check\n\nSee merge request eng/spark/spark2014!1257","shortMessageHtmlLink":"Merge branch 'topic/kanig-ugtests2' into 'master'"}},{"before":"9549fa8a000e1ae48189d6395188081682ba10e5","after":"0df1f8b049e68528fe763eaffd8baf816d2f15f9","ref":"refs/heads/master","pushedAt":"2024-05-08T08:07:52.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 'topic/433-kanig-baseline' into 'master'\n\nUpdate baseline\n\nIssue: eng/spark/spark2014#433\n\nSee merge request eng/spark/spark2014!1259","shortMessageHtmlLink":"Merge branch 'topic/433-kanig-baseline' into 'master'"}},{"before":"f846fc184de486c01123bc88bff6d6cb2023b084","after":"9549fa8a000e1ae48189d6395188081682ba10e5","ref":"refs/heads/master","pushedAt":"2024-05-07T14:57: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 'mr/spark-620-pattern-matching-fix' into 'master'\n\nFix test for discrete type or not on case statement/expression\n\nIssue: eng/spark/spark2014#620\n\nSee merge request eng/spark/spark2014!1253","shortMessageHtmlLink":"Merge branch 'mr/spark-620-pattern-matching-fix' into 'master'"}},{"before":"f9f089411f49fcd6991137df676f030704d8b1db","after":"f846fc184de486c01123bc88bff6d6cb2023b084","ref":"refs/heads/master","pushedAt":"2024-05-07T13:16: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 'mr/more-details-alire' into 'master'\n\nExplain how to setup the proper env for Alire\n\nno-issue-check\n\nSee merge request eng/spark/spark2014!1252","shortMessageHtmlLink":"Merge branch 'mr/more-details-alire' into 'master'"}},{"before":"47c3559df8f9d136c3d78a0cc54a05e3c7e5ee26","after":"f9f089411f49fcd6991137df676f030704d8b1db","ref":"refs/heads/master","pushedAt":"2024-05-07T13:09: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 'topic/618-clochard-hidden-dispatching-equality' into 'master'\n\nFix crash with hidden dispatching equality\n\nIssue: eng/spark/spark2014#618\n\nSee merge request eng/spark/spark2014!1246","shortMessageHtmlLink":"Merge branch 'topic/618-clochard-hidden-dispatching-equality' into 'm…"}},{"before":"38ed1666c176e2454e2b3a4d403fe254c664ae47","after":"47c3559df8f9d136c3d78a0cc54a05e3c7e5ee26","ref":"refs/heads/master","pushedAt":"2024-05-07T12:59:34.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 'mr/595-spark-null-procedures' into 'master'\n\nCreate body for null procedures in remaining cases\n\nIssue: eng/spark/spark2014#595\n\nSee merge request eng/spark/spark2014!1216","shortMessageHtmlLink":"Merge branch 'mr/595-spark-null-procedures' into 'master'"}},{"before":"f3eafd0e86e04a0f0694f3a519633df9b07ade05","after":"38ed1666c176e2454e2b3a4d403fe254c664ae47","ref":"refs/heads/master","pushedAt":"2024-05-07T07:45:59.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 'topic/kanig-testsuite' into 'master'\n\nupdate baseline\n\nIssue: eng/spark/spark2014#433\n\nSee merge request eng/spark/spark2014!1250","shortMessageHtmlLink":"Merge branch 'topic/kanig-testsuite' into 'master'"}},{"before":"ce5fad038790d5dc18f9b5345dc604f1ccf45b06","after":"68857c5c0af077417c95acced92236886f8824a6","ref":"refs/heads/fsf","pushedAt":"2024-05-07T07:43:27.000Z","pushType":"push","commitsCount":54,"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 'topic/fsf_merge_269/20240104' into 'fsf'\n\nSynchronize with GNAT\n\nIssue: #269\n\nSee merge request eng/spark/spark2014!1243","shortMessageHtmlLink":"Merge branch 'topic/fsf_merge_269/20240104' into 'fsf'"}},{"before":"91c11608fedc7dbb320e9509a99d082fb39edfbd","after":"f3eafd0e86e04a0f0694f3a519633df9b07ade05","ref":"refs/heads/master","pushedAt":"2024-05-07T07:16:06.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 'topic/kanig-pebase' into 'master'\n\nReplace e3 image by pe-base in CI\n\nno-issue-check\n\nSee merge request eng/spark/spark2014!1248","shortMessageHtmlLink":"Merge branch 'topic/kanig-pebase' into 'master'"}},{"before":"9026b1ea82fc02c028f16944eadf4885a112508b","after":"91c11608fedc7dbb320e9509a99d082fb39edfbd","ref":"refs/heads/master","pushedAt":"2024-05-07T07:10:41.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 'topic/433-kanig-baselines' into 'master'\n\nUpdate baselines\n\nIssue: eng/spark/spark2014#433\n\nSee merge request eng/spark/spark2014!1233","shortMessageHtmlLink":"Merge branch 'topic/433-kanig-baselines' into 'master'"}},{"before":"7a6f27321c812b9741211e6b0ce9989da9e39085","after":"9026b1ea82fc02c028f16944eadf4885a112508b","ref":"refs/heads/master","pushedAt":"2024-05-06T14:21: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 'mr/spark-620-pattern-matching-test' into 'master'\n\nReject GNAT extension for case pattern matching\n\nIssue: eng/spark/spark2014#620\n\nSee merge request eng/spark/spark2014!1242","shortMessageHtmlLink":"Merge branch 'mr/spark-620-pattern-matching-test' into 'master'"}},{"before":"0d4fc4cf2abbe90028fc773080b8ddbca83e8da4","after":"7a6f27321c812b9741211e6b0ce9989da9e39085","ref":"refs/heads/master","pushedAt":"2024-05-06T12:04: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 'topic/update-session-files' into 'master'\n\nUpdate session files for R509-011__hop\n\nno-issue-check\n\nSee merge request eng/spark/spark2014!1244","shortMessageHtmlLink":"Merge branch 'topic/update-session-files' into 'master'"}},{"before":"f43b47ef465b1213ecb0384082d9c062efbdb392","after":"0d4fc4cf2abbe90028fc773080b8ddbca83e8da4","ref":"refs/heads/master","pushedAt":"2024-05-06T09:47:40.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 'mr/spark-620-pattern-matching' into 'master'\n\nReject GNAT extension for case pattern matching\n\nIssue: eng/spark/spark2014#620\n\nSee merge request eng/spark/spark2014!1240","shortMessageHtmlLink":"Merge branch 'mr/spark-620-pattern-matching' into 'master'"}},{"before":"10d6038c23c9c431b3f44de452375da0718c90c0","after":"f43b47ef465b1213ecb0384082d9c062efbdb392","ref":"refs/heads/master","pushedAt":"2024-05-06T08:59:43.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 'topic/clochard-style' into 'master'\n\nFix comment style\n\nno-issue-check\n\nSee merge request eng/spark/spark2014!1241","shortMessageHtmlLink":"Merge branch 'topic/clochard-style' into 'master'"}},{"before":"66927853ccac37fce91b5641f78f27a096dc1eca","after":"10d6038c23c9c431b3f44de452375da0718c90c0","ref":"refs/heads/master","pushedAt":"2024-05-03T14:55:58.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 'mr/147-spark-deep-delta-doc' into 'master'\n\nDocument deep delta aggregates in SPARK UG\n\nIssue: eng/spark/spark2014#147\n\nSee merge request eng/spark/spark2014!1239","shortMessageHtmlLink":"Merge branch 'mr/147-spark-deep-delta-doc' into 'master'"}},{"before":"592ab1f1066324863e886602031a9ce545d4e8ce","after":"66927853ccac37fce91b5641f78f27a096dc1eca","ref":"refs/heads/master","pushedAt":"2024-05-03T13:41:03.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 'mr/531-spark-gnat-extensions' into 'master'\n\nAdd tests for GNAT extensions\n\nIssue: eng/spark/spark2014#531\n\nSee merge request eng/spark/spark2014!1236","shortMessageHtmlLink":"Merge branch 'mr/531-spark-gnat-extensions' into 'master'"}},{"before":"8cabbb224847bf640f48e429c5f6413be3358eca","after":"592ab1f1066324863e886602031a9ce545d4e8ce","ref":"refs/heads/master","pushedAt":"2024-05-03T11:44:04.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 'topic/599-variant-on-eq' into 'master'\n\nReject variants on recursive equality function\n\nIssue: eng/spark/spark2014#599\n\nSee merge request eng/spark/spark2014!1238","shortMessageHtmlLink":"Merge branch 'topic/599-variant-on-eq' into 'master'"}},{"before":"dcc8d437d4ad31b602c29036cca82628aea621b4","after":"8cabbb224847bf640f48e429c5f6413be3358eca","ref":"refs/heads/master","pushedAt":"2024-05-03T10:09:12.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 'topic/577-clochard-no-restriction-when-no-ancestor' into 'master'\n\nRestriction for private inheritance should not apply when no public ancestor\n\nIssue: eng/spark/spark2014#577\n\nSee merge request eng/spark/spark2014!1237","shortMessageHtmlLink":"Merge branch 'topic/577-clochard-no-restriction-when-no-ancestor' int…"}},{"before":"9e7a918a6640f026becc3e4ce817556e10f734ed","after":"dcc8d437d4ad31b602c29036cca82628aea621b4","ref":"refs/heads/master","pushedAt":"2024-04-30T11:37:42.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 'mr/606-spark-more-precise-output' into 'master'\n\nMore precise output with representation info from GNAT\n\nIssue: eng/spark/spark2014#606\n\nSee merge request eng/spark/spark2014!1234","shortMessageHtmlLink":"Merge branch 'mr/606-spark-more-precise-output' into 'master'"}},{"before":"33ea48bb242830bebb61d07f2072f7272cbf1e8b","after":"9e7a918a6640f026becc3e4ce817556e10f734ed","ref":"refs/heads/master","pushedAt":"2024-04-30T11:01:31.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 'topic/616-kanig-pragma' into 'master'\n\nFix printing of unknown pragma\n\nIssue: eng/spark/spark2014#616\n\nDepends-On: eng/toolchain/acats!400\n\nSee merge request eng/spark/spark2014!1235","shortMessageHtmlLink":"Merge branch 'topic/616-kanig-pragma' into 'master'"}},{"before":"2f1f8e0d20245630f16543c49f309f0872d6445e","after":"33ea48bb242830bebb61d07f2072f7272cbf1e8b","ref":"refs/heads/master","pushedAt":"2024-04-29T13:18:12.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 'topic/577-clochard-bad-inherited-subprograms' into 'master'\n\nClarify that inheriting subprograms from an Off private part is unsupported\n\nIssue: eng/spark/spark2014#577\n\nSee merge request eng/spark/spark2014!1222","shortMessageHtmlLink":"Merge branch 'topic/577-clochard-bad-inherited-subprograms' into 'mas…"}},{"before":"3c757dc8bb5d11be32f67e26c812f9dbdad1f121","after":"2f1f8e0d20245630f16543c49f309f0872d6445e","ref":"refs/heads/master","pushedAt":"2024-04-29T09:56:30.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 'topic/quickfix-arrows' into 'master'\n\nFix overly long lines after arrow alignment\n\nno-issue-check\n\nSee merge request eng/spark/spark2014!1232","shortMessageHtmlLink":"Merge branch 'topic/quickfix-arrows' into 'master'"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAERnRHxgA","startCursor":null,"endCursor":null}},"title":"Activity · AdaCore/spark2014"}