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.

Sign up for GitHub

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

Jump to bottom

CI pipeline #70

Open

andreasjansson wants to merge 1 commit into main from ci

Member

andreasjansson commented Jan 5, 2023

No description provided.

andreasjansson force-pushed the ci branch 8 times, most recently from 6fe661f to 21f6b59 Compare

January 5, 2023 23:46


          CI pipeline

2c7137d

andreasjansson force-pushed the ci branch from 21f6b59 to 2c7137d Compare

January 6, 2023 00:09

Member

zeke commented Jan 6, 2023

See also #68, which is kinda doing the same thing (but attempting to work around the cog run stuff.)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet