Merge #392

392: CI: Use main branch of rusty-hermit r=mkroening a=mkroening Co-authored-by: Martin Kröning <mkroening@posteo.net>
hermit-os · Aug 16, 2022 · b875ef5 · b875ef5
2 parents 739f8c3 + e68d8aa
commit b875ef5
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 2 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -85,7 +85,6 @@ jobs:
       - uses: actions/checkout@v3
         with:
           repository: hermitcore/rusty-hermit
-          ref: entry-fix
           path: rusty-hermit
           submodules: true
       - name: Build rusty_demo

diff --git a/tests/test-kernels/Cargo.toml b/tests/test-kernels/Cargo.toml
@@ -6,4 +6,4 @@ edition = "2018"
 publish = false
 
 [target.'cfg(target_os = "hermit")'.dependencies]
-hermit-sys = { version = "0.3", git = "https://github.com/hermitcore/rusty-hermit", branch = "entry-fix" }
+hermit-sys = { version = "0.3", git = "https://github.com/hermitcore/rusty-hermit" }