ci: Delete all old CI files

Part of #753
2026-05-26 20:49:55 +00:00 · 2025-04-15 10:25:49 +01:00
parent 4f9e9174e2
commit 35bffa5970
7 changed files with 0 additions and 1143 deletions
@@ -1,8 +0,0 @@
-
-<!-- Please describe your changes here -->
-
-----------------------------------------------------------------------------
-
- [ ] I ran `cargo fmt`, `cargo clippy`, and `cargo test`
- [ ] I agree to release my code and all other changes of this MR under the Apache-2.0 license
-
@@ -1,3 +0,0 @@
-# Docs: Map markdown to html files
- source: /docs/(.+)\.md/
-  public: '\1.html'