23.0.18

github-actions released this 29 May 08:19

· 993 commits to master since this release

Better diagnostic on errors on the project loading
Pack debug info into separate .debug files in GitHub Release assets
Improvements of the SPARK support
Clarify the message in hovers when in aggregate projects
Add GPR tasks to build and run main subprograms

Assets 5