simplify CI

.github/workflows/ci.yml

@@ -16,9 +16,7 @@ jobs:
           override: true
       - uses: actions-rs/cargo@v1
         with:
-          use-cross: true
           command: check
-          args: --target thumbv6m-none-eabi
 
   fmt:
     name: Rustfmt
@@ -50,9 +48,8 @@ jobs:
       - run: rustup component add clippy
       - uses: actions-rs/cargo@v1
         with:
-          use-cross: true
           command: clippy
-          args: --target thumbv6m-none-eabi -- -D warnings
+          args: -- -D warnings
 
   ci:
       if: ${{ success() }}

README.md

@@ -10,7 +10,7 @@ Voragos VA108xx series of Cortex-M0 based microcontrollers.
 The crate was generated using [`svd2rust`](https://github.com/rust-embedded/svd2rust).
 
 If you are interested in higher-level abstractions, it is recommended you visit
-the [`va108xx-hal` HAL crate](https://github.com/robamu-org/va108xx-hal-rs) and
+the [`va108xx-hal` HAL crate](https://egit.irs.uni-stuttgart.de/rust/va108xx-hal) and
 the [`vorago-reb1` BSP crate](https://github.com/robamu-org/vorago-reb1-rs) which build on top of
 this PAC and provide application examples as well.
 

automation/Jenkinsfile

@@ -24,7 +24,7 @@ pipeline {
                 sh 'cargo fmt'
             }
         }
-        stage('Build') {
+        stage('Check') {
             agent {
                 dockerfile {
                     dir 'automation'
@@ -32,7 +32,7 @@ pipeline {
                 }
             }
             steps {
-                sh 'cargo build'
+                sh 'cargo check --target thumbv6m-none-eabi'
             }
         }
     }