add description to build the kernel with docker

.github/workflows/docker.yml

@@ -10,7 +10,7 @@ on:
 
 jobs:
   build:
-    name: Test
+    name: Tests
     runs-on: ubuntu-18.04 # linux required if you want to use docker
     container:
       image: registry.git.rwth-aachen.de/acs/public/hermitcore/hermitrust
@@ -62,6 +62,8 @@ jobs:
       - name: Integration Tests
         run:
           cargo test --tests --no-fail-fast -Z build-std=core,alloc --target x86_64-unknown-hermit-kernel -- --bootloader_path=../loader/target/x86_64-unknown-hermit-loader/debug/rusty-loader
+        working-directory: libhermit-rs
       - name: Integration Tests (smp)
         run:
           cargo test --tests --no-fail-fast -Z build-std=core,alloc --target x86_64-unknown-hermit-kernel -- --bootloader_path=../loader/target/x86_64-unknown-hermit-loader/debug/rusty-loader --num_cores 2
+        working-directory: libhermit-rs

.github/workflows/test.yml → .github/workflows/experimental.yml

@@ -1,4 +1,4 @@
-name: Build and test
+name: Tests (experimental)
 
 on:
   pull_request:
@@ -10,7 +10,7 @@ on:
 
 jobs:
   build:
-    name: Test
+    name: Tests (experimental)
     runs-on: ${{ matrix.os }}
     # these tests based on the nightly compiler, which can be broken
     # consequently, we continue on an error

.github/workflows/format.yml

@@ -10,7 +10,7 @@ on:
 
 jobs:
   check:
-    name: Test
+    name: Format check
     runs-on: ubuntu-latest
 
     strategy:

README.md

@@ -37,6 +37,15 @@ cargo build -Z build-std=core,alloc,panic_abort --target x86_64-unknown-hermit-k
 
 The resulting library then can be found in `target/x86_64-unknown-hermit-kernel/debug/libhermit.a`
 
+However, the Rust **nightly** toolchain is sometimes broken and doesn't work with `libhermit-rs`.
+We try to solve these issues as soon as possible.
+The latest version of a workable toolchain is always available as docker container.
+You can build `libhermit-rs` with Docker as follows:
+
+```sh
+docker pull registry.git.rwth-aachen.de/acs/public/hermitcore/hermitrust:latest
+docker run -v $PWD:/volume -e USER=$USER -w /volume --rm -t registry.git.rwth-aachen.de/acs/public/hermitcore/hermitrust cargo build -Z build-std=core,alloc,panic_abort --target x86_64-unknown-hermit-kernel
+```
 
 ### Control the kernel messages verbosity
 

bors.toml

@@ -1,6 +1,6 @@
 status = [
-  "Test (ubuntu-latest, nightly)",
-  "Test (windows-latest, nightly)",
+  "Tests",
+  "Format check (ubuntu-latest, nightly)",
   "continuous-integration/travis-ci/push"
 ]
 delete_merged_branches = true