Repository navigation

ci/duplicates: Add PR check for duplicated content - #2076

Merged

marcleblanc2 merged 7 commits into

mainfrom

marc/dev/check-duplicates

Oct 30, 2026

Merged

ci/duplicates: Add PR check for duplicated content#2076
marcleblanc2 merged 7 commits into
mainfrom
marc/dev/check-duplicates

Commits on Oct 6, 2026
- ci/duplicates: Add duplicated content PR check
  
  marcleblanc2
  and
  ampagent
  committed
  7f14acb
- check-duplicates: report edited passages that were already duplicated
  
  marcleblanc2
  and
  ampagent
  committed
  f98c857
- vercel: skip the build for CI-only check scripts
  
  marcleblanc2
  and
  ampagent
  committed
  6ecae68
- vercel: the ignore script does not need a build either
  
  marcleblanc2
  and
  ampagent
  committed
  28453f3
Commits on Oct 27, 2026
- Merge branch 'main' into marc/dev/check-duplicates
  marcleblanc2
  authored
  816b5c1
Commits on Oct 29, 2026
- Merge branch 'main' into marc/dev/check-duplicates
  marcleblanc2
  authored
  a73c1ef
Commits on Oct 30, 2026
- Merge branch 'main' into marc/dev/check-duplicates
  marcleblanc2
  authored
  04f0d6f