diff --git a/.jenkins_nightly b/.jenkins_nightly
index d7c5f33ca3f..5d585817891 100644
--- a/.jenkins_nightly
+++ b/.jenkins_nightly
@@ -72,7 +72,7 @@ pipeline {
                 }   
                 stage('GCC-13') {
                     agent {
-                        dockerfile {
+                        docker {
                             image 'gcc:13.1'
                             label 'docker'
                         }