Check for modules that should use `prelude`

WIP: `blast_bv` tactic #41

Sign in to view logs

Workflow file for this run

.github/workflows/check-prelude.yml at 949c696

File not found

The workflow file could not be found.