putting aiken locally

logical-mechanism · Jan 24, 2024 · bde7e49 · bde7e49
1 parent 32efe75
commit bde7e49
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 10 deletions.
diff --git a/.github/workflows/aiken b/.github/workflows/aiken
diff --git a/.github/workflows/aiken_check.yml b/.github/workflows/aiken_check.yml
@@ -10,15 +10,8 @@ jobs:
     - 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: Set execute permission on Aiken
+      run: chmod +x ./.github/workflows/aiken
 
     - name: Run Aiken Check
-      run: aiken check
+      run: ./.github/workflows/aiken check