Update aiken_check.yml

logical-mechanism · Jan 24, 2024 · 2f8edb7 · 2f8edb7
1 parent 47612b1
commit 2f8edb7
Showing 1 changed file with 3 additions and 10 deletions.
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/aiken
 
     - name: Run Aiken Check
-      run: aiken check
+      run: ./.github/aiken check