ros/tempo
1
0
Fork 0
mirror of https://github.com/CappielloAntonio/tempo.git synced 2026-01-30 06:12:07 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge remote-tracking branch 'origin/main'

Browse Source
This commit is contained in:
antonio
2023-08-16 22:42:37 +02:00
parent 635fdc4c5c cf463d8fa1
commit ca3da0839b
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
.github/workflows/github_release.yml vendored
View File

@@ -9,11 +9,11 @@ jobs:
setup:
runs-on: ubuntu-latest
steps:
- name: Setup JDK 8
- name: Setup JDK 17
uses: actions/setup-java@v3
with:
distribution: 'temurin'
java-version: 8
java-version: '17'
build:
needs: setup