M .builds/debian.yml +18 -18
@@ 1,18 1,18 @@
-image: debian/stable
-packages:
- - gprbuild
- - make
- - gnat-10
- - mercurial
-
-sources:
- - hg+https://hg.sr.ht/~tkoskine/ahven
-tasks:
- - build-plain: |
- mkdir /tmp/ahven-install
- cd ahven
- gprbuild -p -P gnat/ahven.gpr
- gprbuild -p -P gnat/ahven_tests.gpr
- - test-plain: |
- ahven/gnat/tester
- ahven/gnat/tap_tester
+image: debian/stable
+packages:
+ - gprbuild
+ - make
+ - gnat-12
+ - mercurial
+
+sources:
+ - hg+https://hg.sr.ht/~tkoskine/ahven
+tasks:
+ - build-plain: |
+ mkdir /tmp/ahven-install
+ cd ahven
+ gprbuild -p -P gnat/ahven.gpr
+ gprbuild -p -P gnat/ahven_tests.gpr
+ - test-plain: |
+ ahven/gnat/tester
+ ahven/gnat/tap_tester