Merge branch 'master' into assignment4

Jenkinsfile

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