mirror of
https://github.com/monero-project/monero.git
synced 2025-01-27 00:57:01 -05:00
f4d99dcca7
de4413b workflows: don't build PRs if only docs and READMEs are being changed (erciccione)