Skip to content

Add CI workflow trigger#723

Merged
garth-wells merged 1 commit intomainfrom
add-ci-triger
Oct 29, 2023
Merged

Add CI workflow trigger#723
garth-wells merged 1 commit intomainfrom
add-ci-triger

Conversation

@garth-wells
Copy link
Member

No description provided.

@garth-wells garth-wells added the CI Continuous integration label Oct 29, 2023
@garth-wells garth-wells enabled auto-merge October 29, 2023 16:57
@garth-wells garth-wells added this pull request to the merge queue Oct 29, 2023
@garth-wells garth-wells removed this pull request from the merge queue due to a manual request Oct 29, 2023
@garth-wells garth-wells merged commit 82da606 into main Oct 29, 2023
@garth-wells garth-wells deleted the add-ci-triger branch October 29, 2023 18:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

CI Continuous integration

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant