[CI] Cleanup .github/ folder #5851
Merged
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
added 2 commits
February 21, 2021 00:04
We have changed our implementation of package building in CI, and some of the original implementation files are no longer relevant.
The original readme.md file is no longer corresponding to the current implementation of CI we have, so this is bringing it more in line with the current state.
tautschnig
reviewed
Feb 22, 2021
Codecov Report
@@ Coverage Diff @@
## develop #5851 +/- ##
===========================================
+ Coverage 72.87% 72.89% +0.01%
===========================================
Files 1421 1423 +2
Lines 154208 154229 +21
===========================================
+ Hits 112386 112426 +40
+ Misses 41822 41803 -19
Continue to review full report at Codecov.
|
thomasspriggs
approved these changes
Feb 23, 2021
| * `pull-request-check-clang-format.sh` -> Script that's called per Pull Request | ||
| to execute `clang-format` over changes. | ||
| * `pull-request-checks.yaml` -> Configuration file for the Github Actions CI jobs | ||
| for the various platforms. |
There was a problem hiding this comment.
⛏️ Might be nice to have a list of which platforms/build systems we are currently testing on pull requests.
Add some information to the readme with regard to the main platforms we are building/testing CBMC on Github Actions.
NlightNFotis
force-pushed
the
cleanup_github_folder
branch
from
1996c40 to
4daa686
Compare
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
This PR is removing some files that are no longer needed from the
.github/folder,and it's rewriting the
README.mdfile in that folder to more accurately representthe current state of affairs.