Skip to content

Add a dragon-runner page to the info site - #144

Merged
novo52 merged 4 commits into
masterfrom
info/dragon-runner
Sep 2, 2026
Merged

novo52 merged 4 commits into
masterfrom
info/dragon-runner

Conversation

@novo52

@novo52 novo52 commented Sep 1, 2026

Copy link
Copy Markdown
Contributor

Adds info/dragon_runner.rst: how to invoke the tester, what the result markers mean, how to write a .test file, the package/subpackage layout, and an annotated config.

In scope

  • New page, toctree entry, link from the testing page.

Out of scope

  • The setup pages' install instructions, and the grading modes (tournament, perf, memcheck), which are named but not documented.

@novo52
novo52 requested a review from rcunrau September 2, 2026 00:12
@novo52
novo52 merged commit 2eee23b into master Sep 2, 2026
1 check failed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants