Release Workflow

2026-01-28 20:01:48 +01:00
parent 3aab541d9c
commit 9d7828a714
5 changed files with 15 additions and 0 deletions
--- a/.github.bak/pull_request_template.md
+++ b/.github.bak/pull_request_template.md
@@ -0,0 +1,9 @@
+#### Description
+
+Replace this text with a description of the PR.
+
+#### Additional information...
+
+- [ ] Have you run the test suite?
+  Many changes need to be tested. Please run the test suite
+  and include the output of ```cd test && ./problems```.