CI: Bump Fedora from 30 to 31

merge-requests/230/head
Olaf Meeuwissen 2019-10-31 18:23:15 +09:00
rodzic e97112fa96
commit 1bd2dcc9c8
1 zmienionych plików z 2 dodań i 2 usunięć

Wyświetl plik

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