Skip to content
CodeQL

feat: rename prover CLI start command as proxy and make it default #7236

Sign in to view logs

feat: rename prover CLI start command as proxy and make it default

feat: rename prover CLI start command as proxy and make it default #7236

Triggered via pull request February 15, 2024 20:09
@jeluardjeluard
synchronize #6428
jeluard/prover-start-command
Status Success
Total duration 2m 13s
Artifacts –

codeql-analysis.yml

on: pull_request
Matrix: Analyze
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
Analyze (javascript)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: github/codeql-action/init@v2, github/codeql-action/autobuild@v2, github/codeql-action/analyze@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
Analyze (javascript)
CodeQL Action v2 will be deprecated on December 5th, 2024. Please update all occurrences of the CodeQL Action in your workflow files to v3. For more information, see https://github.blog/changelog/2024-01-12-code-scanning-deprecation-of-codeql-action-v2/