Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

[GitHub Actions] Update draft features weekly #1572

Merged
merged 1 commit into from
Aug 9, 2024
Merged

Conversation

github-actions[bot]
Copy link
Contributor

@github-actions github-actions bot commented Aug 9, 2024

This is an auto-generated PR with draft features by spec updates.

@foolip foolip closed this Aug 9, 2024
@foolip foolip reopened this Aug 9, 2024
@foolip foolip merged commit e8b5a88 into main Aug 9, 2024
3 checks passed
@foolip foolip deleted the update-draft-features-7 branch August 9, 2024 14:21
@foolip
Copy link
Collaborator

foolip commented Aug 9, 2024

Alright, the update workflow works!

One does have to close and reopen the PR to get the CI to run, but that's not a big deal.

@ddbeck @tropicadri FYI

# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants