Skip to content

Add the ability for Maps to cast to another case where the field names are different #8110

Add the ability for Maps to cast to another case where the field names are different

Add the ability for Maps to cast to another case where the field names are different #8110

Re-run triggered April 30, 2024 13:00
Status Success
Total duration 2m 39s
Artifacts 1

docs.yml

on: pull_request
Matrix: Rustdocs are clean
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
Rustdocs are clean (amd64, nightly)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/cache@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
Invalid file permissions automatically fixed
mode of 'target/doc/.lock' changed from 0600 (rw-------) to 0644 (rw-r--r--)

Artifacts

Produced during runtime
Name Size
crate-docs Expired
13.1 MB