update HAL link

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'
             }
         }
     }