Removed nonsensical library attributes, add CI

2018-04-04 19:32:12 +02:00
parent 3b8458015d
commit 1b34642e4b
2 changed files with 14 additions and 2 deletions
@@ -0,0 +1,14 @@
+language: none # ada
+
+branches:
+    only:
+        - master
+        - devel
+
+build:
+    pre_ci_boot:
+        image_name: reznik/gnat
+        image_tag: gpl.2017.slim
+        pull: true
+    ci:
+        - /opt/gnat/bin/gprbuild -p -P alire_env