File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Load Diff This file was deleted.
Original file line number Diff line number Diff line change 1- name : Check Links
1+ nname : Build and Run Tests
22
33on :
4- workflow_run :
5- workflows : ["build"]
6- types :
7- - completed
4+ push : {}
5+ workflow_dispatch : {}
86
97jobs :
10- check-links :
8+ build :
119 runs-on : ubuntu-latest
12- if : ${{ github.event.workflow_run.conclusion == 'success' }}
10+ timeout-minutes : 30
1311 steps :
14- - name : Checkout code
15- uses : actions/checkout@v3
12+ - name : Checkout
13+ uses : actions/checkout@v4
14+ - uses : xu-cheng/texlive-action@v2
15+ with :
16+ scheme : full
17+ run : |
18+ apk add make
19+ apk add g++
20+ apk add zip
21+ make script zip
22+ - uses : actions/upload-artifact@v4
23+ with :
24+ name : PDF_Test
25+ path : vorkurs.pdf
1626
17- - name : Install pdfgrep
18- run : sudo apt-get update && sudo apt-get install -y pdfgrep
27+ check-links :
28+ runs-on : ubuntu-latest
29+ needs : build # This is crucial: check-links runs AFTER build
30+ steps :
31+ - name : Checkout code # Not strictly necessary, but good practice
32+ uses : actions/checkout@v4
1933
2034 - name : Download compiled PDF
21- uses : actions/download-artifact@v3
35+ uses : actions/download-artifact@v4
2236 with :
23- name : PDF
37+ name : PDF_Test
2438 path : .
2539
40+ - name : Install pdfgrep
41+ run : sudo apt-get update && sudo apt-get install -y pdfgrep
42+
2643 - name : Extract and Check URLs
2744 run : |
2845 # 1. Extract URLs using pdfgrep
3956
4057 # Explicitly check for HTTPS
4158 if [[ ! "$url" =~ ^https:// ]]; then
42- echo "ERROR: URL is not HTTPS: $url"
43- error_count=$((error_count+ 1))
59+ echo "ERROR: URL is not HTTPS: $url"
60+ error_count=$((error_count + 1))
4461 fi
4562 done
4663
You can’t perform that action at this time.
0 commit comments