wip

rjbou · Dec 13, 2023 · a9c5487 · a9c5487
1 parent 7f85795
commit a9c5487
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/.github/workflows/ci.ml b/.github/workflows/ci.ml
@@ -331,7 +331,7 @@ let main_build_job ~analyse_job ~cygwin_job ?section runner start_version ~oc ~w
   let upload_binaries =
     let cond =
       let label =
-        Predicate (true, Compare ("github.event.label.name", "PR: BINARIES"))
+        Predicate (true, Compare ("github.event.label.name", "PR:BINARIES"))
       in
       match runner with
       | MacOS -> label

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -150,7 +150,7 @@ jobs:
     - name: Build
       run: bash -exu .github/scripts/main/main.sh x86_64-pc-linux-gnu
     - name: Upload opam binaries
-      if: github.event.label.name == 'PR: BINARIES' && matrix.ocamlv == '4.14.1'
+      if: github.event.label.name == 'PR:BINARIES' && matrix.ocamlv == '4.14.1'
       uses: actions/upload-artifact@v3
       continue-on-error: true
       with:
@@ -214,7 +214,7 @@ jobs:
     - name: Build
       run: bash -exu .github/scripts/main/main.sh ${{ matrix.host }}
     - name: Upload opam binaries
-      if: github.event.label.name == 'PR: BINARIES' && endsWith(matrix.host, '-pc-cygwin')
+      if: github.event.label.name == 'PR:BINARIES' && endsWith(matrix.host, '-pc-cygwin')
       uses: actions/upload-artifact@v3
       continue-on-error: true
       with:
@@ -275,7 +275,7 @@ jobs:
     - name: Build
       run: bash -exu .github/scripts/main/main.sh x86_64-apple-darwin
     - name: Upload opam binaries
-      if: github.event.label.name == 'PR: BINARIES'
+      if: github.event.label.name == 'PR:BINARIES'
       uses: actions/upload-artifact@v3
       continue-on-error: true
       with: