fix(ci): add --init flag to submodule update command

[Copilot]

The update-proofs-submodule job fails when attempting to update the erdos-graph submodule without initializing it first.

Changes

• Added --init flag to git submodule update in .github/workflows/ci.yml line 159

- git submodule update --remote --merge erdos-graph
+ git submodule update --init --remote --merge erdos-graph

This ensures the submodule is initialized before updating when the workflow checks out erdos-graph-proofs.

Original prompt

Fix Submodule Initialization in CI Workflow

The update-proofs-submodule job in .github/workflows/ci.yml fails because it doesn't initialize the submodule before attempting to update it.

Changes Required

In the file .github/workflows/ci.yml, find the line:

git submodule update --remote --merge erdos-graph

And change it to:

git submodule update --init --remote --merge erdos-graph

This is in the Update erdos-graph submodule step of the update-proofs-submodule job (around line 154).

Context

When this workflow runs, it checks out the erdos-graph-proofs repository and attempts to update its erdos-graph submodule to the latest version. However, the submodule is not initialized, causing the error: "Submodule path 'erdos-graph' not initialized. Maybe you want to use 'update --init'?"

Adding the --init flag will initialize the submodule if it's not already initialized before attempting to update it.

This pull request was created from Copilot chat.

---

💡 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.