Trying to fix report discord task #23

Merged
quentinlegot merged 10 commits from patch-report1 into dev 2023-07-26 23:46:29 +02:00
Showing only changes of commit 5630794fd1 - Show all commits

View File

@ -41,7 +41,11 @@ jobs:
#- name: test #- name: test
# run: ./gradlew test --no-daemon # run: ./gradlew test --no-daemon
deploy: deploy:
runs-on: ${{ ubuntu-latest }} strategy:
matrix:
java: [ '17' ]
os: [ ubuntu-latest ]
runs-on: ${{ matrix.os }}
if: gitea.ref == 'refs/heads/master' if: gitea.ref == 'refs/heads/master'
needs: build needs: build
steps: steps: