File tree 2 files changed +5
-5
lines changed
2 files changed +5
-5
lines changed Original file line number Diff line number Diff line change 11
11
12
12
jobs :
13
13
include :
14
- - name : " Fedora 30"
15
- script : ./.travis/travis-fedora.sh
16
14
- name : " Fedora 31"
17
15
script : ./.travis/travis-fedora.sh
16
+ - name : " Fedora 32"
17
+ script : ./.travis/travis-fedora.sh
18
18
- name : " Fedora rawhide"
19
19
script : ./.travis/travis-fedora.sh
20
20
- name : " CentOS 7"
21
21
script : ./.travis/travis-centos7.sh
22
-
Original file line number Diff line number Diff line change @@ -30,8 +30,9 @@ sed -e "s/@RELEASE@/$release/" $SCRIPT_DIR/fedora/Dockerfile.tmpl > $SCRIPT_DIR/
30
30
sudo docker build -f $SCRIPT_DIR /fedora/Dockerfile.deps.$release -t sgallagher/sscg-deps-$release .
31
31
sudo docker build -f $SCRIPT_DIR /fedora/Dockerfile-$release -t sgallagher/sscg:$release --build-arg TARBALL=$TARBALL .
32
32
33
- if [ $release != " rawhide" ]; then
34
- # Only run Coverity scan on Rawhide since we have a limited number of scans per week.
33
+ if [ $release != " 31" ]; then
34
+ # Only run Coverity scan on one release since we have a limited number of scans per week.
35
+ # Currently, Coverity doesn't support recent GCC, so we need to use older Fedora.
35
36
unset COVERITY_SCAN_TOKEN
36
37
fi
37
38
You can’t perform that action at this time.
0 commit comments