update github actions

.github/workflows/build.yml

@@ -1,22 +1,34 @@
-name: CI
+name: Build
+
 on: push
+
 jobs:
-  build:
+
+  # lint:
+  #   runs-on: ubuntu-latest
+  #   steps:
+  #   - uses: actions/checkout@master
+  #   - uses: chipsalliance/verible-linter-action@main
+  #     # with:
+  #       # paths: |
+  #       #   ./src
+  #       #   ./lib
+  #       #   ./tests
+  #       # extra_args: "--check_syntax=true"
+
+  test:
     name: Build C code
     runs-on: ubuntu-latest
-    container:
-      image: runtimeverificationinc/riscv-gnu-toolchain:ubuntu-jammy-2024.04.12
-      # volumes:
-      #   - my_docker_volume:/volume_mount
     steps:
       - uses: actions/checkout@v4
-      - name: Check for executables
+      - name: Build executables
-        run: |
+        uses: docker://runtimeverificationinc/riscv-gnu-toolchain:ubuntu-jammy-2024.04.12
-          riscv64-unknown-elf-gcc --version
+        with:
-      - name: Build
+          entrypoint: sh
-        run: |
+          args: |
-          cd tests/test_basic
+            -c "\
-          # ls -lah
+            riscv64-unknown-elf-gcc --version && \
-          # cat Makefile
+            cd tests/test_basic && \
-          # make test.hex
+            riscv64-unknown-elf-as -march=rv32i -mabi=ilp32 test.S -o test.o && \
-          riscv64-unknown-elf-as -march=rv32i -mabi=ilp32 test.S -o test.o
+            echo "done" \
+            "