Make PR pipelines public #224

Merged
lucas merged 1 commit from feature/ci into master 2025-04-21 17:36:23 +02:00

View file

@ -88,6 +88,7 @@ jobs:
values: ((.:prs))
set_pipeline: dtmt-pr
file: repo/.ci/pipelines/pr.yml
public: true
vars:
pr: ((.:pr))
gitea_api_key: ((gitea_api_key))