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

Refactor CI for Better Maintainability #210

Merged
merged 5 commits into from
Jul 19, 2024
Merged

Refactor CI for Better Maintainability #210

merged 5 commits into from
Jul 19, 2024

Conversation

ddement
Copy link
Collaborator

@ddement ddement commented Jul 16, 2024

After several iterations of having to patch up CI, it was looking pretty messy. This clean-up simplifies our setup for each CI run (no longer depending on a github action for setting the compiler) and splits apart MacOS, Linux, ClangFormat, ClangTidy, and CppCheck into different files/jobs.

This is just #205 rebased on main.

@ddement ddement self-assigned this Jul 16, 2024
Copy link
Collaborator

@faisal-bhuiyan faisal-bhuiyan left a comment

Choose a reason for hiding this comment

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

Looks good, thanks for cleaning this up. Looks much better. Maybe worth adding a README for this folder to shortly document what each of the files are doing?

Copy link
Collaborator

Choose a reason for hiding this comment

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

What did this do?

Copy link
Collaborator Author

Choose a reason for hiding this comment

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

I think it was about automatically building/deploying documentation of some kind? It never actually did anything, as far as I can tell.

Copy link
Collaborator

Choose a reason for hiding this comment

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

Should we call this correctness-ubuntu.yaml and the other one correctness-macOS.yaml?

Copy link
Collaborator Author

Choose a reason for hiding this comment

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

Good idea. Will do

@ddement ddement merged commit 83dd180 into main Jul 19, 2024
9 checks passed
@ddement ddement deleted the refactor_CI_redux branch July 19, 2024 19:06
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants