Skip to content

trigger vector serve builds#116

Merged
ChuckHend merged 1 commit intomainfrom
patch/ci
May 20, 2024
Merged

trigger vector serve builds#116
ChuckHend merged 1 commit intomainfrom
patch/ci

Conversation

@ChuckHend
Copy link
Copy Markdown
Owner

@ChuckHend ChuckHend commented May 20, 2024

#115 did not build. Possibly due to how the trigger criteria is set on the workflow.

@ChuckHend ChuckHend marked this pull request as ready for review May 20, 2024 21:36
@ChuckHend ChuckHend merged commit bd09646 into main May 20, 2024
@ChuckHend ChuckHend deleted the patch/ci branch May 20, 2024 21:38
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants