File tree Expand file tree Collapse file tree 1 file changed +2
-5
lines changed Expand file tree Collapse file tree 1 file changed +2
-5
lines changed Original file line number Diff line number Diff line change 8
8
push :
9
9
branches :
10
10
- master
11
- - 1811_mkdocs_documentation_website
12
- - pr0010
13
11
paths :
14
12
- docs/**
15
13
workflow_dispatch :
@@ -130,7 +128,7 @@ jobs:
130
128
run : |
131
129
echo "Mise à jour de l'URL de déploiement"
132
130
PR_BRANCH="${{ github.event.pull_request.head.ref }}"
133
- BASE_URL="https://titouvgx.github.io /tock/"
131
+ BASE_URL="https://doc.tock.ai /tock/"
134
132
NEW_URL="${BASE_URL}${PR_BRANCH}/"
135
133
echo "new_page_url=$NEW_URL" >> $GITHUB_OUTPUT
136
134
@@ -237,7 +235,6 @@ jobs:
237
235
238
236
if [ ! -d "$folder_path" ]; then
239
237
echo "❌ Aucun dossier trouvé pour la branche ${BRANCH_NAME} !"
240
- exit 1
241
238
else
242
239
rm -rf "$folder_path"
243
240
echo "✅ Dossier supprimé avec succès."
@@ -253,7 +250,7 @@ jobs:
253
250
- name : Deploy to GitHub Pages
254
251
id : deployment
255
252
uses : actions/deploy-pages@v4
256
-
253
+
257
254
- name : Post cleanup comment
258
255
uses : actions/github-script@v7
259
256
with :
You can’t perform that action at this time.
0 commit comments