From bd4034b0807717ea38b3bd6ca1da65eb307fef73 Mon Sep 17 00:00:00 2001
From: Matthias Koeppe <mkoeppe@math.ucdavis.edu>
Date: Sat, 5 Feb 2022 19:10:08 -0800
Subject: [PATCH] .github/workflows/run_patchbot_cygwin.yml: New

---
 .github/workflows/run_patchbot_cygwin.yml | 65 +++++++++++++++++++++++
 1 file changed, 65 insertions(+)
 create mode 100644 .github/workflows/run_patchbot_cygwin.yml

diff --git a/.github/workflows/run_patchbot_cygwin.yml b/.github/workflows/run_patchbot_cygwin.yml
new file mode 100644
index 0000000..3a6b023
--- /dev/null
+++ b/.github/workflows/run_patchbot_cygwin.yml
@@ -0,0 +1,65 @@
+name: Run patchbot (Cygwin)
+
+on:
+  workflow_dispatch:
+    # Allow to run manually
+    inputs:
+      patchbot_ticket:
+        description: 'Tickets to test (e.g., 12345,23456)'
+        required: false
+
+jobs:
+  run_patchbot_cygwin:
+    runs-on: windows-latest
+
+    steps:
+      - run: |
+          git config --global core.autocrlf false
+          git config --global core.symlinks true
+
+      - uses: actions/checkout@v2
+        with:
+          repository: sagemath/sage
+          ref: develop
+
+      - name: install cygwin and test prerequisites with choco
+        shell: bash {0}
+        run: |
+          choco --version
+          PACKAGES="python38 python38-pip"
+          choco install $PACKAGES --source cygwin
+
+      - name: Download artifact
+        uses: dawidd6/action-download-artifact@v2
+        with:
+          # https://github.com/dawidd6/action-download-artifact
+          github_token: ${{secrets.GITHUB_TOKEN}}
+          repo: sagemath/sage
+          workflow: ci-cygwin-standard.yml
+          workflow_conclusion: ""
+          search_artifacts: true
+          name: sage-local-commit-439907fd9a15f7abff7b000e9845806099a6d329-cygwin-standard
+          path: C:\\tools\\cygwin\\tmp
+
+      - name: Extract sage-local artifact
+        run: |
+          C:\\tools\\cygwin\\bin\\dash -l -c 'cd $(cygpath -u "$GITHUB_WORKSPACE") && .github/workflows/extract-sage-local.sh /tmp/sage-local-*.tar && tar --create --listed-incremental=/tmp/sage-local.snar --file /dev/null "${{ env.SAGE_LOCAL }}"'
+
+      - name: tox
+        run: |
+          C:\\tools\\cygwin\\bin\\bash -l -x -c 'cat /proc/cpuinfo'
+          C:\\tools\\cygwin\\bin\\bash -l -x -c 'python3.8 -m pip install tox'
+          C:\\tools\\cygwin\\bin\\bash -l -x -c 'cd $(cygpath -u "$GITHUB_WORKSPACE") && PREFIX="${{ env.SAGE_LOCAL }}" tox -e local-cygwin-choco-${{ matrix.pkgs }} -- config.status'
+
+      - name: Checkout patchbot
+        uses: actions/checkout@v2
+        with:
+          path: C:\\tools\\cygwin\\tmp\\patchbot
+
+      - name: Install patchbot and prerequisites
+        run: |
+          C:\\tools\\cygwin\\bin\\bash -l -x -c 'cd /tmp/patchbot && /sage/venv/bin/python3 -m pip install .'
+
+      - name: Run patchbot
+        run: |
+          C:\\tools\\cygwin\\bin\\bash -l -x -c '/sage/venv/bin/python3 -m sage_patchbot.patchbot --sage-root /sage --config=config.json $options || /sage/venv/bin/python3 -m sage_patchbot.patchbot --sage-root /sage --config=config.json --skip-base $options'