From 221b68de1a06c0833fb91e26f27721e8f928d45c Mon Sep 17 00:00:00 2001
From: Hendrik Tews
Date: Wed, 16 Dec 2020 23:21:39 +0100
Subject: ensure vo compilation for tests, increase parallelism, more config
 output

---
 .github/workflows/test.yml | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to '.github')

diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
index b6b5d226..15c8d3c7 100644
--- a/.github/workflows/test.yml
+++ b/.github/workflows/test.yml
@@ -133,6 +133,12 @@ jobs:
             sudo apt-get update -y -q
             sudo DEBIAN_FRONTEND=noninteractive apt-get install -y -q --no-install-recommends emacs
           endGroup
+          startGroup other relevant configuration
+            getconf _NPROCESSORS_ONLN
+            emacs --version
+            coqc --version
+            ocaml --version
+          endGroup
           startGroup Run tests
             sudo chown -R coq:coq ./ci
             make -C ci/compile-tests test
-- 
cgit v1.2.3