integrate the mlr3 dev vs release into the job name

Author: MalteKurz

.github/workflows/rcheck.yml

@@ -16,7 +16,7 @@ jobs:
   R-CMD-check:
     runs-on: ${{ matrix.config.os }}
 
-    name: ${{ matrix.config.os }} (${{ matrix.config.r }})
+    name: ${{ matrix.config.os }} (R ${{ matrix.config.r }}; mlr3 ${{ matrix.config.mlr3 }})
 
     strategy:
       fail-fast: false