Possibility to use pre-running code-server instead of starting a new one #81

	name: CI
	on: [push, pull_request]

	# Automatically stop old builds on the same branch/PR
	concurrency:
	group: ${{ github.workflow }}-${{ github.ref }}
	cancel-in-progress: true

	defaults:
	run:
	shell: bash -el {0}

	jobs:
	pre-commit-checks:
	name: "Linux - pre-commit checks - Python 3.10"
	timeout-minutes: 30
	runs-on: ubuntu-latest
	env:
	PRE_COMMIT_USE_MICROMAMBA: 1
	steps:
	- name: Checkout branch
	uses: actions/checkout@v4
	- name: Set up micromamba
	uses: mamba-org/setup-micromamba@ab6bf8bf7403e8023a094abeec19d6753bdc143e
	- name: Add micromamba to GITHUB_PATH
	run: echo "${HOME}/micromamba-bin" >> "$GITHUB_PATH"
	- name: Install Python 3.10
	uses: actions/setup-python@v5
	with:
	python-version: "3.10"
	- name: Run pre-commit checks
	uses: pre-commit/[email protected]

Provide feedback