Build and test

Merge pull request #444 from AdaCore/HM_11 #249

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build and test on Windows	2m 26s
Build and test on Linux	21m 56s
	24m 22s