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.

Sign up for GitHub

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

Jump to bottom

Merge PR/push CI workflows #127

Merged
merged 2 commits into from
Sep 24, 2022
Merged

Merge PR/push CI workflows #127

merged 2 commits into from
Sep 24, 2022

Conversation

mkniewallner
Copy link
Collaborator

PR Checklist

  • A description of the changes is added to the description of this PR.
  • If there is a related issue, make sure it is linked to this PR.
  • If you've fixed a bug or added code that should be tested, add tests!
  • Documentation in docs is updated

Description of changes

Reduce duplication by merging on-pull-request and on-release-main together, since they do the exact same thing.
Also update actions/checkout to v3 (changelog).

@fpgmaas fpgmaas linked an issue Sep 24, 2022 that may be closed by this pull request
Clean & refactor the GitHub workflows #28
Closed
@fpgmaas
Copy link
Owner

fpgmaas commented Sep 24, 2022

Thanks, good idea. I will close issue #28 with this!

@fpgmaas fpgmaas merged commit cbfec5e into fpgmaas:main Sep 24, 2022
@mkniewallner mkniewallner deleted the merge-ci-workflows branch September 24, 2022 11:14
fpgmaas pushed a commit that referenced this pull request Oct 2, 2022
@mkniewallner
Merge PR/push CI workflows (#127)
29c8b91 
* ci: merge merge/PR workflows
* ci: bump `actions/checkout` to v3
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

Clean & refactor the GitHub workflows
2 participants
@mkniewallner @fpgmaas