Блог

Я следовал документации по хостингу (Documenter.jl), чтобы развернуть документацию для пакета TSSOS Julia. Но я получил следующую ошибку в рабочем процессе (действия GitHub):

 Failed to add the RSA host key for IP address '140.82.112.3' to the list of known hosts (/home/runner/.ssh/known_hosts).
Load key "/home/runner/work/TSSOS/TSSOS/docs/.documenter": invalid format
git@github.com: Permission denied (publickey).
fatal: Could not read from remote repository.
 
Please make sure you have the correct access rights
and the repository exists.
┌ Error: Git failed to fetch git@github.com:wangjie212/TSSOS.git
│ This can be caused by a DOCUMENTER_KEY variable that is not correctly set up.
│ Make sure that the environment variable is properly set up as a Base64-encoded string
│ of the SSH private key. You may need to re-generate the keys with DocumenterTools.
└ @ Documenter ~/.julia/packages/Documenter/FuXcO/src/Documenter.jl:554
 

Есть идеи по устранению этой проблемы? Я использую систему Windows 10, и пара ключей была сгенерирована DocumenterTools.genkeys .

Ах, похоже, было использовано неправильное место для секретов. При вводе секретов есть два варианта: секреты среды и секреты хранилища. В новом интерфейсе github довольно сложно найти, где вы можете добавить секреты репозитория, но это все же возможно. Он settings/secrets включен, и сначала вам нужно создать среду. После того, как вы создадите среду, вы должны снова нажать secrets , и в середине интерфейса появится почти невидимая кнопка «Новый секрет репозитория». Вы должны поместить DOCUMENTER_KEY туда, и все будет работать гладко.