publish kernel

purduesigbots · Apr 29, 2024 · dadbde5 · dadbde5
1 parent 3cd09b7
commit dadbde5
Show file tree

Hide file tree

Showing 2 changed files with 18 additions and 1 deletion.
diff --git a/pros-branchline.json b/pros-branchline.json
@@ -1 +1,9 @@
-[]
+[
+  {
+    "metadata": {
+      "versions": "pros-branchline/templates/kernel.json"
+    },
+    "name": "kernel",
+    "target": "v5"
+  }
+]
diff --git a/templates/kernel.json b/templates/kernel.json
@@ -0,0 +1,9 @@
+[
+  {
+    "metadata": {
+      "location": "https://pros.cs.purdue.edu/v5/_static/branchline/kernel/[email protected]"
+    },
+    "version": "3.8.2",
+    "supported_kernels": "null"
+  }
+]