nodiscc 6ad29ab5b8 tools: github actions: run URL checker *after* pushing changes in the scheduled update-metadata workflow ... - we want the updates pushed regardless of possible URL check errors		2023-01-24 17:18:29 +01:00
..
ci.yml	tools: github actions: don't trigger duplicate workflows on pull requests	2023-01-24 17:17:25 +01:00
update-metadata.yml	tools: github actions: run URL checker *after* pushing changes in the scheduled update-metadata workflow	2023-01-24 17:18:29 +01:00