From 98f3175bb86562263ed74e537c2a461c505d7964 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Guido=20Mart=C3=ADnez?= <mtzguido@gmail.com>
Date: Mon, 6 Jan 2025 08:48:56 -0800
Subject: [PATCH] ?

---
 .github/workflows/build-windows.yml | 19 ++-----------------
 1 file changed, 2 insertions(+), 17 deletions(-)

diff --git a/.github/workflows/build-windows.yml b/.github/workflows/build-windows.yml
index 487bb65b2e3..10d32ba9e97 100644
--- a/.github/workflows/build-windows.yml
+++ b/.github/workflows/build-windows.yml
@@ -24,30 +24,15 @@ jobs:
         with:
           path: FStar
 
-      # self-hosted runner already set up
-      # - uses: ocaml/setup-ocaml@v3
-      #   with:
-      #     ocaml-compiler: 4.14.2
-      # - name: Prepare
-      #   shell: powershell # somehow in bash we fail to build ocamlfind?
-      #   run: |
-      #     ./FStar/.scripts/get_fstar_z3.sh $HOME/bin
-      #     echo "PATH=$HOME/bin:$PATH" >> $GITHUB_ENV
-      #     opam install --deps-only FStar\fstar.opam
-
       - name: Set version
         shell: C:\cygwin64\bin\bash.exe --login '{0}'
         run: |
-          # Setting FSTAR_VERSION for nightly and release builds. If unset,
-          # we use $(version.txt)~dev. Setting it avoids the ~dev.
-          if [[ "${{github.workflow_ref}}" =~ "nightly.yml" ]]; then echo FSTAR_VERSION="nightly-$(date -I)" >> $GITHUB_ENV; elif [[ "${{github.workflow_ref}}" =~ "release.yml" ]]; then echo FSTAR_VERSION="$(cat FStar/version.txt)" >> $GITHUB_ENV; fi
-
+          if [[ "${{github.workflow_ref}}" =~ "nightly.yml" ]]; then echo FSTAR_VERSION="nightly-$(date -I)" >> $GITHUB_ENV; elif [[ "${{github.workflow_ref}}" =~ "release.yml" ]]; then echo FSTAR_VERSION="$(cat FStar/version.txt)" >> $GITHUB_ENV; fi && echo "There is a CR at the end of this line"
       - name: Build package
         shell: C:\cygwin64\bin\bash.exe --login '{0}'
         working-directory: FStar
         run: |
-          eval $(opam env) && CC=x86_64-w64-mingw32-gcc.exe make -skj$(nproc) package FSTAR_TAG=-Windows_NT-x86_64 V=1
-
+          eval $(opam env) && CC=x86_64-w64-mingw32-gcc.exe make -skj$(nproc) package FSTAR_TAG=-Windows_NT-x86_64 V=1 && echo "There is a CR at the end of this line"
       - uses: actions/upload-artifact@v4
         with:
           path: FStar\fstar-Windows_NT-x86_64.tar.gz