Merge branch 'master' into master

DrJingLee · Sep 19, 2023 · 5331be3 · 5331be3
2 parents d5a580e + ebcc779
commit 5331be3
Show file tree

Hide file tree

Showing 5 changed files with 5,436 additions and 2 deletions.
diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
@@ -14,7 +14,7 @@ defaults:
 
 env:
   RUSTFLAGS: --deny warnings
-  LANGUAGES: zh ja
+  LANGUAGES: es zh ja
 
 jobs:
   docs:

diff --git a/bin/forbid b/bin/forbid
@@ -7,6 +7,7 @@ which rg > /dev/null
 ! rg \
   --glob '!bin/forbid' \
   --glob '!docs/src/bounty/frequency.tsv' \
+  --glob '!docs/po/*' \
   --ignore-case \
   'dbg!|fixme|todo|xxx' \
   .
-Original file line number
+Diff line change
@@ Expand Up / @@ -14,7 +14,7 @@ defaults: @@
     env:
       RUSTFLAGS: --deny warnings
-      LANGUAGES: zh ja
+      LANGUAGES: es zh ja
     jobs:
       docs:
@@ Expand Down @@