hiro/arb
1
0
Fork 0
mirror of https://github.com/vale981/arb synced 2025-03-04 08:51:40 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

.github/workflows/ci-sage.yml: Put e_antic build in TARGETS_OPTIONAL

Browse source
This commit is contained in:
Matthias Koeppe 2020-07-05 14:06:11 -07:00
parent 8c61cc56f4
commit 347c36f0a8
1 changed files with 5 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
.github/workflows/ci-sage.yml vendored
View file

@ -50,8 +50,8 @@ env:
SPKG: arb
# Sage distribution packages to build
TARGETS_PRE: build/make/Makefile
TARGETS: SAGE_CHECK=yes arb e_antic symengine
TARGETS_OPTIONAL: build/make/Makefile
TARGETS: SAGE_CHECK=yes arb symengine
TARGETS_OPTIONAL: SAGE_CHECK=warn e_antic
# Standard setting: Test the current beta release of Sage:
SAGE_REPO: sagemath/sage
SAGE_REF: develop
@ -163,6 +163,9 @@ jobs:
- name: make
run: |
C:\\tools\\cygwin\\bin\\bash -l -x -c 'export PATH=/usr/local/bin:/usr/bin && cd $(cygpath -u "$GITHUB_WORKSPACE") && make -k -w V=0 base-toolchain && make -k -w V=1 $TARGETS'
- name: make
run: |
C:\\tools\\cygwin\\bin\\bash -l -x -c 'export PATH=/usr/local/bin:/usr/bin && cd $(cygpath -u "$GITHUB_WORKSPACE") && make -k -w V=1 $TARGETS_OPTIONAL'
- name: Prepare logs artifact
shell: bash
run: |