Add files via upload #22

	name: Run mk.py Script

	on:
	push:
	branches:
	- main # or master, depending on your default branch name
	pull_request:
	types:
	- closed
	workflow_dispatch: # Allows manual triggering

	jobs:
	run-script:
	runs-on: ubuntu-latest
	if: github.event_name != 'pull_request' \|\| github.event.pull_request.merged == true

	steps:
	- name: Checkout repository
	uses: actions/checkout@v4

	- name: Set up Python
	uses: actions/setup-python@v4
	with:
	python-version: "3.x" # Specify your Python version if needed

	- name: Run mk.py
	run: python mk.py

	- name: Commit and push changes
	run: \|
	git config --local user.email "github-actions[bot]@users.noreply.github.com"
	git config --local user.name "github-actions[bot]"
	git add docs/ index.md
	git commit -m "Auto-generate course files" \|\| exit 0
	git push

Provide feedback