Skip to content
Code Checks

Making proof_trace_parser and llvm_rewrite_trace_iterator use a shared_ptr of kore_header #3245

Sign in to view logs

Making proof_trace_parser and llvm_rewrite_trace_iterator use a shared_ptr of kore_header

Making proof_trace_parser and llvm_rewrite_trace_iterator use a shared_ptr of kore_header #3245

Triggered via pull request October 11, 2024 19:03
@rv-jenkinsrv-jenkins
edited #1156
fix-parse-proof-iterator-issue
Status Failure
Total duration 14m 30s
Artifacts –

clang-format-check.yml

on: pull_request
Formatting Check
53s
Formatting Check
Shell check
7s
Shell check
Clang Tidy check
14m 25s
Clang Tidy check
Scala formatting check
40s
Scala formatting check
Fit to window
Zoom out
Zoom in

Annotations

2 errors and 1 warning
Formatting Check
Process completed with exit code 1.
Clang Tidy check
Process completed with exit code 1.
Scala formatting check
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/setup-java@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/