ci: remove stylua action & update PR template

chrisgrieser · Jun 1, 2024 · 8d5ab25 · 8d5ab25
1 parent e338393
commit 8d5ab25
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 16 deletions.
diff --git a/.github/PULL_REQUEST_TEMPLATE.md b/.github/PULL_REQUEST_TEMPLATE.md
@@ -0,0 +1,5 @@
+## Checklist
+- [ ] Used only camelCase variable names.
+- [ ] If functionality is added or modified, also made respective changes to the
+  `README.md` (the `.txt` file is auto-generated and does not need to be modified).
+- [ ] If a non-trivial PR, formatting via `stylua`.
diff --git a/.github/workflows/stylua.yml b/.github/workflows/stylua.yml