chore: create Jenkinsfile (#27)

multiformats · May 30, 2018 · 2462fdf · 2462fdf
1 parent 274bef7
commit 2462fdf
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/ci/Jenkinsfile b/ci/Jenkinsfile
@@ -0,0 +1,2 @@
+// Warning: This file is automatically synced from https://github.com/ipfs/ci-sync so if you want to change it, please change it there and ask someone to sync all repositories.
+javascript()