Merge branch 'master' into assignment4

Jenkinsfile

@@ -1,5 +1,5 @@
 pipeline {
-    agent linux {
+    agent {label 'linux'}
     stages {
         stage('Build') {
             steps {
@@ -11,6 +11,7 @@ pipeline {
         // Testing latex isn't really a thing, but we could do basic sanity checks in the future?
 
         stage('Deploy') {
+            steps{
                 echo 'Starting deploy step...'
             }
         }