Add workflow.

qu1x · Mar 24, 2024 · a1eae3a · a1eae3a
1 parent dd877d0
commit a1eae3a
Showing 1 changed file with 17 additions and 0 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -29,3 +29,20 @@ jobs:
       run: cargo doc
     - name: fmt
       run: cargo fmt --check
+  no-std:
+    runs-on: ubuntu-latest
+    steps:
+    - name: checkout
+      uses: actions/checkout@v4
+    - name: msrv
+      run: |
+        msrv=$(cargo metadata --no-deps --format-version 1 |
+          jq --raw-output '.packages[] | select(.name=="miniball") | .rust_version')
+        echo "MSRV=$msrv" >> $GITHUB_ENV
+    - name: toolchain
+      uses: dtolnay/rust-toolchain@master
+      with:
+        toolchain: ${{ env.MSRV }}
+        targets: thumbv6m-none-eabi
+    - name: check
+      run: cargo check --no-default-features