feat: add configuration file and enhance data processing with additio… #120

	name: CI and Mirror

	on:
	push:
	pull_request:
	workflow_dispatch:

	jobs:
	check-ruff-formatter:
	if: github.repository == 'OpenCz/Tardis'
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v6

	- name: Setup Python
	uses: actions/setup-python@v5
	with:
	python-version: "3.11"

	- name: Install quality tools
	run: \|
	python -m pip install --upgrade pip
	pip install ruff

	- name: Ruff format check
	run: \|
	ruff format --check tardis_dashboard.py

	- name: Ruff lint check
	run: \|
	ruff check tardis_dashboard.py

	- name: Python syntax check
	run: \|
	python -m compileall tardis_dashboard.py

	- name: Validate notebook JSON
	run: \|
	for nb in *.ipynb; do
	python -m json.tool "$nb" > /dev/null
	done

	mirror:
	needs: check-ruff-formatter
	if: github.event_name != 'pull_request' && github.repository == 'OpenCz/Tardis'
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v6
	with:
	fetch-depth: 0

	- name: Setup SSH
	run: \|
	mkdir -p ~/.ssh
	echo "${{ secrets.MIRROR_SSH_KEY }}" > ~/.ssh/id_ed25519
	chmod 600 ~/.ssh/id_ed25519
	ssh-keyscan github.com >> ~/.ssh/known_hosts

	- name: Test SSH connection
	run: \|
	ssh -T git@github.com \|\| true

	- name: Push mirror
	run: \|
	git push --mirror git@github.com:EpitechPGE1-2025/G-AIA-210-NCE-2-1-tardis-1.git

Navigation Menu