We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent ea9fae5 commit 8d25803Copy full SHA for 8d25803
Dockerfile
@@ -36,15 +36,7 @@ ARG github_token
36
37
# Install the CodeQL extension for GitHub CLI
38
RUN --mount=type=secret,id=github_token \
39
- if [ -f "/run/secrets/github_token" ]; then \
40
- export GITHUB_TOKEN=$(cat /run/secrets/github_token); \
41
- gh auth setup-git; \
42
- gh extensions install github/gh-codeql && \
43
- gh codeql install-stub; \
44
- else \
45
- echo "No GitHub token provided, using public access"; \
46
47
48
- fi
+ gh extensions install github/gh-codeql && \
+ gh codeql install-stub
49
50
ENTRYPOINT [ "codeql-extractor-action" ]
0 commit comments