Configure CI to run Mirage tests

This commit configures the CI to run `just test` on each PR for the main
branch.

.github/workflows/ci.yaml

@@ -0,0 +1,25 @@
+name: CI
+
+on:
+  push:
+    branches: [ "main", "ci" ]
+  pull_request:
+    branches: [ "main", "ci" ]
+
+env:
+  CARGO_TERM_COLOR: always
+
+jobs:
+  Mirage:
+    runs-on: ubuntu-22.04
+    env:
+      RUSTFLAGS: --deny warnings
+    steps:
+    - uses: actions/checkout@v4
+    - uses: extractions/setup-just@v1 # Install `just`
+    - name: Setup
+      run: just install-toolchain
+      run: rustup component list
+    - name: Test
+      run: just test
+

justfile

@@ -30,5 +30,12 @@ run-dbg:
 gdb:
 	rust-gdb {{mirage_elf}} -q -x "./config/setup.gdb"
 
+# Install the rust toolchain and required components
+install-toolchain:
+	rustup toolchain install $(cat rust-toolchain)
+	rustup component add rustc --toolchain "$(cat rust-toolchain)"
+	rustup component add rust-src --toolchain "$(cat rust-toolchain)"
+	rustup component add llvm-tools-preview --toolchain "$(cat rust-toolchain)"
+
 # The following line gives highlighting on vim
 # vim: set ft=make :

payloads/csr_ops/src/main.rs

@@ -46,7 +46,7 @@ fn test_csr_op(regs: &[(usize, usize, usize)]) {
         check_csrrs(*in_rs1, *in_csr, out_csr, out_rd);
     }
     // CSRRWI
-    for (in_rd, in_rs1, in_csr) in regs {
+    for (in_rd, _, in_csr) in regs {
         let (out_csr, out_rd) = unsafe { csrrwi(*in_csr, *in_rd) };
         check_csrrwi(*in_csr, out_csr, out_rd);
     }

runner/src/main.rs

@@ -121,8 +121,12 @@ fn objcopy(target: &Target) -> PathBuf {
         .arg(elf_path)
         .arg(&bin_path);
 
-    if !objopy_cmd.status().unwrap().success() {
-        panic!("objcopy failed - is `rust-objcopy` installed? Try installing with `rustup component add llvm-tools`");
+    if !objopy_cmd
+        .status()
+        .expect("objcopy failed. Is `rust-objcopy` installed?")
+        .success()
+    {
+        panic!("objcopy failed");
     }
 
     bin_path

rust-toolchain

@@ -0,0 +1 @@
+nightly-2023-12-22