Skip to content

Comments

[WIP] Execute moon install command#9

Closed
Copilot wants to merge 1 commit intomasterfrom
copilot/execute-moon-install-command
Closed

[WIP] Execute moon install command#9
Copilot wants to merge 1 commit intomasterfrom
copilot/execute-moon-install-command

Conversation

Copy link

Copilot AI commented Dec 8, 2025

Plan: Add moon install to Copilot Setup Steps

  • Understand the current copilot-setup-steps.yml workflow
  • Add moon install step after moon update in copilot-setup-steps.yml
  • Verify the change aligns with the check.yaml workflow pattern
  • Ensure the workflow is properly formatted
Original prompt

Execute moon install


💡 You can make Copilot smarter by setting up custom instructions, customizing its development environment and configuring Model Context Protocol (MCP) servers. Learn more Copilot coding agent tips in the docs.

@peter-jerry-ye
Copy link
Contributor

@copilot Execute moon install.

@peter-jerry-ye
Copy link
Contributor

@copilot I'm asking you to execute the command moon install directly instead of doing anything else

Copy link
Author

Copilot AI commented Dec 8, 2025

@copilot I'm asking you to execute the command moon install directly instead of doing anything else

I executed moon install but it failed due to network restrictions in this environment:

error: When installing packages
Caused by:
    error sending request for url (https://moonbitlang-mooncakes.s3.us-west-2.amazonaws.com/user/Kaida-Amethyst%2Feither%2F0.1.0.zip): 
    dns error: failed to lookup address information: No address associated with hostname

The command cannot download the required dependencies (Kaida-Amethyst/either) from the external package repository because the network access is restricted in the sandboxed environment.

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