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

ci: Cleaned up the workflow files a little. #1384

Merged
merged 3 commits into from
Aug 8, 2022

Conversation

wermos
Copy link
Contributor

@wermos wermos commented Aug 5, 2022

There were many instances of trailing -- in the CMake commands, followed by nothing, which I removed. Moreover, many of the targets were passed to the underlying build system as a build-system-specific flag. I changed those to make it so that the --target CMake flag is used.

Copy link
Contributor

@andiwand andiwand left a comment

Choose a reason for hiding this comment

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

we need to clarify on the comment but otherwise happy to put this in

.github/workflows/builds.yml Outdated Show resolved Hide resolved
@AJPfleger AJPfleger added this to the next milestone Aug 5, 2022
@codecov
Copy link

codecov bot commented Aug 5, 2022

Codecov Report

Merging #1384 (cbd814d) into main (5f7ffcb) will not change coverage.
The diff coverage is n/a.

@@           Coverage Diff           @@
##             main    #1384   +/-   ##
=======================================
  Coverage   47.76%   47.76%           
=======================================
  Files         380      380           
  Lines       20164    20164           
  Branches     9387     9387           
=======================================
  Hits         9632     9632           
  Misses       4083     4083           
  Partials     6449     6449           

📣 Codecov can now indicate which changes are the most critical in Pull Requests. Learn more

@paulgessinger paulgessinger merged commit a543587 into acts-project:main Aug 8, 2022
@github-actions github-actions bot removed the automerge label Aug 8, 2022
@wermos wermos deleted the ci-clean branch August 8, 2022 08:02
@paulgessinger paulgessinger modified the milestones: next, v20.0.0 Aug 16, 2022
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.

None yet

4 participants