roslyn-tools/merge-pr-pipeline.yml

39 строки
946 B
YAML
Исходник Постоянная ссылка Обычный вид История

2019-10-16 00:42:32 +03:00
# Pipeline to create Github merge PRs using the dotnet bot.
variables:
# Variable group for the bot secret.
- group: RoslynMergeBot
- name: isDryRun
2019-10-22 20:20:36 +03:00
value: $[eq(variables['Build.Reason'], 'PullRequest')]
2019-10-16 00:42:32 +03:00
- name: isAutomated
value: true
# Make sure the pipeline doesn't build on commits.
trigger: none
2019-10-22 20:20:36 +03:00
2021-03-05 12:28:50 +03:00
# Trigger dryrun on PRs to main.
2019-10-22 20:20:36 +03:00
pr:
2021-03-05 01:55:49 +03:00
- main
2019-10-16 00:42:32 +03:00
schedules:
2020-01-24 04:15:25 +03:00
- cron: "0 */3 * * *"
2019-10-16 00:42:32 +03:00
displayName: Roslyn Merge Tool
branches:
include:
2021-03-05 01:55:49 +03:00
- main
2019-10-16 00:42:32 +03:00
always: true
pool:
vmImage: 'ubuntu-latest'
steps:
- task: UseDotNet@2
2024-03-28 02:42:31 +03:00
displayName: 'Install .NET'
2020-02-04 23:20:36 +03:00
inputs:
2024-03-28 02:53:26 +03:00
version: 9.x
2019-10-16 00:42:32 +03:00
installationPath: $(Agent.ToolsDirectory)/dotnet
2024-03-28 02:56:04 +03:00
includePreviewVersions: true
2019-10-16 00:42:32 +03:00
- script: dotnet --info; dotnet run --project $(Build.SourcesDirectory)/src/GitHubCreateMergePRs/GitHubCreateMergePRs.csproj --isDryRun=$(isDryRun) --isAutomated=$(isAutomated) --githubToken=$(BotAccount-dotnet-bot-repo-PAT)
2020-01-24 04:15:25 +03:00
displayName: 'Run GitHub Create Merge PRs'