David S. Batista ea6ef8c941
ci: stop running tests on main a merged PR only updates the documentation (#10007)
* initial import

* avoiding tests when docs changes only are merged into main

* cleaning .gitignore
2025-11-07 15:46:23 +01:00
..
2025-09-25 08:56:02 +02:00