Skip to content

Add dummy VSCode rust-analyzer config #507

Add dummy VSCode rust-analyzer config

Add dummy VSCode rust-analyzer config #507

Triggered via pull request September 20, 2024 21:07
Status Failure
Total duration 6m 11s
Artifacts

push.yaml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

1 error and 5 warnings
Check licenses
Action license-check failed.
Build docs
No push credentials found. Ignoring the 'useDaemon' option.
Check dependencies
No push credentials found. Ignoring the 'useDaemon' option.
Check source
No push credentials found. Ignoring the 'useDaemon' option.
Check Kani proofs
No push credentials found. Ignoring the 'useDaemon' option.
Run other tests
No push credentials found. Ignoring the 'useDaemon' option.