CI: Fix ARCH=riscv was not tested

The 'make clean' command does not delete config files. This led to an
issue during testing with ARCH=riscv, where 'make' used the ARCH=arm
config because the config file already existed. Consequently, ARCH=arm
was tested twice while ARCH=riscv wasn't tested at all.

The fix involves changing 'make clean' to 'make distclean' to ensure
that ARCH=riscv undergoes complete testing.

Author: visitorckw

.github/workflows/main.yml

@@ -21,9 +21,9 @@ jobs:
           sudo apt-get install -q -y build-essential
           make clean config
           make check-snapshots || exit 1
-          make clean config ARCH=arm
+          make distclean config ARCH=arm
           make check || exit 1
-          make clean config ARCH=riscv
+          make distclean config ARCH=riscv
           make check || exit 1
 
   host-arm: