Skip to content

rename navigatable to navigable (#644) #1329

rename navigatable to navigable (#644)

rename navigatable to navigable (#644) #1329

Triggered via push October 25, 2024 21:34
Status Cancelled
Total duration 51s
Artifacts

ci.yml

on: push
Matrix: clippy
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

5 errors
Clippy on macos-latest
Canceling since a higher priority waiting request for 'refs/heads/main-CI' exists
Clippy on ubuntu-latest
Canceling since a higher priority waiting request for 'refs/heads/main-CI' exists
Clippy on ubuntu-latest
The operation was canceled.
Clippy on windows-latest
Canceling since a higher priority waiting request for 'refs/heads/main-CI' exists
Clippy on windows-latest
The operation was canceled.