Skip to content
This repository was archived by the owner on Apr 13, 2023. It is now read-only.

General CI improvements#839

Merged
staticdev merged 1 commit intomainfrom
ci/general-ci-improvements
Dec 18, 2022
Merged

General CI improvements#839
staticdev merged 1 commit intomainfrom
ci/general-ci-improvements

Conversation

@staticdev
Copy link
Copy Markdown
Owner

No description provided.

@staticdev staticdev added the ci Continuous Integration label Dec 18, 2022
@staticdev staticdev merged commit a2f1546 into main Dec 18, 2022
@staticdev staticdev deleted the ci/general-ci-improvements branch December 18, 2022 15:20
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

ci Continuous Integration

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant