2 Commits

Author SHA1 Message Date
Silvano Cerza
2fea67d4a9
Fix delete_outdated_docs.py to get the correct api key (#7242) 2024-02-28 12:52:13 +01:00
Silvano Cerza
85491433c6
ci: Add script to delete documentation that don't exist anymore (#7209)
* Add script to delete documentation that don't exist anymore

* Remove prints
2024-02-28 11:02:59 +01:00