Merge pull request #1450 from johndoe6345789/codex/create-jenkinsfile-for-project

Add Jenkins pipeline for CI checks

Jenkinsfile

@@ -0,0 +1,39 @@
+pipeline {
+  agent any
+
+  options {
+    timestamps()
+  }
+
+  stages {
+    stage('Checkout') {
+      steps {
+        checkout scm
+      }
+    }
+
+    stage('Install') {
+      steps {
+        sh 'npm ci'
+      }
+    }
+
+    stage('Lint') {
+      steps {
+        sh 'npm run lint'
+      }
+    }
+
+    stage('Typecheck') {
+      steps {
+        sh 'npm run typecheck'
+      }
+    }
+
+    stage('Test') {
+      steps {
+        sh 'npm test'
+      }
+    }
+  }
+}