rename github job

pascal-huber · Feb 21, 2023 · 9b9d157 · 9b9d157
1 parent 5ba10a4
commit 9b9d157
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
@@ -5,7 +5,7 @@ on:
     tags:
       - 'v*'
 jobs:
-  build_latex:
+  build_and_deploy_latex:
     runs-on: ubuntu-latest
     steps:
       - name: Set up Git repository