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 265cb9b891 - Show all commits

View File

@ -4,12 +4,17 @@
# against bad commits.
name: build
on: [push, pull_request]
on:
push:
branches: [ master, dev ]
pull_request_target:
branches: [ master, dev ]
jobs:
build:
strategy:
matrix:
matrix:-
java: [ '17' ]
# and run on both Linux and Windows
os: [ubuntu-latest, windows-2022]