Fix typo in nightly jenkins configuration

CExA-project · Jul 21, 2023 · 1b863ef · 1b863ef
1 parent ada7d5b
commit 1b863ef
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.jenkins_nightly b/.jenkins_nightly
@@ -72,7 +72,7 @@ pipeline {
                 }   
                 stage('GCC-13') {
                     agent {
-                        dockerfile {
+                        docker {
                             image 'gcc:13.1'
                             label 'docker'
                         }