Skip to content

Refresh Manifests

Refresh Manifests #325

name: Refresh Manifests
on:
workflow_dispatch:
schedule:
- cron: '0 16 * * *' # 8am PST (16:00 UTC) - same schedule as API review
permissions:
contents: write
pull-requests: write
jobs:
generate-and-pr:
runs-on: windows-latest # Using Windows because the script uses PowerShell and build.cmd
if: ${{ github.repository_owner == 'microsoft' }}
steps:
- uses: actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd # v6.0.2
- name: Setup .NET SDK
uses: actions/setup-dotnet@c2fa09f4bde5ebb9d1777cf28262a3eb3db3ced7 # v5.2.0
with:
global-json-file: global.json
- name: Run RefreshManifests Script
shell: pwsh
run: |
./eng/refreshManifests.ps1
- name: Generate GitHub App Token
id: app-token
uses: actions/create-github-app-token@df432ceedc7162793a195dd1713ff69aefc7379e # v2.0.6
with:
app-id: ${{ secrets.ASPIRE_BOT_APP_ID }}
private-key: ${{ secrets.ASPIRE_BOT_PRIVATE_KEY }}
- name: Create or update pull request
uses: dotnet/actions-create-pull-request@e8d799aa1f8b17f324f9513832811b0a62f1e0b1
with:
token: ${{ steps.app-token.outputs.token }}
branch: update-manifests
base: main
commit-message: "[Automated] Update Playground Manifests"
labels: |
area-app-model
area-engineering-systems
title: "[Automated] Update Playground Manifests"
body: "Auto-generated update to refresh the manifests."