This repository is an example of an extremely simple GatorGradle/GatorGrader
setup -- to extend it for your purposes, first use the "Use this template"
GitHub button to create a new repository for your assignment, then add checks
to config/gatorgrader.yml and/or actions to .github/workflows/main.yml.