From ca7fa90db94ee4c829572cf2f45384a004e148b7 Mon Sep 17 00:00:00 2001
From: Jason Gross <jgross@mit.edu>
Date: Thu, 19 Oct 2023 16:05:21 -0700
Subject: [PATCH] Upload standalone to CI

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

diff --git a/.github/workflows/standalone.yml b/.github/workflows/standalone.yml
new file mode 100644
index 00000000..2ab514ac
--- /dev/null
+++ b/.github/workflows/standalone.yml
@@ -0,0 +1,64 @@
+name: Build Standalone
+
+on:
+  push:
+    branches: [ master ]
+  pull_request:
+    branches: [ master ]
+  workflow_dispatch:
+  schedule:
+    - cron: '0 0 * * *'
+
+jobs:
+  build:
+
+    strategy:
+      fail-fast: false
+      matrix:
+        python-version: ['3.5', '3.6', '3.7', '3.8', '3.9', '3.10', '3.11']
+        os: [ubuntu-latest, macos-latest, windows-latest]
+        exclude:
+          - os: windows-latest
+            python-version: '3.7'
+          - os: windows-latest
+            python-version: '3.6'
+          - os: windows-latest
+            python-version: '3.5'
+
+    runs-on: ${{ matrix.os }}
+    concurrency:
+      group: ${{ github.workflow }}-${{ matrix.python-version }}-${{ matrix.os }}-${{ github.head_ref || github.run_id }}
+      cancel-in-progress: true
+
+    steps:
+    - uses: actions/checkout@v4
+    - name: Set up Python ${{ matrix.python-version }}
+      uses: actions/setup-python@v4
+      with:
+        python-version: ${{ matrix.python-version }}
+    - name: Update pip
+      run: python -m pip install --upgrade pip
+    - name: Install dependencies
+      run: python -m pip install pyinstaller
+    - run: make standalone
+    - name: Upload standalone
+      uses: actions/upload-artifact@v3
+      with:
+        name: standalone
+        path: |
+          dist/coq-bug-minimizer/coq-bug-minimizer
+          dist/coq-import-inliner/coq-import-inliner
+          dist/coq-require-minimizer/coq-require-minimizer
+    - run: dist/coq-bug-minimizer/coq-bug-minimizer -h
+    - run: dist/coq-import-inliner/coq-import-inliner -h
+    - run: dist/coq-require-minimizer/coq-require-minimizer -h
+
+  standalone-check-all:
+    runs-on: ubuntu-latest
+    needs: build
+    if: always()
+    steps:
+    - run: echo 'The triggering workflow passed'
+      if: ${{ needs.build.result == 'success' }}
+    - run: echo 'The triggering workflow failed' && false
+      if: ${{ needs.build.result != 'success' }}