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

move some easy build jobs (DCO, Spotless) over to github #4161

Merged
merged 2 commits into from
Jul 25, 2022

Conversation

atoulme
Copy link
Contributor

@atoulme atoulme commented Jul 22, 2022

Signed-off-by: Antoine Toulme antoine@lunar-ocean.com

PR description

Move some of the work done by CircleCI to github actions

Documentation

  • I thought about documentation and added the doc-change-required label to this PR if
    updates are required.

Changelog

@atoulme atoulme force-pushed the github_builds branch 5 times, most recently from 2a75e0f to 3d4aa7a Compare July 23, 2022 04:06
Signed-off-by: Antoine Toulme <antoine@lunar-ocean.com>
Copy link
Contributor

@ryjones ryjones left a comment

Choose a reason for hiding this comment

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

LGTM. I might add a workflow_dispatch event but it's optional.

@atoulme atoulme enabled auto-merge (squash) July 24, 2022 23:55
Signed-off-by: Antoine Toulme <antoine@lunar-ocean.com>
@atoulme atoulme merged commit b7cea68 into hyperledger:main Jul 25, 2022
eum602 pushed a commit to lacchain/besu that referenced this pull request Nov 3, 2023
…#4161)

Signed-off-by: Antoine Toulme <antoine@lunar-ocean.com>
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