You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
Repository navigation
Commit 05aaa8f
Browse filesBrowse the repository at this point in the historyBrowse files
MochiOS Team
committed
fix ci: match gpg key location with GNUPGHOME
key was generated at /github/home/.gnupg but build step used
GNUPGHOME=/root/.gnupg swapping both to /home/mochi/.mochios-gnupg
(which matches build.sh default) so the mochi user can actually
find the signing key
0 commit comments