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 2ad62de9f7 - Show all commits

View File

@ -3,7 +3,7 @@
# certain platforms or Java versions, and provides a first line of defence # certain platforms or Java versions, and provides a first line of defence
# against bad commits. # against bad commits.
name: build name:
on: on:
push: push:
branches: [ master, dev ] branches: [ master, dev ]
@ -14,7 +14,7 @@ on:
jobs: jobs:
build: build:
strategy: strategy:
matrix:- matrix:
java: [ '17' ] java: [ '17' ]
# and run on both Linux and Windows # and run on both Linux and Windows
os: [ubuntu-latest, windows-2022] os: [ubuntu-latest, windows-2022]