mirror of
https://github.com/monero-project/monero.git
synced 2026-07-05 12:17:22 -07:00
f4d99dcca7
de4413b workflows: don't build PRs if only docs and READMEs are being changed (erciccione)