From ecf0b6bba23571bce93e83215dabf4c7f4e91ac3 Mon Sep 17 00:00:00 2001
From: Brendan Haines <brendan.haines@gmail.com>
Date: Thu, 28 Aug 2025 00:14:57 -0600
Subject: [PATCH] update github actions

---
 .github/workflows/build.yml | 44 +++++++++++++++++++++++--------------
 1 file changed, 28 insertions(+), 16 deletions(-)

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 89ed4de..8a9c337 100644
--- a/.github/workflows/build.yml
+++ b/.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
-        run: |
-          riscv64-unknown-elf-gcc --version
-      - name: Build
-        run: |
-          cd tests/test_basic
-          # ls -lah
-          # cat Makefile
-          # make test.hex
-          riscv64-unknown-elf-as -march=rv32i -mabi=ilp32 test.S -o test.o
+      - name: Build executables
+        uses: docker://runtimeverificationinc/riscv-gnu-toolchain:ubuntu-jammy-2024.04.12
+        with:
+          entrypoint: sh
+          args: |
+            -c "\
+            riscv64-unknown-elf-gcc --version && \
+            cd tests/test_basic && \
+            riscv64-unknown-elf-as -march=rv32i -mabi=ilp32 test.S -o test.o && \
+            echo "done" \
+            "