Code

ci: don't try to push image on PRs#31

Code

Merged

mkroening merged 1 commit intohermit-os:masterhermit-os/hermit-gcc:masterfrom mkroening:pr-no-pushmkroening/hermit-toolchain:pr-no-pushCopy head branch name to clipboardJun 5, 2024

+2-1

Commits

Commits on Jun 5, 2024

• ci: don't try to push image on PRs

  Show description for 0a4269d
  mkroening

  committed
  0a4269d