Merge pull request 'Gestion des barem' (#141) from features/crud_entites into develop
Reviewed-on: #141
This commit was merged in pull request #141.
This commit is contained in:
@@ -52,8 +52,10 @@ jobs:
|
||||
echo "JAVA_HOME=$JAVA_HOME" >> "$GITHUB_ENV"
|
||||
|
||||
# 4) Checkout du dépôt
|
||||
#- name: Checkout repository
|
||||
# uses: https://gitea.com/actions/checkout@v4 #actions/checkout@v4
|
||||
- name: Checkout repository
|
||||
uses: https://gitea.com/actions/checkout@v4 #actions/checkout@v4
|
||||
run: git clone ${{ gitea.server_url }}/${{ gitea.repository }} .
|
||||
|
||||
# 5) Informations de contexte (sans secrets)
|
||||
- name: Show context information
|
||||
|
||||
Reference in New Issue
Block a user