Maxim Reznik 0b8fcee968 Switch GitHub CI to GCC 12 ...

For V802-012

2022-08-02 20:27:06 +03:00

..

gnatdoc.yml

Adapt to recent enhancements of GNATdoc

2022-07-23 10:02:34 +03:00

gps.qs

U114-013 Add docs building script

2021-02-02 19:08:35 +02:00

main.yml

Switch GitHub CI to GCC 12

2022-08-02 20:27:06 +03:00

spellcheck.yml

Add make spellcheck target and GitHub Action

2022-05-16 14:44:06 +03:00