fix: delete_course supports per-lecture deletion, not only whole course #63

	name: Deploy Frontend

	on:
	push:
	branches: [main]
	paths: ['frontend/**']
	workflow_dispatch:
	inputs:
	branch:
	description: "Branch to deploy frontend from (e.g. main, dev)"
	required: true
	default: "main"
	type: string

	permissions:
	contents: read
	pages: write
	id-token: write

	concurrency:
	group: pages
	cancel-in-progress: false

	jobs:
	deploy:
	runs-on: ubuntu-latest
	environment:
	name: github-pages
	url: ${{ steps.deployment.outputs.page_url }}
	steps:
	# On manual dispatch we honour the ``branch`` input; for the auto
	# push trigger this resolves to '' and actions/checkout falls back
	# to the triggering ref (i.e. main per the push filter above).
	- uses: actions/checkout@v4
	with:
	ref: ${{ inputs.branch \|\| github.ref }}

	- name: Setup Pages
	uses: actions/configure-pages@v5

	- name: Upload artifact
	uses: actions/upload-pages-artifact@v3
	with:
	path: ./frontend

	- name: Deploy to GitHub Pages
	id: deployment
	uses: actions/deploy-pages@v4

Provide feedback