Skip to content

Commit

Permalink
feat: problem matchers for tests (#9552)
Browse files Browse the repository at this point in the history
Makes it a bit easier to see which test failed and where
  • Loading branch information
alexjbest committed Jan 25, 2024
1 parent d3da7bb commit c5ca57c
Show file tree
Hide file tree
Showing 4 changed files with 36 additions and 24 deletions.
15 changes: 9 additions & 6 deletions .github/workflows/bors.yml
Original file line number Diff line number Diff line change
Expand Up @@ -262,12 +262,15 @@ jobs:
lake exe shake
- name: test mathlib
id: test
run: |
# Tests use parts of ProofWidgets not imported by Mathlib.
# Ensure everything has been built.
lake build ProofWidgets
make -j 8 test
uses: liskin/gh-problem-matcher-wrap@v2
with:
linters: gcc
run: |
bash -o pipefail -c "
# Tests use parts of ProofWidgets not imported by Mathlib.
# Ensure everything has been built.
lake build ProofWidgets
make -j 8 test"
- name: lint mathlib
id: lint
Expand Down
15 changes: 9 additions & 6 deletions .github/workflows/build.yml
Original file line number Diff line number Diff line change
Expand Up @@ -269,12 +269,15 @@ jobs:
lake exe shake
- name: test mathlib
id: test
run: |
# Tests use parts of ProofWidgets not imported by Mathlib.
# Ensure everything has been built.
lake build ProofWidgets
make -j 8 test
uses: liskin/gh-problem-matcher-wrap@v2
with:
linters: gcc
run: |
bash -o pipefail -c "
# Tests use parts of ProofWidgets not imported by Mathlib.
# Ensure everything has been built.
lake build ProofWidgets
make -j 8 test"
- name: lint mathlib
id: lint
Expand Down
15 changes: 9 additions & 6 deletions .github/workflows/build.yml.in
Original file line number Diff line number Diff line change
Expand Up @@ -248,12 +248,15 @@ jobs:
lake exe shake

- name: test mathlib
id: test
run: |
# Tests use parts of ProofWidgets not imported by Mathlib.
# Ensure everything has been built.
lake build ProofWidgets
make -j 8 test
uses: liskin/gh-problem-matcher-wrap@v2
with:
linters: gcc
run: |
bash -o pipefail -c "
# Tests use parts of ProofWidgets not imported by Mathlib.
# Ensure everything has been built.
lake build ProofWidgets
make -j 8 test"

- name: lint mathlib
id: lint
Expand Down
15 changes: 9 additions & 6 deletions .github/workflows/build_fork.yml
Original file line number Diff line number Diff line change
Expand Up @@ -266,12 +266,15 @@ jobs:
lake exe shake
- name: test mathlib
id: test
run: |
# Tests use parts of ProofWidgets not imported by Mathlib.
# Ensure everything has been built.
lake build ProofWidgets
make -j 8 test
uses: liskin/gh-problem-matcher-wrap@v2
with:
linters: gcc
run: |
bash -o pipefail -c "
# Tests use parts of ProofWidgets not imported by Mathlib.
# Ensure everything has been built.
lake build ProofWidgets
make -j 8 test"
- name: lint mathlib
id: lint
Expand Down

0 comments on commit c5ca57c

Please sign in to comment.