Adapt CI to updated riscv64 dockerfile

13 jobs for riscv64 in 14 minutes and 31 seconds (queued for 1 second)