We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 4c02e58 commit 14b33c7Copy full SHA for 14b33c7
Jenkinsfile
@@ -40,7 +40,7 @@ pipeline {
40
)
41
42
// Set a timeout for the entire pipeline
43
- timeout(time: 2, unit: 'HOURS')
+ timeout(time: 3, unit: 'HOURS')
44
}
45
46
stages {
resources/docker/Dockerfile.linux
@@ -15,7 +15,7 @@ ARG USER_NAME=jenkins
15
ARG USER_UID
16
17
ENV DEBIAN_FRONTEND="noninteractive"
18
-ENV CONNEXTDDS_ARCH="x64Linux4gcc7.3.0"
+ENV CONNEXTDDS_ARCH="x64Linux4gcc8.5.0"
19
20
RUN apt-get update && apt-get install -y \
21
gcc \
0 commit comments