mirror of
https://github.com/XRPLF/rippled.git
synced 2026-01-12 02:35:22 +00:00
This PR moves the list of files from the `paths:` section in the `on: pull_request` into a separate job.
This PR moves the list of files from the `paths:` section in the `on: pull_request` into a separate job.