Skip to content
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

Add CI pipelines #1

Merged
merged 4 commits into from
Nov 28, 2023
Merged

Add CI pipelines #1

merged 4 commits into from
Nov 28, 2023

Conversation

Scienfitz
Copy link
Collaborator

  • one reduced pipeline for CI
  • one regular pipeline that does everything in all python versions every 2 weeks

@Scienfitz Scienfitz force-pushed the repo/ci_pipeline branch 2 times, most recently from a72edc7 to 6b05898 Compare November 28, 2023 10:33
@Scienfitz Scienfitz self-assigned this Nov 28, 2023
@Scienfitz Scienfitz requested review from AVHopp and AdrianSosic and removed request for AdrianSosic and AVHopp November 28, 2023 11:15
Copy link
Collaborator

@AVHopp AVHopp left a comment

Choose a reason for hiding this comment

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

Finished my review.... if I understood this correctly :D

.github/workflows/ci.yml Show resolved Hide resolved
.github/workflows/ci.yml Show resolved Hide resolved
.github/workflows/regular.yml Show resolved Hide resolved
.github/workflows/regular.yml Show resolved Hide resolved
Copy link
Collaborator

@AdrianSosic AdrianSosic left a comment

Choose a reason for hiding this comment

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

At a first glance, looking good to me 👍 If there are unforeseeable problems, we need to adjust anyway. I mean, you know the hassle from DevOps ... 😄

@Scienfitz Scienfitz merged commit 6c5feca into main Nov 28, 2023
7 checks passed
@Scienfitz Scienfitz deleted the repo/ci_pipeline branch November 28, 2023 13:51
@AdrianSosic AdrianSosic added the repo Requires changes to the project configuration label Dec 4, 2023
rjavadi added a commit that referenced this pull request Feb 7, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
repo Requires changes to the project configuration
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants