-
Notifications
You must be signed in to change notification settings - Fork 6
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
fix: bugs preventing the pipeline to run #94
base: main
Are you sure you want to change the base?
Conversation
Even though it was mentioned above that this PR would not address the |
The fix introduced in 1b1867c worked. Now that the pipeline is fully functional, this PR should be merged in with priority. |
Forgot to mention above, this PR resolves #93 . |
Starting off with a simple rename, the work in this PR started by making sure the pipeline runs as intended. In the end this PR aims to do a few more things:
master
tomain
. In this process, the branchdevelop
has been discarded and is not intended to be used.Kluyveromyces_marxianus-GEM
the default branch on GitHub is stillmaster
Due to a known bug in the command-line tool
hub
, it is expected for the pipeline to run but to not produce the expected PRs. This issue, reported as #93, will be resolved in an independent PR.