Use default Dockerfile name, don’t look for a label.

Jenkinsfile

@@ -1,10 +1,5 @@
 pipeline {
-    agent {
+    agent { dockerfile true }
-        dockerfile {
-            filename 'Dockerfile.build'
-            label 'crafting-interpreters-build'
-        }
-    }
 
     stages {
         stage('Build') {