risc vs risc64...

Author: ppannuto

.github/workflows/ci.yml

@@ -56,7 +56,7 @@ jobs:
       - name: report-toolchain-versions
         run: |
           arm-none-eabi-gcc --version
-          riscv64-none-elf-gcc --version
+          riscv-none-elf-gcc --version
       ###########################################
       # libtock-c specific build steps begin here
       - uses: actions/checkout@v2