Skip to content
This repository was archived by the owner on Feb 24, 2024. It is now read-only.

ci: switch to GitHub Actions #495

Merged
merged 2 commits into from
Jan 30, 2022

Conversation

wolfgangwalther
Copy link
Member

Will push this to the other active branches, too (v9.0, v8.0, v7.0.0) - and then try to disable circle CI.

@wolfgangwalther
Copy link
Member Author

Mh. GitHub Actions doesn't run, yet. Maybe you have to enable it in the repo settings, @steve-chavez?

Signed-off-by: Wolfgang Walther <[email protected]>
Avoids running linkcheck on back branches, where links are outdated anyway.

Signed-off-by: Wolfgang Walther <[email protected]>
@steve-chavez
Copy link
Member

@wolfgangwalther Hm, I see Actions enabled:

Screenshot_20220130-102209_Chrome

Maybe it has to be merged into the main branch first?

@wolfgangwalther
Copy link
Member Author

Hm. I tried it on my fork and it worked there, so I guess it's fine to merge and try.

@wolfgangwalther wolfgangwalther merged commit 43a92d4 into PostgREST:main Jan 30, 2022
@wolfgangwalther wolfgangwalther deleted the ci-github-actions branch January 30, 2022 15:35
@wolfgangwalther
Copy link
Member Author

Ok, that worked. However, I can't disable circleCI - you'll have to do that @steve-chavez:

You must have admin access to stop building this project.

@wolfgangwalther
Copy link
Member Author

Just confirmed it's building in PRs now, too (#496).

@wolfgangwalther
Copy link
Member Author

Ok, that worked. However, I can't disable circleCI - you'll have to do that @steve-chavez:

Could you disable circle CI on this repo? It's still trying to run and failing all checks / PRs.

@steve-chavez
Copy link
Member

Done! I've hit the "Stop Building" button.

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Development

Successfully merging this pull request may close these issues.

2 participants