Skip to content

Make rocksdb configurable #540

Make rocksdb configurable

Make rocksdb configurable #540

Triggered via pull request August 21, 2023 19:59
Status Failure
Total duration 15m 26s
Artifacts

ci-pr.yml

on: pull_request
post-pipeline-metrics  /  metric-pipeline-result
6s
post-pipeline-metrics / metric-pipeline-result
Fit to window
Zoom out
Zoom in

Annotations

6 errors and 2 warnings
default / validate-protonet-genesis
fatal error: rocksdb/c.h: No such file or directory
default / validate-protonet-genesis
Process completed with exit code 2.
default / build
fatal error: rocksdb/c.h: No such file or directory
default / build
Process completed with exit code 2.
default / test
fatal error: rocksdb/c.h: No such file or directory
default / test
Process completed with exit code 2.
post-pipeline-metrics / metric-pipeline-result
The following actions uses node12 which is deprecated and will be forced to run on node16: aws-actions/configure-aws-credentials@v1, ros-tooling/[email protected]. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
post-pipeline-metrics / metric-pipeline-result
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/