aboutsummaryrefslogtreecommitdiff
path: root/.github
diff options
context:
space:
mode:
authorJeroen van Rijn <Kelimion@users.noreply.github.com>2021-09-07 13:31:12 +0200
committerJeroen van Rijn <Kelimion@users.noreply.github.com>2021-09-07 13:31:12 +0200
commit4db56830113197a920c7814aa679458badde2a29 (patch)
tree8684f991a0d6b562d681863d6bf58b79a1a82344 /.github
parentc4ec459d289efd85071e64aea01fe81c258c0a4f (diff)
big: CI print Python3 version.
Diffstat (limited to '.github')
-rw-r--r--.github/workflows/ci.yml1
1 files changed, 1 insertions, 0 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 71645d824..896877b4b 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -69,6 +69,7 @@ jobs:
run: |
call "C:\Program Files (x86)\Microsoft Visual Studio\2019\Enterprise\VC\Auxiliary\Build\vcvars64.bat
cd core\math\big\tests
+ python3 --version
call build.bat
timeout-minutes: 10