Skip to content

Merge pull request #53 from pluots/string-to-box #185

Merge pull request #53 from pluots/string-to-box

Merge pull request #53 from pluots/string-to-box #185

Triggered via push October 17, 2023 10:27
Status Success
Total duration 3m 35s
Artifacts
clippy
32s
clippy
check minimum rustc version
22s
check minimum rustc version
formatting
32s
formatting
docs
58s
docs
book
20s
book
verify critical fixmes
3s
verify critical fixmes
Matrix: test
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
formatting
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
docs
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/