From 26db829d932c69e4cab90f0a0e5e51dd71a8395a Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Sat, 19 Nov 2022 14:20:03 -0500 Subject: [PATCH] Test perf-SuperFast on CI To prevent things like https://github.com/coq/coq/pull/16853 --- .github/workflows/coq.yml | 2 ++ .github/workflows/docker-coq.yml | 1 + 2 files changed, 3 insertions(+) diff --git a/.github/workflows/coq.yml b/.github/workflows/coq.yml index 237caa636..5156d3c90 100644 --- a/.github/workflows/coq.yml +++ b/.github/workflows/coq.yml @@ -53,6 +53,8 @@ jobs: submodules: recursive - 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 - 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 0f99cd634..766dab9d9 100644 --- a/.github/workflows/docker-coq.yml +++ b/.github/workflows/docker-coq.yml @@ -27,3 +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