From c54ba0b34454848e83c4e461e9a1f3bbf258c47c Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Sat, 19 Nov 2022 19:11:28 -0500 Subject: [PATCH] Only test perf-Sanity, not perf-SuperFast --- .github/workflows/coq.yml | 2 +- .github/workflows/docker-coq.yml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/coq.yml b/.github/workflows/coq.yml index 5156d3c90..96713b4cf 100644 --- a/.github/workflows/coq.yml +++ b/.github/workflows/coq.yml @@ -54,7 +54,7 @@ jobs: - name: all run: etc/ci/github-actions-make.sh ${EXTRA_GH_REPORTIFY} -j2 all - name: perf-SuperFast - run: etc/ci/github-actions-make.sh ${EXTRA_GH_REPORTIFY} -j2 perf-SuperFast + run: etc/ci/github-actions-make.sh ${EXTRA_GH_REPORTIFY} -j2 perf-Sanity - name: display timing info run: cat time-of-build-pretty.log - name: display per-line timing info diff --git a/.github/workflows/docker-coq.yml b/.github/workflows/docker-coq.yml index 766dab9d9..9f06559f5 100644 --- a/.github/workflows/docker-coq.yml +++ b/.github/workflows/docker-coq.yml @@ -27,4 +27,4 @@ jobs: echo '::endgroup::' echo '::remove-matcher owner=coq-problem-matcher::' etc/ci/github-actions-make.sh --warnings -j2 all - etc/ci/github-actions-make.sh --warnings -j2 perf-SuperFast + etc/ci/github-actions-make.sh --warnings -j2 perf-Sanity