Fixing bors.toml

.github/bors.toml

@@ -2,9 +2,9 @@ block_labels = ["needs-decision"]
 delete_merged_branches = true
 required_approvals = 1
 status = [
-    "ci-linux (stable)",
-    "ci-linux (1.59.0)",
-    "build-other (macOS-latest)",
-    "build-other (windows-latest)",
-    "Rustfmt"
+    "build-riscv (stable%)",
+    "build-riscv (1.59.0%)",
+    "build-others (%)",
+    "clippy (stable%),
+    "rustfmt",
 ]

.github/workflows/ci.yaml → .github/workflows/build.yaml

@@ -4,11 +4,11 @@ on:
   pull_request:
   merge_group:
 
-name: Continuous integration
+name: Build check
 
 jobs:
   # We check that the crate builds and links for all the toolchains and targets.
-  ci-riscv:
+  build-riscv:
     strategy:
       matrix:
         # All generated code should be running on stable now, MRSV is 1.59.0
@@ -17,7 +17,7 @@ jobs:
           - riscv32i-unknown-none-elf
           - riscv32imc-unknown-none-elf
           - riscv32imac-unknown-none-elf
-          - riscv64gc-unknown-linux-gnu
+          - riscv64imac-unknown-none-elf
           - riscv64gc-unknown-none-elf
         cargo_flags: [ "--no-default-features", "--all-features" ]
         include:
@@ -36,7 +36,7 @@ jobs:
       run: cargo build --target ${{ matrix.target }} ${{ matrix.cargo_flags }}
       
   # On MacOS, Ubuntu, and Windows, we at least make sure that the crate builds and links.
-  ci-others:
+  build-others:
     strategy:
       matrix:
         os:

.github/workflows/clippy.yaml

@@ -4,14 +4,13 @@ on:
   pull_request:
   merge_group:
 
-name: Clippy lints
+name: Lints compliance check
 
 env:
   CLIPPY_PARAMS: -W clippy::all -W clippy::pedantic -W clippy::nursery -W clippy::cargo
 
 jobs:
   clippy:
-    name: Clippy
     strategy:
       matrix:
         toolchain: [ stable, nightly ]

.github/workflows/rustfmt.yaml

@@ -7,8 +7,7 @@ on:
 name: Code formatting check
 
 jobs:
-  fmt:
-    name: Rustfmt
+  rustfmt:
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v3