Enable CI for Heph-inbox

.github/workflows/inbox.yml

@@ -12,17 +12,13 @@ on:
       - ".github/workflows/inbox.yml"
 permissions:
   contents: read
-defaults:
-  run:
-    working-directory: inbox
 env:
   CARGO_TERM_COLOR: always
   RUST_BACKTRACE: full
 jobs:
   Test:
     runs-on: ubuntu-latest
     timeout-minutes: 10
-    if: false # FIXME.
     # This often run too many iterations on CI, which is not a real error.
     continue-on-error: ${{ matrix.release == 'release' }}
     strategy:
@@ -34,21 +30,18 @@ jobs:
     - uses: ./.github/workflows/test
       with:
         test-flags: ${{ matrix.release }}
+        working-directory: inbox
   Miri:
     runs-on: ubuntu-latest
     timeout-minutes: 10
-    if: false # FIXME.
     steps:
     - uses: actions/checkout@v3
-    - uses: dtolnay/rust-toolchain@nightly
+    - uses: ./.github/workflows/test_miri
       with:
-        components: miri
-    - name: Run tests in Miri
-      run: cargo miri test
+        working-directory: inbox
   Sanitiser:
     runs-on: ubuntu-latest
     timeout-minutes: 10
-    if: false # FIXME.
     strategy:
       fail-fast: false
       matrix:
@@ -58,3 +51,4 @@ jobs:
     - uses: ./.github/workflows/test_sanitizer
       with:
         sanitizer: ${{ matrix.sanitiser }}
+        working-directory: inbox

.github/workflows/test/action.yml

@@ -4,10 +4,15 @@ inputs:
   test-flags:
     description: 'Additional flags to pass using TEST_FLAGS (see Makefile).'
     required: false
+  working-directory:
+    description: 'Working directory.'
+    required: true
 runs:
   using: 'composite'
   steps:
   - uses: dtolnay/rust-toolchain@nightly
   - name: Run tests
-    run: TEST_FLAGS="${{ inputs.test-flags }}" make test
     shell: bash
+    run: |
+      cd "${{ inputs.working-directory }}"
+      TEST_FLAGS="${{ inputs.test-flags }}" make test

.github/workflows/test_miri/action.yml

@@ -0,0 +1,20 @@
+name: 'Test with miri'
+description: 'Run tests using `make test_miri`.'
+inputs:
+  test-flags:
+    description: 'Additional flags to pass using TEST_FLAGS (see Makefile).'
+    required: false
+  working-directory:
+    description: 'Working directory.'
+    required: true
+runs:
+  using: 'composite'
+  steps:
+  - uses: dtolnay/rust-toolchain@nightly
+    with:
+      components: miri
+  - name: Run tests
+    shell: bash
+    run: |
+      cd "${{ inputs.working-directory }}"
+      TEST_FLAGS="${{ inputs.test-flags }}" make test_miri

.github/workflows/test_sanitizer/action.yml

@@ -1,15 +1,23 @@
 name: 'Test with sanitizer'
-description: 'Run tests using `make test`.'
+description: 'Run tests using `make test_sanitizer`.'
 inputs:
   sanitizer:
     description: 'Sanitizer to use.'
     required: true
+  test-flags:
+    description: 'Additional flags to pass using TEST_FLAGS (see Makefile).'
+    required: false
+  working-directory:
+    description: 'Working directory.'
+    required: true
 runs:
   using: 'composite'
   steps:
   - uses: dtolnay/rust-toolchain@nightly
     with:
       components: rust-src
   - name: Run tests with sanitiser
-    run: make test_sanitizer sanitizer="${{ inputs.sanitizer }}"
     shell: bash
+    run: |
+      cd "${{ inputs.working-directory }}"
+      TEST_FLAGS="${{ inputs.test-flags }}" make test_sanitizer sanitizer="${{ inputs.sanitizer }}"

Makefile.include

@@ -31,6 +31,10 @@ test_sanitizer:
 	RUSTDOCFLAGS=-Zsanitizer=$(sanitizer) RUSTFLAGS=-Zsanitizer=$(sanitizer) \
 	cargo test -Zbuild-std --all-features --target x86_64-unknown-linux-gnu $(TEST_FLAGS) $(TEST_OPTS)
 
+# TODO: add TEST_OPTS to this, currently this doesn't work with miri.
+test_miri:
+	cargo miri test --all-features $(TEST_FLAGS)
+
 check:
 	cargo check --all-features --all-targets