Skip to content

Port ancillary jobs from Travis to github actions #5457

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

Merged
merged 4 commits into from
Aug 21, 2020

Conversation

thomasspriggs
Copy link
Contributor

@thomasspriggs thomasspriggs commented Aug 13, 2020

These were formerly a Travis CI jobs. Setting them up using Github actions gives us a user interface which integrates into the rest of github better. This is a step towards having all jobs setup in Github actions and removing Travis.

  • Each commit message has a non-empty body, explaining why the change was made.
  • Methods or procedures I have added are documented, following the guidelines provided in CODING_STANDARD.md.
  • The feature or user visible behaviour I have added or modified has been documented in the User Guide in doc/cprover-manual/
  • Regression or unit tests are included, or existing tests cover the modified code (in this case I have detailed which ones those are in the commit message).
  • My commit message includes data points confirming performance improvements (if claimed).
  • My PR is restricted to a single feature or bugfix.
  • White-space or formatting changes outside the feature-related changed lines are in commits of their own.

@thomasspriggs thomasspriggs force-pushed the tas/gha_ancillaries branch 2 times, most recently from 21c01d6 to 107578a Compare August 13, 2020 13:02
@codecov
Copy link

codecov bot commented Aug 13, 2020

Codecov Report

Merging #5457 into develop will not change coverage.
The diff coverage is n/a.

Impacted file tree graph

@@           Coverage Diff            @@
##           develop    #5457   +/-   ##
========================================
  Coverage    68.23%   68.23%           
========================================
  Files         1178     1178           
  Lines        97588    97588           
========================================
  Hits         66589    66589           
  Misses       30999    30999           
Flag Coverage Δ
#cproversmt2 42.80% <ø> (ø)
#regression 65.40% <ø> (ø)
#unit 32.23% <ø> (ø)

Flags with carried forward coverage won't be shown. Click here to find out more.


Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update 7d30335...107578a. Read the comment docs.

@codecov
Copy link

codecov bot commented Aug 13, 2020

Codecov Report

Merging #5457 into develop will not change coverage.
The diff coverage is n/a.

Impacted file tree graph

@@           Coverage Diff            @@
##           develop    #5457   +/-   ##
========================================
  Coverage    68.25%   68.25%           
========================================
  Files         1180     1180           
  Lines        97722    97722           
========================================
  Hits         66698    66698           
  Misses       31024    31024           
Flag Coverage Δ
#cproversmt2 42.81% <ø> (ø)
#regression 65.42% <ø> (ø)
#unit 32.23% <ø> (ø)

Flags with carried forward coverage won't be shown. Click here to find out more.


Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update cbadaa5...f34e22a. Read the comment docs.

steps:
- uses: actions/checkout@v2
with:
submodules: true

Choose a reason for hiding this comment

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

To get this to work you’d want fetch_depth: 0 here to check out the entire repository rather than create a shallow clone (the default).

@thomasspriggs thomasspriggs force-pushed the tas/gha_ancillaries branch 5 times, most recently from 5c83767 to 67747cc Compare August 20, 2020 14:09
This was formerly a Travis CI job. Setting it up using Github actions
gives us a user interface which integrates into the rest of github
better. This is a step towards having all jobs seup in Github actions
and removing Travis.
This was formerly a Travis CI job. Setting it up using Github actions
gives us a user interface which integrates into the rest of github
better. This is a step towards having all jobs seup in Github actions
and removing Travis.
This was formerly a Travis CI job. Setting it up using Github actions
gives us a user interface which integrates into the rest of github
better. This is a step towards having all jobs seup in Github actions
and removing Travis.
Copy link
Contributor

Choose a reason for hiding this comment

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

Looks OK to me

git diff > formatted.diff
if [[ -s formatted.diff ]] ; then
echo 'Formatting error! The following diff shows the required changes'
echo 'Use the raw log to get a version of the diff that preserves spacing'

Choose a reason for hiding this comment

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

Is this referring to how the github action log presents this?

Copy link
Contributor Author

Choose a reason for hiding this comment

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

This was just cut and paste from the Travis version. I am not sure if viewing in github actions preserves spacing or not.


# Find the commit on which the PR is based.
MERGE_BASE=$(git merge-base ${BASE_BRANCH} ${MERGE_BRANCH})
echo "Checking standards of code touched since $MERGE_BASE"

Choose a reason for hiding this comment

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

Something which would be really cool is if we could use https://github.com/marketplace/actions/annotations-action to display inline comments with the needed changes (not an action for this PR, just food for thought for follow-up work).

echo "Checking standards of code touched since $MERGE_BASE"

# Do the checking.
script_folder='./scripts'

Choose a reason for hiding this comment

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

I feel like this variable isn’t adding a ton of value here.

@thomasspriggs thomasspriggs merged commit a6feed2 into diffblue:develop Aug 21, 2020
@thomasspriggs thomasspriggs deleted the tas/gha_ancillaries branch August 21, 2020 18:45
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.

3 participants