We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 9b77f9e commit 4d9def3Copy full SHA for 4d9def3
1 file changed
.github/workflows/build.yaml
@@ -27,12 +27,14 @@ jobs:
27
28
steps:
29
- name: Checkout
30
- uses: actions/checkout@v4
+ uses: actions/checkout@v6
31
+ with:
32
+ fetch-depth: 2
33
34
- name: Check for Docker changes
35
id: changes
36
run: |
- if git diff --name-only ${{ github.event.before }} ${{ github.sha }} | grep '^\.devcontainer/Dockerfile'; then
37
+ if git diff --name-only HEAD~1 HEAD | grep '^\.devcontainer/Dockerfile'; then
38
echo "changed=true" >> $GITHUB_OUTPUT
39
else
40
echo "changed=false" >> $GITHUB_OUTPUT
@@ -86,7 +88,7 @@ jobs:
86
88
87
89
90
91
92
93
- name: Run latexmk
94
0 commit comments