Merge branch 'ci-fedora-32' into 'master'

CI: Bump Fedora from 31 to 32

See merge request sane-project/backends!421
merge-requests/463/merge
Olaf Meeuwissen 2020-05-02 05:29:17 +00:00
commit a8ce7a99ce
1 zmienionych plików z 2 dodań i 2 usunięć

Wyświetl plik

@ -76,8 +76,8 @@ debian-10-full:
- doc/sanei-html
expire_in: 1 day
fedora-31-clang:
image: $REGISTRY_HUB:fedora-31-clang
fedora-32-clang:
image: $REGISTRY_HUB:fedora-32-clang
variables:
CONFIGURE_OPTS: "$CONFIGURE_MINI $CONFIGURE_FULL"
<<: *compile_definition