From b665abdac13628dd3c751889dc01fdbe475b7b88 Mon Sep 17 00:00:00 2001
From: logicalmechanism <logical.mechanism@protonmail.com>
Date: Tue, 23 Jan 2024 16:44:45 -0800
Subject: [PATCH] putting aiken locally

---
 .github/workflows/aiken_check.yml | 13 ++++++++++---
 1 file changed, 10 insertions(+), 3 deletions(-)

diff --git a/.github/workflows/aiken_check.yml b/.github/workflows/aiken_check.yml
index 8417895..11106ca 100644
--- a/.github/workflows/aiken_check.yml
+++ b/.github/workflows/aiken_check.yml
@@ -10,8 +10,15 @@ jobs:
     - name: Checkout Repository
       uses: actions/checkout@v2
 
-    - name: Set execute permission on Aiken
-      run: chmod +x ./.github/workflows/aiken
+    - 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: ./.github/workflows/aiken check
+      run: aiken check