Gestion des barem #142
@@ -52,8 +52,10 @@ jobs:
|
|||||||
echo "JAVA_HOME=$JAVA_HOME" >> "$GITHUB_ENV"
|
echo "JAVA_HOME=$JAVA_HOME" >> "$GITHUB_ENV"
|
||||||
|
|
||||||
# 4) Checkout du dépôt
|
# 4) Checkout du dépôt
|
||||||
|
#- name: Checkout repository
|
||||||
|
# uses: https://gitea.com/actions/checkout@v4 #actions/checkout@v4
|
||||||
- name: Checkout repository
|
- name: Checkout repository
|
||||||
uses: https://gitea.com/actions/checkout@v4 #actions/checkout@v4
|
run: git clone ${{ gitea.server_url }}/${{ gitea.repository }} .
|
||||||
|
|
||||||
# 5) Création des secrets runtime (CI uniquement)
|
# 5) Création des secrets runtime (CI uniquement)
|
||||||
- name: Create runtime secrets
|
- name: Create runtime secrets
|
||||||
|
|||||||
Reference in New Issue
Block a user