Skip to content

Conversation

ShreckYe
Copy link
Contributor

This helps preinstall tools and dependencies for the GitHub Copilot coding agent in case any developer wants to delegate a task to the coding agent. See https://docs.github.com/en/copilot/how-tos/use-copilot-agents/coding-agent/customize-the-agent-environment for more details. I am not familiar with all the workflow scripts in this project so I just added some basic stuff, and it is tested to work in ShreckYe#1. Please add more missing setups if needed. Also feel free to close this if this is unnecessary at the moment.

Mill seems to use the JDK downloaded by Coursier so `setup-java` is not added.
@lefou
Copy link
Member

lefou commented Sep 16, 2025

I personally would prefer, if we don't accept any PRs written by "AI"s. After all, it's most likely code with unclear authorship and permissions.

@ShreckYe ShreckYe marked this pull request as ready for review September 16, 2025 08:25
@lihaoyi lihaoyi closed this Sep 23, 2025
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