We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
fatal: unsafe repository (REPO is owned by someone else)
submodules: recursive
#762 was insufficient to fix #760 in the case where the configuration file passes with: submodules: recursive. Submodules should be recursively added to the safe path. See, e.g., https://github.com/mit-plv/fiat-crypto/runs/6030918243?check_suite_focus=true
with: submodules: recursive
The text was updated successfully, but these errors were encountered:
Ah, sorry, I misread the error message I'm seeing. I guess this is a duplicate of #766.
Sorry, something went wrong.
Duplicate of #766
No branches or pull requests
#762 was insufficient to fix #760 in the case where the configuration file passes
with: submodules: recursive
. Submodules should be recursively added to the safe path. See, e.g., https://github.com/mit-plv/fiat-crypto/runs/6030918243?check_suite_focus=trueThe text was updated successfully, but these errors were encountered: