add core to CI

.github/workflows/all.yml

@@ -1,4 +1,4 @@
-name: Rust
+name: all
 
 on: [push, pull_request]
 
@@ -7,9 +7,7 @@ env:
 
 jobs:
   build:
-
     runs-on: ubuntu-latest
-
     steps:
     - uses: actions/checkout@8e5e7e5ab8b370d6c329ec480221332ada57f0ab
     - name: Run tests

.github/workflows/batcher.yml

@@ -1,4 +1,4 @@
-name: Rust
+name: batcher
 
 on: [push, pull_request]
 
@@ -7,9 +7,7 @@ env:
 
 jobs:
   build:
-
     runs-on: ubuntu-latest
-
     steps:
       - name: Checkout sources
         uses: actions/checkout@8e5e7e5ab8b370d6c329ec480221332ada57f0ab

.github/workflows/core.yml

@@ -0,0 +1,70 @@
+name: core
+
+on: [push, pull_request]
+
+env:
+  CARGO_TERM_COLOR: always
+
+jobs:
+  build:
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout sources
+        uses: actions/checkout@8e5e7e5ab8b370d6c329ec480221332ada57f0ab
+
+      - name: Install Rust toolchain
+        run: rustup default nightly
+
+      - name: Install cargo-hack
+        run: cargo install cargo-hack
+
+      - name: All
+        working-directory: ./core
+        run: cargo test --all-features
+
+      - name: Powerset
+        working-directory: ./core
+        run: cargo hack test --feature-powerset --lib
+
+      - name: Minimal versions
+        working-directory: ./core
+        run: cargo hack test --feature-powerset --lib -Z minimal-versions
+
+  embedded:
+    name: Build (embedded)
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout sources
+        uses: actions/checkout@8e5e7e5ab8b370d6c329ec480221332ada57f0ab
+
+      - name: Install Rust toolchain
+        run: |
+          rustup default nightly
+          rustup target add thumbv6m-none-eabi
+
+      - name: Install cargo-hack
+        run: cargo install cargo-hack
+
+      - name: Powerset
+        working-directory: ./core
+        run: cargo hack check --each-feature --exclude-features std,alloc,implicit_rt,implicit_internal_rt -Z avoid-dev-deps --target thumbv6m-none-eabi
+
+  miri:
+    name: Test (Miri)
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout sources
+        uses: actions/checkout@8e5e7e5ab8b370d6c329ec480221332ada57f0ab
+
+      - name: Install Miri
+        run: |
+          rustup toolchain install nightly --component miri
+          cargo +nightly miri setup
+
+      - name: Default features
+        working-directory: ./core
+        run: cargo +nightly miri test --lib
+
+      - name: No features
+        working-directory: ./core
+        run: cargo +nightly miri test --lib --no-default-features