add ci status

santoslab · Oct 11, 2024 · d6d4d83 · d6d4d83
1 parent 34b3f54
commit d6d4d83
Show file tree

Hide file tree

Showing 4 changed files with 15 additions and 6 deletions.
diff --git a/.github/workflows/CI-macOS.yml b/.github/workflows/CI-macOS.yml
@@ -12,11 +12,11 @@ jobs:
     runs-on: macOS-latest
     steps:
       - name: Checkout
-        uses: actions/checkout@v3
+        uses: actions/checkout@v4
         with:
           submodules: recursive
       - name: Checkout-Keninian
-        uses: actions/checkout@v3
+        uses: actions/checkout@v4
         with:
           submodules: recursive
           repository: sireum/kekinian

diff --git a/.github/workflows/CI-windows.yml b/.github/workflows/CI-windows.yml
@@ -22,11 +22,11 @@ jobs:
       - name: Support longpaths
         run: git config --system core.longpaths true
       - name: Checkout
-        uses: actions/checkout@v3
+        uses: actions/checkout@v4
         with:
           submodules: recursive
       - name: Checkout-Keninian
-        uses: actions/checkout@v3
+        uses: actions/checkout@v4
         with:
           submodules: recursive
           repository: sireum/kekinian

diff --git a/.github/workflows/CI_linux.yml b/.github/workflows/CI_linux.yml
@@ -12,11 +12,11 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - name: Checkout
-        uses: actions/checkout@v3
+        uses: actions/checkout@v4
         with:
           submodules: recursive
       - name: Checkout-Keninian
-        uses: actions/checkout@v3
+        uses: actions/checkout@v4
         with:
           submodules: recursive
           repository: sireum/kekinian

diff --git a/readme.md b/readme.md
@@ -1,5 +1,14 @@
 # Isolette
 
+<table>
+<tr>
+<td> 
+  <a href="https://github.com/santoslab/isolette-artifacts/actions/workflows/CI-macOS.yml"><img src="https://github.com/santoslab/isolette-artifacts/actions/workflows/CI-macOS.yml/badge.svg" alt="macOS"> </a>
+  <a href="https://github.com/santoslab/isolette-artifacts/actions/workflows/CI_linux.yml"><img src="https://github.com/santoslab/isolette-artifacts/actions/workflows/CI_linux.yml/badge.svg" alt="Linux"></a>
+  <a href="https://github.com/santoslab/isolette-artifacts/actions/workflows/CI-windows.yml"><img src="https://github.com/santoslab/isolette-artifacts/actions/workflows/CI-windows.yml/badge.svg" alt="Windows"></a>
+</td>
+</table>
+
 ![arch](aadl/diagrams/arch.svg)
 
 ## Requirements