File tree Expand file tree Collapse file tree 1 file changed +4
-8
lines changed Expand file tree Collapse file tree 1 file changed +4
-8
lines changed Original file line number Diff line number Diff line change 19
19
paths :
20
20
- ' .github/workflows/ci-distro.yml'
21
21
- ' build/pkgs/**'
22
+ - ' build/make/**'
22
23
- ' configure.ac'
23
- - ' !build/pkgs/sage_docbuild/**'
24
- - ' !build/pkgs/sage_setup/**'
25
- - ' !build/pkgs/sage_sws2rst/**'
26
- - ' !build/pkgs/sagelib/**'
27
- - ' !build/pkgs/sagemath_*/**'
28
24
push :
29
25
tags :
30
26
- ' *'
34
30
env :
35
31
TARGETS_PRE : all-sage-local
36
32
TARGETS : build
37
- TARGETS_OPTIONAL : ptest
33
+ TARGETS_OPTIONAL : ptestlong
38
34
39
35
permissions :
40
36
packages : write
55
51
# FIXME: duplicated from env.TARGETS
56
52
targets_pre : all-sage-local
57
53
targets : build
58
- targets_optional : ptest
54
+ targets_optional : ptestlong
59
55
tox_system_factors : >-
60
56
["ubuntu-jammy"]
61
57
tox_packages_factors : >-
70
66
docker_targets : " with-system-packages configured with-targets-pre with-targets with-targets-optional"
71
67
targets_pre : all-sage-local
72
68
targets : build
73
- targets_optional : ptest
69
+ targets_optional : ptestlong
74
70
tox_packages_factors : >-
75
71
["standard"]
76
72
docker_push_repository : ghcr.io/${{ github.repository }}/
You can’t perform that action at this time.
0 commit comments