fix typo

project-everest · Jan 18, 2025 · 86310ec · 86310ec
1 parent 54b78bd
commit 86310ec
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/package-linux.yml b/.github/workflows/package-linux.yml
@@ -7,7 +7,7 @@ on:
         default: 'FStarLang/FStar'
         type: string
         required: true
-      fstar_branch:
+      fstar_ref:
         description: F* ref (branch, or tag, or commit hash)
         default: 'master'
         type: string
@@ -17,7 +17,7 @@ on:
         default: 'FStarLang/karamel'
         type: string
         required: true
-      karamel_branch:
+      karamel_ref:
         description: Karamel ref (branch, or tag, or commit hash)
         default: 'master'
         type: string