Aufgrund einer Wartung wird GitLab am 17.08. zwischen 8:30 und 9:00 Uhr kurzzeitig nicht zur Verfügung stehen. / Due to maintenance, GitLab will be temporarily unavailable on 17.08. between 8:30 and 9:00 am.

Commit 29f938c1 authored by Nicola Gatto's avatar Nicola Gatto

Force mvn repository update

parent 095a61c4
Pipeline #144420 failed with stages
in 30 seconds
......@@ -58,7 +58,7 @@ integrationGluonJobLinux:
stage: windows
- mvn -B clean install --settings settings.xml -Dtest="GenerationTest,SymtabTest"
- mvn -U -B clean install --settings settings.xml -Dtest="GenerationTest,SymtabTest"
- Windows10
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment