File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 44 branches :
55 - main
66 - develop
7- # pull_request:
8- # release:
9- # types: [published]
7+ pull_request :
8+ release :
9+ types : [published]
1010
1111jobs :
1212 build :
1717 uses : ./.github/workflows/check.yml
1818
1919 publish :
20- # if: github.ref == 'refs/heads/main' || github.event_name == 'release'
20+ if : github.event_name == 'release'
2121 needs : check
2222 uses : ./.github/workflows/publish.yml
2323 secrets :
Original file line number Diff line number Diff line change 2828 rm -f *.md *.html
2929 mv ~/static/snapshot.html index.html
3030 mkdir content
31- cp -r index.html data media js content/
31+ cp -r index.html data media js css content/
3232
3333 - name : Extract & validate publishing metadata
3434 id : metadata
@@ -137,7 +137,7 @@ jobs:
137137 run : |
138138 mkdir -p docs.geostandaarden.nl/${{ steps.metadata.outputs.folderPath }}
139139 cp -r content/* docs.geostandaarden.nl/${{ steps.metadata.outputs.folderPath }}/
140- rm -r docs.geostandaarden.nl/${{ steps.metadata.outputs.folderPath }}/js
140+ rm docs.geostandaarden.nl/${{ steps.metadata.outputs.folderPath }}/js/config. js
141141 - name : Create PR
142142 uses : peter-evans/create-pull-request@v5
143143 with :
You can’t perform that action at this time.
0 commit comments