Merge branch 'main' into chore/remove-nix-support

Merge pull request 'fix(pr-template): adds an "Other" issue type' (#160 ) from fix/ci-pr-template into main
Reviewed-on: #160
2026-10-18 14:42:43 +02:00 · 2026-10-18 14:42:35 +02:00 · 2026-10-14 00:22:33 +02:00
1 changed files with 1 additions and 0 deletions
@@ -30,6 +30,7 @@ body:
        - Refactor / style
        - CI / build / tooling
        - Documentation
+        - Other (Describe in description box with header "Issue type")
    validations:
      required: true
Author	SHA1	Message	Date
zach	72ff6ad42a	Merge branch 'main' into chore/remove-nix-support C++ / fmt (pull_request) Failing after 4s Details C++ / build (pull_request) Failing after 10s Details C++ / clang-tidy (pull_request) Failing after 10s Details JS/TS / fmt (pull_request) Successful in 9s Details JS/TS / lint (pull_request) Successful in 9s Details Python / static (pull_request) Successful in 28s Details Rust / build (pull_request) Successful in 50s Details Python / verify (pull_request) Successful in 1m35s Details Rust / fmt (pull_request) Successful in 29s Details Rust / clippy (pull_request) Successful in 55s Details	2026-10-18 14:42:43 +02:00
zach	2a45740020	Merge pull request 'fix(pr-template): adds an "Other" issue type' (#160 ) from fix/ci-pr-template into main Reviewed-on: #160	2026-10-18 14:42:35 +02:00
AramJonghu	ae25f33fc8	fix(pr-template): adds an "Other" issue type C++ / fmt (pull_request) Failing after 5s Details C++ / build (pull_request) Failing after 10s Details C++ / clang-tidy (pull_request) Failing after 10s Details Rust / fmt (pull_request) Successful in 48s Details Rust / build (pull_request) Successful in 1m9s Details Rust / clippy (pull_request) Successful in 52s Details Python / static (pull_request) Successful in 55s Details JS/TS / fmt (pull_request) Successful in 11s Details JS/TS / lint (pull_request) Successful in 9s Details Python / verify (pull_request) Successful in 1m26s Details	2026-10-14 00:22:33 +02:00