Skip to content

Adjusts benchbin's args to have the same names as prover's args #8248

Adjusts benchbin's args to have the same names as prover's args

Adjusts benchbin's args to have the same names as prover's args #8248

Triggered via pull request November 7, 2024 15:05
Status Success
Total duration 16m 25s
Billable time 17m
Artifacts

codeql-analysis.yml

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

Annotations

10 errors and 4 warnings
Analyze (go)
Cannot open: File exists
Analyze (go)
Cannot open: File exists
Analyze (go)
Cannot open: File exists
Analyze (go)
Cannot open: File exists
Analyze (go)
Cannot open: File exists
Analyze (go)
Cannot open: File exists
Analyze (go)
Cannot open: File exists
Analyze (go)
Cannot open: File exists
Analyze (go)
Cannot open: File exists
Analyze (go)
Cannot open: File exists
Analyze (go)
The following actions use a deprecated Node.js version and will be forced to run on node20: github/codeql-action/init@v2, actions/setup-node@v3, actions/setup-go@v4, actions/cache@v3, github/codeql-action/analyze@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
Analyze (go)
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/
Analyze (go)
Expected `which go` to return /home/runner/work/_temp/codeql-action-go-tracing/bin/go, but got /opt/hostedtoolcache/go/1.23.2/x64/bin/go: please ensure that the correct version of Go is installed before the `codeql-action/init` Action is used.
Analyze (go)
Failed to restore: "/usr/bin/tar" failed with error: The process '/usr/bin/tar' failed with exit code 2