Add badges, fix CI

mosteo · Oct 15, 2020 · 8affd79 · 8affd79
1 parent 4021099
commit 8affd79
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 3 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -21,4 +21,4 @@ jobs:
         sudo apt-get install gnat gprbuild
 
     - name: Build
-      run: gprbuild -j0 -p
+      run: gprbuild -j0 -p -P aaa_dev
diff --git a/README.md b/README.md
@@ -1,4 +1,8 @@
-# aaa
+# AAA
+
+[![Build](https://github.com/mosteo/aaa/workflows/Build/badge.svg)](https://github.com/mosteo/aaa/actions)
+[![Alire](https://img.shields.io/endpoint?url=https://alire.ada.dev/badges/aaa.json)](https://alire.ada.dev/crates/aaa.html)
+
 
 Alex's Ada Assortment of Utilities
 

diff --git a/aaa_dev.gpr b/aaa_dev.gpr
@@ -1,7 +1,6 @@
 aggregate project AAA_Dev is
 
    for Project_Files use ("aaa.gpr",
-                          "aaa-iterators.gpr",
                           "aaa_demos.gpr");
 
 end AAA_Dev;