Skip to content

Conversation

@phlax
Copy link
Member

@phlax phlax commented May 28, 2023

No description provided.

@phlax
Copy link
Member Author

phlax commented May 28, 2023

seems this is a bit harder than first anticipated with circleci's limited docker support (no mount in docker executor, way too complex custom image use)

im wondering what the status of circleci is and whether we want to keep using this, and fix, or just move to gh actions - the build would still require some fixing

either way, this has not passed ci afaict in any of its recorded history, so we should disable this asap if we are not going to fix it

@phlax
Copy link
Member Author

phlax commented May 28, 2023

cc @mattklein123 @htuch

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.

2 participants