Skip to content
This repository has been archived by the owner on May 9, 2023. It is now read-only.

Fix branch name in CI for zio1-main #116

Merged
merged 1 commit into from
Nov 18, 2022
Merged

Fix branch name in CI for zio1-main #116

merged 1 commit into from
Nov 18, 2022

Conversation

gbecan
Copy link

@gbecan gbecan commented Nov 18, 2022

No description provided.

@gbecan gbecan merged commit e503f09 into zio1-main Nov 18, 2022
@gbecan gbecan deleted the ci-zio1 branch November 18, 2022 15:29
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants