From ff88a8327b260d10d45b732831135a1f95439a37 Mon Sep 17 00:00:00 2001
From: howardwu <howardwu@berkeley.edu>
Date: Mon, 3 Aug 2020 21:00:57 -0700
Subject: [PATCH] Adds leo.yml

---
 .github/workflows/leo.yml | 47 +++++++++++++++++++++++++++++++++++++++
 1 file changed, 47 insertions(+)
 create mode 100644 .github/workflows/leo.yml

diff --git a/.github/workflows/leo.yml b/.github/workflows/leo.yml
new file mode 100644
index 0000000000..d28d5a3a84
--- /dev/null
+++ b/.github/workflows/leo.yml
@@ -0,0 +1,47 @@
+name: Leo Programs
+on:
+  pull_request:
+  push:
+    branches:
+      - master
+env:
+  RUST_BACKTRACE: 1
+
+jobs:
+  new:
+    name: Hello Leo
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v1
+
+      - name: Load snarkOS
+        run: |
+          mkdir ~/.ssh
+          echo "${{ secrets.SNARKOS_DEPLOY_KEY }}" > ~/.ssh/id_rsa
+          chmod 600 ~/.ssh/id_rsa
+          eval $(ssh-agent -s)
+          ssh-add -k ~/.ssh/id_rsa
+
+      - name: Install Rust
+        uses: actions-rs/toolchain@v1
+        with:
+          profile: minimal
+          toolchain: nightly
+          override: true
+          components: rustfmt
+
+      - name: Install Leo
+        uses: actions-rs/cargo@v1
+        env:
+          CARGO_NET_GIT_FETCH_WITH_CLI: true
+        with:
+          command: install
+          args: --path .
+
+      - name: 'leo new'
+        run: |
+          cd ..
+          leo new hello_world
+          cd hello_world
+          leo run