Skip to content

Instantly share code, notes, and snippets.

@pdfrod
Created April 25, 2026 00:09
Show Gist options
  • Select an option

  • Save pdfrod/df3c3644e8a1d3f898cd7e3fd7230e2f to your computer and use it in GitHub Desktop.

Select an option

Save pdfrod/df3c3644e8a1d3f898cd7e3fd7230e2f to your computer and use it in GitHub Desktop.
Community Challenge with HaDes-V FAQ

Where do I start?

  1. Go to https://github.com/tscheipel/HaDes-V, click Use this template button and make a private repository (don't try to fork the repository because GitHub won't let you make it private).
  2. Give the following users read/write access to your repo:
  3. Read the Instruction Guide.
  4. Start working on the implementation and push to your repository's main branch.

I've pushed some code to my repository. Now what?

Now wait until the organizers accept your invitation. When they do, they will configure Persephone on your repository. Persephone is an automation that runs tests on your modules and gives them grades. The tests results are stored in a separate branch called persephone. Don't modify this branch; the persephone branch should only be touched by Persephone.

When will Persephone run?

There are many repositories to test and resources are limited, so it can take minutes to hours before Persephone is able to test your repository.

I've pushed a solution to the first exercise (cpu.sv) but Persephone didn't give it any grade

The first exercise is so simple that there aren't any automated tests for it. Persephone will run, but won't give it a grade.

I've forced pushed to my repository and now Persephone won't run

Persephone doesn't support force pushes, so never do a force push. If you've already force pushed, the only solution now might be to gently ask the organizers for help.

Persephone is only grading the initial stages; the later stages are not getting graded

That probably means you're still in the "bronze pool". Repositories on the "bronze pool" are only tested for the initial stages. Once you've cleared enough points in the initial stages, you will be eligible to be moved to the "silver pool" which tests more stages.

Moving to "silver pool" is a manual process. The organizers routinely check which repositories should graduate to the "silver pool", but sometimes it can take days, so be patient.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment