Skip to content

Replace uses of Poperty<File> with FileProperty in plugins #4869

Replace uses of Poperty<File> with FileProperty in plugins

Replace uses of Poperty<File> with FileProperty in plugins #4869

Triggered via pull request November 15, 2024 19:23
@rlazorlazo
synchronize #6516
rl.file.prop
Status Success
Total duration 8m 16s
Artifacts

diff-javadoc.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

1 error and 1 warning
build
no message, check your message inputs
build
The following actions use a deprecated Node.js version and will be forced to run on node20: mshick/add-pr-comment@a65df5f64fc741e91c59b8359a4bc56e57aaf5b1. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/