From 462b5e1568956f1ade7cb0de0edb172672cfd3ac Mon Sep 17 00:00:00 2001
From: Lukas Burgholzer <burgholzer@me.com>
Date: Wed, 22 Jan 2025 13:39:46 +0100
Subject: [PATCH] =?UTF-8?q?=F0=9F=94=A5=20remove=20unused=20workflow=20for?=
 =?UTF-8?q?=20individual=20Python=20tests=20(#62)?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Signed-off-by: burgholzer <burgholzer@me.com>
---
 .../reusable-python-tests-individual.yml      | 67 -------------------
 1 file changed, 67 deletions(-)
 delete mode 100644 .github/workflows/reusable-python-tests-individual.yml

diff --git a/.github/workflows/reusable-python-tests-individual.yml b/.github/workflows/reusable-python-tests-individual.yml
deleted file mode 100644
index d62293d..0000000
--- a/.github/workflows/reusable-python-tests-individual.yml
+++ /dev/null
@@ -1,67 +0,0 @@
-name: 🐍 • Tests
-on:
-  workflow_call:
-    inputs:
-      runs-on:
-        description: "The platform to run the tests on"
-        required: true
-        type: string
-      python-version:
-        description: "The Python version to use"
-        required: true
-        type: string
-      setup-z3:
-        description: "Whether to set up Z3"
-        default: false
-        type: boolean
-      z3-version:
-        description: "The version of Z3 to set up"
-        default: "4.13.4"
-        type: string
-
-jobs:
-  python-tests:
-    name: 🐍 ${{ inputs.python-version }} ${{ inputs.runs-on }}
-    runs-on: ${{ inputs.runs-on }}
-    env:
-      FORCE_COLOR: 3
-      GITHUB_TOKEN: ${{ github.token }}
-    steps:
-      # check out the repository (including submodules and all history)
-      - uses: actions/checkout@v4
-        with:
-          submodules: recursive
-          fetch-depth: 0
-      # set up MSVC development environment (Windows only)
-      - uses: ilammy/msvc-dev-cmd@v1
-      # optionally set up Z3
-      - if: ${{ inputs.setup-z3 }}
-        name: Setup Z3
-        uses: cda-tum/setup-z3@v1
-        with:
-          version: ${{ inputs.z3-version }}
-      # set up ccache for faster C++ builds
-      - name: Setup ccache
-        uses: Chocobo1/setup-ccache-action@v1
-        with:
-          prepend_symlinks_to_path: false
-          windows_compile_environment: msvc
-          override_cache_key: python-tests-${{ inputs.runs-on }}-${{ inputs.python-version }}
-      # set up mold as linker for faster C++ builds (Linux only)
-      - name: Set up mold as linker (Linux only)
-        uses: rui314/setup-mold@v1
-      # set up uv for faster Python package management
-      - name: Install the latest version of uv
-        uses: astral-sh/setup-uv@v5
-      # run the nox minimums session (assumes a nox session named "minimums" exists) with coverage
-      - name: 🐍 Test with minimal versions
-        run: uvx nox -s minimums-${{ inputs.python-version }} --verbose -- --cov --cov-report=xml:coverage-${{ inputs.python-version }}-${{ inputs.runs-on }}.xml --cov-append
-      # run the nox tests session (assumes a nox session named "tests" exists) with coverage
-      - name: 🐍 Test
-        run: uvx nox -s tests-${{ inputs.python-version }} --verbose -- --cov --cov-report=xml:coverage-${{ inputs.python-version }}-${{ inputs.runs-on }}.xml --cov-append
-      # upload the report as an artifact to GitHub so that it can later be uploaded to Codecov
-      - name: Upload 🐍 coverage report for 🐍 ${{ inputs.python-version }} running ${{ inputs.runs-on }}
-        uses: actions/upload-artifact@v4
-        with:
-          name: coverage-${{ inputs.python-version }}-${{ inputs.runs-on }}
-          path: coverage-*