name: CI
on: push
jobs:
  build:
    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