Sessions: filter, monthly sums, paging (#8278)

This commit is contained in:
Michael Geers 2023-06-14 08:57:09 +02:00 • committed by GitHub
parent 10ba256787
commit e600d8dc71
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
16 changed files with 742 additions and 226 deletions

View file

@ -143,7 +143,7 @@ jobs:
integration:
name: Integration
runs-on: ubuntu-latest
if: ${{ github.event_name == 'push' }}
if: ${{ github.event_name == 'push' || github.event_name == 'pull_request' }}
steps:
- uses: actions/checkout@v3