Merge branch 'master' of github.com:yegor256/ppa

yegor256 · Jan 20, 2025 · 41eb210 · 41eb210
2 parents 81a4230 + af095de
commit 41eb210
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.github/workflows/copyrights.yml b/.github/workflows/copyrights.yml
@@ -33,7 +33,7 @@ jobs:
     runs-on: ubuntu-24.04
     steps:
       - uses: actions/checkout@v4
-      - uses: yegor256/copyrights-action@0.0.5
+      - uses: yegor256/copyrights-action@0.0.8
         with:
           ignore: >-
             09-model-checking/jpf/Race.java
diff --git a/.github/workflows/latexmk.yml b/.github/workflows/latexmk.yml
@@ -39,7 +39,7 @@ jobs:
         with:
           cmd: make
           depends: lecture-notes/DEPENDS.txt
-      - uses: JamesIves/github-pages-deploy-action@v4.6.8
+      - uses: JamesIves/github-pages-deploy-action@v4.7.2
         with:
           branch: gh-pages
           folder: package