diff --git a/.github/workflows/BuildLecture.yml b/.github/workflows/BuildLecture.yml index 2306611..08ec9eb 100644 --- a/.github/workflows/BuildLecture.yml +++ b/.github/workflows/BuildLecture.yml @@ -3,6 +3,7 @@ on: push: paths: - lecture/** + - '**.tex' workflow_dispatch: jobs: