[ci] Add PR tag for dx12. (taichi-dev#5614)

ares201005 · Aug 3, 2022 · b9945ba · b9945ba
1 parent acd31fe
commit b9945ba
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/misc/prtags.json b/misc/prtags.json
@@ -14,6 +14,7 @@
   "opengl"          : "OpenGL backend",
   "vulkan"          : "Vulkan backend",
   "dx11"            : "DirectX 11 backend",
+  "dx12"            : "DirectX 12 backend",
   "spirv"           : "SPIR-V common codegen",
   "gfx"             : "Common graphics runtime",
   "wasm"            : "WebAssembly backend",