Skip to content

make github/init #49

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

Merged
merged 1 commit into from
Jul 19, 2023
Merged

make github/init #49

merged 1 commit into from
Jul 19, 2023

Conversation

milldr
Copy link
Member

@milldr milldr commented Jul 19, 2023

what

make github/init

why

  • Update workflows for GitHub

references

@milldr milldr requested review from a team as code owners July 19, 2023 17:11
@milldr milldr requested review from Gowiem and korenyoni July 19, 2023 17:11
@milldr
Copy link
Member Author

milldr commented Jul 19, 2023

#48 will resolve CI failures but requires that these workflows are in main first

@milldr milldr added the no-release Do not create a new release (wait for additional code changes) label Jul 19, 2023
@osterman osterman enabled auto-merge (squash) July 19, 2023 17:39
@Nuru
Copy link
Contributor

Nuru commented Jul 19, 2023

/test all

@Nuru Nuru disabled auto-merge July 19, 2023 17:49
@Nuru Nuru merged commit 700e1dc into main Jul 19, 2023
@Nuru Nuru deleted the github-update branch July 19, 2023 17:50
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
no-release Do not create a new release (wait for additional code changes)
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants