Merge pull request 'Make PR pipelines public' (#224) from feature/ci into master
Reviewed-on: #224
This commit is contained in:
commit
a0f676c0e6
1 changed files with 1 additions and 0 deletions
|
@ -88,6 +88,7 @@ jobs:
|
||||||
values: ((.:prs))
|
values: ((.:prs))
|
||||||
set_pipeline: dtmt-pr
|
set_pipeline: dtmt-pr
|
||||||
file: repo/.ci/pipelines/pr.yml
|
file: repo/.ci/pipelines/pr.yml
|
||||||
|
public: true
|
||||||
vars:
|
vars:
|
||||||
pr: ((.:pr))
|
pr: ((.:pr))
|
||||||
gitea_api_key: ((gitea_api_key))
|
gitea_api_key: ((gitea_api_key))
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue