build: fix workflow

.github/workflows/release.yaml

@@ -17,22 +17,23 @@ jobs:
         uses: actions/checkout@v2
 
       - name: Set up GraalVM
-        uses: DeLaGuardo/setup-graalvm@v4
+        uses: graalvm/setup-graalvm@v1
         with:
           version: 'latest'
           java-version: '21'
 
-      - name: Install Native Image tool
-        run: gu install native-image
-
       - name: Build jar with Gradle
-        run: ./gradlew build
+        run: |
+          cd tahini
+          ./gradlew build
 
       - name: Compile native image
-        run: native-image -jar app/build/libs/tahini.jar tahini
+        run: |
+          cd tahini
+          native-image -jar app/build/libs/app.jar tahini
 
       - name: Upload binary
-        uses: actions/upload-artifact@v2
+        uses: actions/upload-artifact@v4
         with:
           name: tahini-${{ matrix.os }}
           path: tahini*
@@ -41,6 +42,11 @@ jobs:
     needs: build
     runs-on: ubuntu-latest
     steps:
+      - name: List files in workspace
+        run: |
+          echo "Current directory: $(pwd)"
+          echo "Listing files:"
+          ls -al
       - name: Create Release
         uses: softprops/action-gh-release@v1
         with:
@@ -49,4 +55,4 @@ jobs:
             tahini-macos-latest
             tahini-windows-latest.exe
         env:
-          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+          GITHUB_TOKEN: ${{ secrets.PAT_TOKEN }}

README.md

@@ -121,6 +121,8 @@ java -jar app/build/libs/app.jar "../test.tah"
 
 ### Variables
 
+All variables in Tahini are dynamically typed, and you can declare them using the `var` keyword. Variables can be reassigned, and their scope is determined by the block in which they are declared.
+
 ```
 var a = "global a";
 {

test.tah

@@ -1,5 +1,7 @@
 // Fibonacci function
-fun fib(n) {
+fun fib(n)
+precondition: n >= 0
+{
   if (n <= 1) return n;
   return fib(n - 2) + fib(n - 1);
 }
@@ -17,10 +19,3 @@ test "checking this out" {
   assertion: fib(4) == 3;
   assertion: fib(5) == 5;
 }
-
-// Test block that should fail
-test "this should fail" {
-  assertion: fib(0) == 0;
-  assertion: fib(2) == 1222; // This will fail
-  assertion: fib(3) == 2;
-}