Skip to content

Improve GitHub Actions workflow and add dev build tooling#2

Merged
mlp6 merged 1 commit into
mainfrom
improve-gh-actions-workflow
Feb 3, 2026
Merged

Improve GitHub Actions workflow and add dev build tooling#2
mlp6 merged 1 commit into
mainfrom
improve-gh-actions-workflow

Conversation

@mlp6
Copy link
Copy Markdown
Owner

@mlp6 mlp6 commented Feb 3, 2026

Summary

  • Modernize the GitHub Actions publish workflow: update to actions/checkout@v4, add concurrency control, separate render-only step for PRs vs publish for pushes to main, remove unnecessary apt dependencies
  • Add execute: freeze: auto to _quarto.yml for future compute caching
  • Add a dev Quarto profile (_quarto-dev.yml) that renders HTML-only, skipping PDF/LaTeX
  • Enhance Makefile with per-section targets (make lectures, make labs, make resources), single-file rendering, make dev, and make preview

Test plan

  • Verify GitHub Actions workflow runs successfully on this PR
  • Run make dev locally to confirm HTML-only rendering
  • Run make lectures to confirm per-section rendering works
  • Merge and verify publish to GitHub Pages still works on push to main

🤖 Generated with Claude Code

…ders

Enable `execute: freeze: auto` so Quarto skips unchanged documents.
Add a `dev` profile (_quarto-dev.yml) for HTML-only rendering without
PDF/LaTeX. Enhance Makefile with per-section and per-file targets.

Co-Authored-By: Claude Opus 4.5 <noreply@anthropic.com>
@mlp6 mlp6 merged commit a5018b5 into main Feb 3, 2026
1 check passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant