Merge pull request #341 from GraphBLAS/with_GraphBLAS_v10

github CI: use dev2 branch of GraphBLAS for dispatch-only arch-emu tests

Author: DrTimothyAldenDavis

.github/workflows/build-arch-emu.yaml

@@ -1,6 +1,8 @@
 name: arch-emu
 
-# this is done on workflow_dispatch only since it takes a very long time
+# this is done on workflow_dispatch only since it takes a very long time.
+# It also uses the latest GraphBLAS dev2 branch, so be sure that branch
+# is operational before running this test.
 on:
   workflow_dispatch:
 
@@ -18,7 +20,7 @@ jobs:
     strategy:
       matrix:
         config:
-         - {grb_version: 10.1.0}
+         - {grb_version: dev2}
         # For available CPU architectures, see:
         # https://github.com/marketplace/actions/setup-alpine-linux-environment
         arch: [riscv64]
@@ -70,7 +72,7 @@ jobs:
           gcc -dumpmachine
           git clone https://github.com/DrTimothyAldenDavis/GraphBLAS.git
           cd GraphBLAS
-          git checkout tags/v${{ matrix.config.grb_version }}
+          git checkout dev2
           make compact
           sudo make install
           cd ..