Skip to content

Rename *Url* symbols to *Path*. #1852

Rename *Url* symbols to *Path*.

Rename *Url* symbols to *Path*. #1852

Annotations

1 warning

Linux (wasm, false)

succeeded Mar 29, 2024 in 2m 9s
Set up job
3s
Initialize containers
28s
Install dependencies
1m 16s
Retrieve source code
0s
Compile source code
18s
Run automated tests
0s
Upload code coverage
0s
Post Retrieve source code
0s
Stop containers
1s
Complete job
0s