simplifyw

Inria-Prosecco · May 27, 2024 · 796aab7 · 796aab7
1 parent 323344e
commit 796aab7
Show file tree

Hide file tree

Showing 7 changed files with 39 additions and 1,961 deletions.
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -5,14 +5,6 @@ on:
         description: "Hax"
         type: "string"
         default: "main"
-      charon:
-        description: "Charon"
-        type: "string"
-        default: "main"
-      aeneas:
-        description: "Aeneas"
-        type: "string"
-        default: "main"
       eurydice:
         description: "Eurydice"
         type: "string"
@@ -29,6 +21,4 @@ jobs:
         run: ./update.sh
         env:
           HAX_BRANCH: ${{ inputs.hax }}
-          CHARON_BRANCH: ${{ inputs.charon }}
-          AENEAS_BRANCH: ${{ inputs.aeneas }}
           EURYDICE_BRANCH: ${{ inputs.eurydice }}
diff --git a/.gitignore b/.gitignore
diff --git a/STATUS.txt b/STATUS.txt
@@ -1,4 +1,2 @@
-❌ hax (main)
-✅ charon (main)
-✅ aeneas (main)
-❌ eurydice (main)
+✅ hax (main)
+✅ eurydice (main)