• build
  • build LaTeX document
  • clippy
  • Dependabot Updates
  • deploy github pages
  • pages-build-deployment
  • publish docker image
  • test
  • todo tracker