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

migrate to github action #549

Merged
merged 1 commit into from
Jan 11, 2024
Merged

migrate to github action #549

merged 1 commit into from
Jan 11, 2024

Conversation

Taowyoo
Copy link
Collaborator

@Taowyoo Taowyoo commented Dec 22, 2023

No description provided.

@Taowyoo Taowyoo self-assigned this Dec 22, 2023
@Taowyoo Taowyoo force-pushed the yx/use-github-action branch 2 times, most recently from 40c5e90 to ddeb71a Compare December 22, 2023 22:53
@Taowyoo Taowyoo mentioned this pull request Jan 9, 2024
@Taowyoo
Copy link
Collaborator Author

Taowyoo commented Jan 9, 2024

This need to be merged with changes in repo branch protection settings

@Taowyoo
Copy link
Collaborator Author

Taowyoo commented Jan 9, 2024

Hi @raoulstrackx @ssavvides , please take a look to this PR.
To make GitHub Action works, some changes in repo settings under branch protection are needed:

  • remove status check on bors
  • add status check on CI / Build+Test (pull_request)
  • turn on merge queue

.github/workflows/build.yml Outdated Show resolved Hide resolved
.github/workflows/build.yml Show resolved Hide resolved
.github/workflows/build.yml Outdated Show resolved Hide resolved
- Remove `bors.toml` & `.travis.yml`.
- Add `.github/workflows/build.yml`.
@Taowyoo Taowyoo force-pushed the yx/use-github-action branch from f80b250 to c97cb31 Compare January 11, 2024 22:55
@Taowyoo Taowyoo enabled auto-merge January 11, 2024 22:55
@Taowyoo Taowyoo added this pull request to the merge queue Jan 11, 2024
Merged via the queue into master with commit 33161ec Jan 11, 2024
1 check passed
@Taowyoo Taowyoo deleted the yx/use-github-action branch January 11, 2024 23:17
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants