diff --git a/.github/workflows/ci-project.yml b/.github/workflows/ci-project.yml
index 7ad3c846..e1e8c219 100644
--- a/.github/workflows/ci-project.yml
+++ b/.github/workflows/ci-project.yml
@@ -47,6 +47,7 @@ jobs:
           - 'riscv64-generic-qemu'
           - 'riscv64-generic-spike'
           - 'sparcv8leon3-gr712rc-board'
+          - 'sparcv8leon3-gr716-mimas'
           - 'sparcv8leon3-gr716-mini'
         include:
           - target: 'ia32-generic-qemu'
diff --git a/.github/workflows/ci-submodule.yml b/.github/workflows/ci-submodule.yml
index 8d097b1d..7534bb8e 100644
--- a/.github/workflows/ci-submodule.yml
+++ b/.github/workflows/ci-submodule.yml
@@ -46,6 +46,7 @@ jobs:
           - 'riscv64-generic-qemu'
           - 'riscv64-generic-spike'
           - 'sparcv8leon3-gr712rc-board'
+          - 'sparcv8leon3-gr716-mimas'
           - 'sparcv8leon3-gr716-mini'
         include:
           - target: 'ia32-generic-qemu'