Skip to content
New issue

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

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

Already on GitHub? Sign in to your account

Added Remote Triggering Documentation Build Workflow #3047

Merged
merged 7 commits into from
Apr 15, 2023
Merged

Conversation

jrg94
Copy link
Member

@jrg94 jrg94 commented Apr 15, 2023

Fixed #3046

@jrg94 jrg94 requested a review from a team April 15, 2023 19:30
@jrg94 jrg94 self-assigned this Apr 15, 2023
@jrg94 jrg94 added the enhancement Any code that improves the repo label Apr 15, 2023
@jrg94 jrg94 merged commit a9c7936 into main Apr 15, 2023
1 check passed
@jrg94 jrg94 deleted the deploy-site branch April 15, 2023 19:45
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement Any code that improves the repo
Projects
Status: Done
Development

Successfully merging this pull request may close these issues.

Find a Way to Trigger a Docs Build Off of Sample Programs Push to Main
1 participant