Add relevant GitHub repository topics for SimCorrect#4

Closed

Copilot wants to merge 1 commit into

mainfrom

copilot/add-relevant-tags

Commits on Apr 10, 2026

chore: add GitHub Actions workflow to set repository topics

Copilot
and
deanhu0822
authored