Skip to content
Merged
Show file tree
Hide file tree
Changes from 2 commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
8 changes: 5 additions & 3 deletions .github/workflows/promote-shipped-apis.yml
Original file line number Diff line number Diff line change
Expand Up @@ -79,9 +79,11 @@ jobs:
git checkout $prBranch
git merge origin/$branch -m "Merge $branch into promote-shipped-apis branch"

- name: Run public API promotion script
shell: pwsh
run: ./dotnet/eng/scripts/promote-shipped-apis.ps1
- name: Promote public API exports
id: promote
uses: BinkyLabs/public-api-promote@d7be9ed86949de71a7442227fd02ca0c6fc11a57 # v1.0.1
Comment thread
baywet marked this conversation as resolved.
Outdated
Comment thread
baywet marked this conversation as resolved.
Outdated
with:
unshipped-glob: 'dotnet/src/**/*.Unshipped.txt'
Comment thread
baywet marked this conversation as resolved.
Outdated

- name: Check for changes
id: check_changes
Expand Down
54 changes: 0 additions & 54 deletions dotnet/eng/scripts/promote-shipped-apis.ps1

This file was deleted.

Loading