fix: github ci generation

add mkdir and if check
This commit is contained in:
Jozef Steinhübl 2024-08-27 15:40:44 +02:00
parent b62cf10f1f
commit 00b74be500
No known key found for this signature in database
GPG key ID: E6BC90C91973B08F

View file

@ -33,10 +33,13 @@ void generate_github(char *buffer, size_t size, const char *repo_domain,
" runs-on: ubuntu-24.04\n" " runs-on: ubuntu-24.04\n"
" steps:\n" " steps:\n"
" - uses: actions/checkout@v4\n" " - uses: actions/checkout@v4\n"
" if: github.event_name != 'pull_request'\n"
" with:\n" " with:\n"
" fetch-depth: 0\n" " fetch-depth: 0\n"
" - run: |\n" " - if: github.event_name != 'pull_request'\n"
" set +x" " run: |\n"
" set +x\n\n"
" mkdir ~/.ssh -p"
" %s\n\n" " %s\n\n"
" set -x\n" " set -x\n"
" env:\n" " env:\n"