Skip to content

DPL Analysis: enable cache without prefetching #21970

DPL Analysis: enable cache without prefetching

DPL Analysis: enable cache without prefetching #21970

Triggered via pull request October 11, 2024 08:38
@ktfktf
opened #13587
Status Success
Total duration 34s
Artifacts

code-formatting.yml

on: pull_request_target
PR formatting  /  clang-format
22s
PR formatting / clang-format
PR formatting  /  copyright headers
13s
PR formatting / copyright headers
PR formatting  /  line endings
24s
PR formatting / line endings
PR formatting  /  whitespace
13s
PR formatting / whitespace
PR formatting  /  pragma-once
6s
PR formatting / pragma-once
Fit to window
Zoom out
Zoom in

Annotations

5 warnings
PR formatting / pragma-once
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
PR formatting / whitespace
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
PR formatting / copyright headers
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
PR formatting / clang-format
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
PR formatting / line endings
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/