File tree Expand file tree Collapse file tree 1 file changed +13
-0
lines changed
Expand file tree Collapse file tree 1 file changed +13
-0
lines changed Original file line number Diff line number Diff line change 55 push :
66 branches :
77 - development
8+ workflow_dispatch :
9+ inputs :
10+ reason :
11+ description : ' Reason for manual run'
12+ required : false
13+ default : ' Testing'
14+ add_watermark :
15+ description : ' Add "draft" watermark to PDF?'
16+ required : true
17+ type : boolean
18+ default : true
819
920concurrency :
1021 group : ${{ github.workflow }}-${{ github.ref }}
7182 export JAVA_TOOL_OPTIONS="-Djavax.xml.XMLConstants.FEATURE_SECURE_PROCESSING=false" ; \
7283 cd ${{ github.workspace }} ; perl build/build.pl
7384 - name : Add draft watermark to the PDF files
85+ # Runs if it's a push OR if the manual trigger 'add_watermark' is true
86+ if : github.event_name == 'push' || inputs.add_watermark == true
7487 run : |
7588 cd ${{ github.workspace }} ; fdfind -e pdf . 'out' -x watermark grid {} "draft"
7689 - name : Calculate the short commit ID
You can’t perform that action at this time.
0 commit comments