Build and autograde

Bump org.pitest:pitest-maven from 1.14.4 to 1.15.0 #779

Sign in to view logs

Summary
Jobs
- Build
Run details
- Usage
- Workflow file

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build	3m 20s
	3m 20s