Merge pull request #65 from logicalmechanism/logicalmechanism-patch-2

Create aiken_check.yml

.github/workflows/aiken_check.yml

@@ -0,0 +1,24 @@
+name: Aiken Check Workflow
+
+on: [push]
+
+jobs:
+  aiken_check:
+    runs-on: ubuntu-latest
+
+    steps:
+    - name: Checkout Repository
+      uses: actions/checkout@v2
+
+    - name: Install Rust
+      uses: actions-rs/toolchain@v1
+      with:
+        toolchain: stable
+        profile: minimal
+        override: true
+
+    - name: Install Aiken from GitHub Source
+      run: cargo install --git https://github.com/aiken-lang/aiken.git
+
+    - name: Run Aiken Check
+      run: aiken check