Add pagination to submission lists #993

	name: Webstandard (WCAG, W3C)
	on:
	merge_group:
	pull_request:
	branches:
	- main
	- '[0-9]+.[0-9]+'

	jobs:
	standards:
	runs-on: ubuntu-latest
	container:
	image: domjudge/gitlabci:24.04
	services:
	sqlserver:
	image: mariadb
	ports:
	- 3306:3306
	env:
	MYSQL_ROOT_PASSWORD: root
	MYSQL_USER: domjudge
	MYSQL_PASSWORD: domjudge
	options: --health-cmd="healthcheck.sh --connect --innodb_initialized" --health-interval=10s --health-timeout=5s --health-retries=3
	strategy:
	matrix:
	role: [public, team, balloon, jury, admin]
	test: [w3cval, WCAG2A, WCAG2AA]
	db: [bare-install, install]
	releaseBranch:
	- ${{ contains(github.ref, 'gh-readonly-queue') }}
	exclude:
	- releaseBranch: false
	- role: jury
	test: WCAG2AA
	- role: jury
	test: WCAG2A
	- role: admin
	test: WCAG2AA
	- role: admin
	test: WCAG2A
	include:
	- role: public
	test: WCAG2AA
	db: install
	- role: public
	test: w3cval
	db: install
	- role: admin
	test: w3cval
	db: install
	steps:
	- uses: actions/checkout@v4
	- name: Install DOMjudge
	run: .github/jobs/baseinstall.sh ${{ matrix.role }}
	- name: Run webstandard tests (W3C, WCAG)
	run: .github/jobs/webstandard.sh ${{ matrix.test }} ${{ matrix.role }}
	- name: Upload all logs/artifacts
	if: ${{ !cancelled() }}
	uses: actions/upload-artifact@v4
	with:
	name: ${{ matrix.role }}-${{ matrix.test }}-${{ matrix.db }}-logs
	path: \|
	/tmp/artifacts
	/var/log/nginx
	/opt/domjudge/domserver/webapp/var/log/*.log

Provide feedback