ci: add document lint changed

web-infra-dev · Jul 16, 2024 · ee5b944 · ee5b944
1 parent fa0e344
commit ee5b944
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -35,6 +35,7 @@ jobs:
     name: Check Source Changed
     outputs:
       changed: ${{ steps.filter.outputs.changed == 'true' }}
+      document_changed: ${{ steps.document_filter.outputs.changed == 'true' }}
     steps:
       - uses: actions/checkout@v4
       - uses: dorny/paths-filter@v3
@@ -46,6 +47,13 @@ jobs:
               - "!**/*.md"
               - "!**/*.mdx"
               - "!website/**"
+      - uses: dorny/paths-filter@v3
+        id: document_filter
+        with:
+          predicate-quantifier: "every"
+          filters: |
+            changed:
+              - "website/**"
 
   test-linux:
     name: Test Linux
@@ -193,6 +201,7 @@ jobs:
         run: |
           cd website
           pnpm install
+          npx @biomejs/biome check --diagnostic-level=warn
           pnpm run check:ci
 
   rust_changes:

diff --git a/website/theme/components/Benchmark/ProgressBar.tsx b/website/theme/components/Benchmark/ProgressBar.tsx
@@ -3,6 +3,8 @@ import { useState } from 'react';
 import styles from './ProgressBar.module.scss';
 import { useInView } from 'react-intersection-observer';
 
+console.log(111111);
+
 export function formatTime(time: number, totalTime: number) {
   if (totalTime < 1000) {
     return `${time.toFixed(0)}ms`;