There are uncommitted doc changes in the repository. docs/reference/options.md | 34 ++++++++++++---------------------- docs/supported-languages/idris.md | 4 ++-- docs/supported-languages/java.md | 2 +- docs/supported-languages/lean4.md | 2 +- docs/supported-languages/scala.md | 2 +- docs/supported-languages/standardml.md | 2 +- docs/supported-languages/swift.md | 2 +- docs/supported-services/cockroachdb.md | 2 +- docs/supported-services/nginx.md | 2 +- 9 files changed, 21 insertions(+), 31 deletions(-) To resolve this, you can: a. Run the failing devenv-generate-* commands locally and commit the changes. b. Let CI auto-commit the changes to your fork of the repo. You may need to enable this workflow on your fork.