Can we make Github tests pkgs/racket-test/tests/syntax somehow? Currently, it’s only tested by DrDr, which won’t run until a PR is merged into the repo.

A PR to add that test to the GitHub actions run would be welcome

Or I can look later today