diff --git a/.github/workflows/publish.yml b/.github/workflows/publish.yml index 29e8256..485cb25 100644 --- a/.github/workflows/publish.yml +++ b/.github/workflows/publish.yml @@ -1,6 +1,7 @@ name: Publish on: + pull_request: push: branches: - master diff --git a/toolchain.sh b/toolchain.sh index 05e70c8..56552aa 100755 --- a/toolchain.sh +++ b/toolchain.sh @@ -110,8 +110,8 @@ cmake ../../hermit/ \ -DTOOLCHAIN_BIN_DIR=$PREFIX/bin \ -DCMAKE_INSTALL_PREFIX=$PREFIX \ -DBOOTSTRAP=true -make hermit-bootstrap -make hermit-bootstrap-install +make hermit +make hermit_rs-install cd - fi