Run runpipe tests

Merge branch '8.3.1.1' into domjudge_ds #3

Sign in to view logs

Summary
Jobs
- runpipe
Run details
- Usage
- Workflow file

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
runpipe	1m 29s
	1m 29s