Skip to content

CI updates: yamllint, only push main to BSR#8

Merged
jzelinskie merged 2 commits intoauthzed:mainfrom
jzelinskie:ci-fixes
Oct 6, 2021
Merged

CI updates: yamllint, only push main to BSR#8
jzelinskie merged 2 commits intoauthzed:mainfrom
jzelinskie:ci-fixes

Conversation

@jzelinskie
Copy link
Copy Markdown
Member

No description provided.

@jzelinskie jzelinskie added area/tooling Affects the dev or user toolchain priority/3 low This would be nice to have labels Sep 24, 2021
@jzelinskie jzelinskie requested a review from jakedt September 24, 2021 16:42
Copy link
Copy Markdown
Member

@josephschorr josephschorr left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@jzelinskie jzelinskie merged commit 3c762e7 into authzed:main Oct 6, 2021
@jzelinskie jzelinskie deleted the ci-fixes branch October 6, 2021 21:12
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

area/tooling Affects the dev or user toolchain priority/3 low This would be nice to have

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants