Skip to content

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)

4 participants