Merge master into nightly-testing

leanprover-community · Nov 1, 2023 · 2653b14 · 2653b14
2 parents d9d972d + 8f16322
commit 2653b14
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 4 deletions.
diff --git a/.github/workflows/bors.yml b/.github/workflows/bors.yml
@@ -179,7 +179,7 @@ jobs:
 
       - name: check for noisy stdout lines
         run: |
-          ! grep "stdout:" stdout.log
+          ! grep --after-context=1 "stdout:" stdout.log
 
       - name: build library_search cache
         run: lake build -KCI MathlibExtras

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -185,7 +185,7 @@ jobs:
 
       - name: check for noisy stdout lines
         run: |
-          ! grep "stdout:" stdout.log
+          ! grep --after-context=1 "stdout:" stdout.log
 
       - name: build library_search cache
         run: lake build -KCI MathlibExtras

diff --git a/.github/workflows/build.yml.in b/.github/workflows/build.yml.in
@@ -165,7 +165,7 @@ jobs:
 
       - name: check for noisy stdout lines
         run: |
-          ! grep "stdout:" stdout.log
+          ! grep --after-context=1 "stdout:" stdout.log
 
       - name: build library_search cache
         run: lake build -KCI MathlibExtras

diff --git a/.github/workflows/build_fork.yml b/.github/workflows/build_fork.yml
@@ -183,7 +183,7 @@ jobs:
 
       - name: check for noisy stdout lines
         run: |
-          ! grep "stdout:" stdout.log
+          ! grep --after-context=1 "stdout:" stdout.log
 
       - name: build library_search cache
         run: lake build -KCI MathlibExtras