Skip to content

make github/init #49

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

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
# for free to join this conversation on GitHub. Already have an account? # 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