Skip to content

Move CI from Azure Pipelines to GitHub Actions #1226

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

Closed
joshtriplett opened this issue May 7, 2025 · 1 comment
Closed

Move CI from Azure Pipelines to GitHub Actions #1226

joshtriplett opened this issue May 7, 2025 · 1 comment

Comments

@joshtriplett
Copy link
Contributor

joshtriplett commented May 7, 2025

#477 (comment) mentions moving CI to GitHub Actions instead of Azure Pipelines. I'm filing this issue to ask: is doing that still the plan, and would PRs doing that be welcome?

@kkysen
Copy link
Contributor

kkysen commented May 7, 2025

Yup, that's still the plan, we just have had time to get around to do it yet. PRs would definitely be welcome. Thanks for all the help!

joshtriplett added a commit to joshtriplett/c2rust that referenced this issue May 8, 2025
This simplifies the CI setup substantially.

Fixes: immunant#1226
joshtriplett added a commit to joshtriplett/c2rust that referenced this issue May 8, 2025
This simplifies the CI setup substantially.

Fixes: immunant#1226
joshtriplett added a commit to joshtriplett/c2rust that referenced this issue May 8, 2025
This simplifies the CI setup substantially.

Fixes: immunant#1226
joshtriplett added a commit to joshtriplett/c2rust that referenced this issue May 8, 2025
This simplifies the CI setup substantially.

Fixes: immunant#1226
joshtriplett added a commit to joshtriplett/c2rust that referenced this issue May 8, 2025
This simplifies the CI setup substantially.

Fixes: immunant#1226
joshtriplett added a commit to joshtriplett/c2rust that referenced this issue May 8, 2025
This simplifies the CI setup substantially.

Fixes: immunant#1226
joshtriplett added a commit to joshtriplett/c2rust that referenced this issue May 8, 2025
This simplifies the CI setup substantially.

Fixes: immunant#1226
joshtriplett added a commit to joshtriplett/c2rust that referenced this issue May 8, 2025
This simplifies the CI setup substantially.

Fixes: immunant#1226
joshtriplett added a commit to joshtriplett/c2rust that referenced this issue May 9, 2025
This simplifies the CI setup substantially.

Fixes: immunant#1226
joshtriplett added a commit to joshtriplett/c2rust that referenced this issue May 9, 2025
This simplifies the CI setup substantially.

Fixes: immunant#1226
joshtriplett added a commit to joshtriplett/c2rust that referenced this issue May 9, 2025
This simplifies the CI setup substantially.

Fixes: immunant#1226
joshtriplett added a commit to joshtriplett/c2rust that referenced this issue May 12, 2025
This simplifies the CI setup substantially. In particular, this
installs packages as part of the CI setup, rather than in a separate
manual container build step where modifications by contributors are
ineffective until the container images are regenerated.

Now, changes to provisioning will take immediate effect, allowing
upgrades to new versions to be contributed and tested easily.

This does not move macOS over, because I don't have sufficient
experience with macOS to easily debug the issues that occur when
attempting to do so.

Fixes: immunant#1226
@kkysen kkysen closed this as completed in 8add06a May 13, 2025
kkysen added a commit that referenced this issue May 13, 2025
This simplifies the CI setup substantially. In particular, this installs
packages as part of the CI setup, rather than in a separate manual
container build step where modifications by contributors are ineffective
until the container images are regenerated.

Now, changes to provisioning will take immediate effect, allowing
upgrades to new versions to be contributed and tested easily.

This does not move macOS over, because I don't have sufficient
experience with macOS to easily debug the issues that occur when
attempting to do so.

* Fixes Linux part of #1226.
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

No branches or pull requests

2 participants