From 8f163221eaac63ae5e4d71fe84e34d68c727899c Mon Sep 17 00:00:00 2001 From: Jon Eugster Date: Wed, 1 Nov 2023 05:48:09 +0000 Subject: [PATCH] fix: make CI-task "check for noisy stdout lines" more verbose. (#7868) linter warnings print the following messages to stdout: ``` stdout: ./././MyProject/MyFile.lean:19:53: warning: unused variable `x` [linter.unusedVariables] ./././MyProject/MyFile.lean:19:53: warning: unused variable `y` [linter.unusedVariables] ``` With this change, the CI would at least print the first line after `stdout:`, partially helping with debugging. --- .github/workflows/bors.yml | 2 +- .github/workflows/build.yml | 2 +- .github/workflows/build.yml.in | 2 +- .github/workflows/build_fork.yml | 2 +- 4 files changed, 4 insertions(+), 4 deletions(-) diff --git a/.github/workflows/bors.yml b/.github/workflows/bors.yml index 798070260732f..1445f42fcefef 100644 --- 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 index 67ac5564b1657..aa0743cccb046 100644 --- 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 index a7908e14b7c8c..3f38af34d832a 100644 --- 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 index b0bbee304f7ff..a65d2cab1d28a 100644 --- 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