rebase dev to pagination #9

Merged
quentinlegot merged 17 commits from dev into pagination 2023-03-21 09:38:15 +01:00
Showing only changes of commit 9237dc565e - Show all commits

View File

@ -4,24 +4,25 @@
# against bad commits. # against bad commits.
name: build name: build
on: [pull_request, push] on: [push, pull_request]
jobs: jobs:
build: build:
strategy: strategy:
matrix: matrix:
java: [ '17' ]
# and run on both Linux and Windows # and run on both Linux and Windows
os: [ubuntu-latest] os: [ubuntu-latest, windows-2022]
runs-on: ${{ matrix.os }} runs-on: ${{ matrix.os }}
steps: steps:
- name: checkout repository - name: checkout repository
uses: actions/checkout@v3 uses: actions/checkout@v3
- name: validate gradle wrapper - name: validate gradle wrapper
uses: https://github.com/gradle/wrapper-validation-action@v1 uses: https://github.com/gradle/wrapper-validation-action@v1
- name: setup jdk 17 - name: setup jdk ${{ matrix.Java }}
uses: setup-java@v3 uses: setup-java@v3
with: with:
java-version: 17 java-version: ${{ matrix.java }}
distribution: 'oracle' distribution: 'oracle'
- name: make gradle wrapper executable - name: make gradle wrapper executable
if: ${{ runner.os != 'Windows' }} if: ${{ runner.os != 'Windows' }}