Initial commit

.ci/Jenkinsfile

@@ -0,0 +1,18 @@
+pipeline {
+    /* choose agents per stage */
+    agent none
+
+    stages {
+        stage('Build') {
+            agent {
+                docker {
+                    image 'gcc:latest'
+                    args '-v ${PWD}:/src -w /src'
+                }
+            }
+            steps {
+                sh 'gcc -o hello main.c'
+            }
+        }
+    }
+}

main.c

@@ -0,0 +1,10 @@
+/* main.c: does very important work */
+
+#include <stdio.h>
+
+int
+main(int argc, char *argv[])
+{
+    printf("Hello, CI!\n");
+    return 0;
+}