feat: add `lean` ecosystem entry to ecosystem_domains.json by Copilot · Pull Request #26424 · github/gh-aw

Copilot · 2026-04-15T13:07:58Z

Upstreams the lean ecosystem identifier from githubnext/ado-aw, covering the five domains needed for Lean 4 toolchain and package management (elan, Lake/Reservoir registry, toolchain binaries, docs, and project site).

Changes

pkg/workflow/data/ecosystem_domains.json — adds lean entry (alphabetically between kotlin and linux-distros):

"lean": ["elan.lean-lang.org", "lean-lang.org", "leanprover.github.io", "reservoir.lean-lang.org", "static.lean-lang.org"]

pkg/workflow/domains.go — adds "lean" to ecosystemPriority and the GetAllowedDomains doc comment
docs/src/content/docs/reference/network.md — adds lean to the ecosystem identifiers table

Usage:

network:
  allowed:
    - lean

Warning

Firewall rules blocked me from connecting to one or more addresses (expand for details)

I tried to connect to the following addresses, but was blocked by firewall rules:

https://api.github.com/graphql
- Triggering command: /usr/bin/gh /usr/bin/gh api graphql -f query=query($owner: String!, $name: String!) { repository(owner: $owner, name: $name) { hasDiscussionsEnabled } } -f owner=github -f name=gh-aw 426113/b213/vet.rev-parse ache/go/1.25.8/x--show-toplevel git rev-�� --show-toplevel ache/go/1.25.8/x64/pkg/tool/linux_amd64/vet /usr/bin/git 1533-32232/test-git -trimpath ache/go/1.25.8/x--show-toplevel git (http block)
https://api.github.com/orgs/test-owner/actions/secrets
- Triggering command: /usr/bin/gh gh api /orgs/test-owner/actions/secrets --jq .secrets[].name -json GO111MODULE x_amd64/compile GOINSECURE GOMOD GOMODCACHE x_amd64/compile env -json GO111MODULE x_amd64/compile GOINSECURE GOMOD GOMODCACHE x_amd64/compile (http block)
https://api.github.com/repos/actions/ai-inference/git/ref/tags/v1
- Triggering command: /usr/bin/gh gh api /repos/actions/ai-inference/git/ref/tags/v1 --jq .object.sha /home/REDACTED/work/gh-aw/gh-aw/.github/workflows/api-consumption-report.md x_amd64/vet /usr/bin/gh ortcfg cfg 64/pkg/tool/linu--show-toplevel gh api --paginate repos/{owner}/{repo}/actions/runs/1/artifacts /usr/bin/git .artifacts[].namgit GO111MODULE 64/pkg/tool/linu--show-toplevel git (http block)
https://api.github.com/repos/actions/checkout/git/ref/tags/v3
- Triggering command: /usr/bin/gh gh api /repos/actions/checkout/git/ref/tags/v3 --jq .object.sha --show-toplevel x_amd64/compile /usr/bin/git -json ii/equal_fold.gorev-parse x_amd64/compile git -C /home/REDACTED/work/gh-aw/gh-aw/.github/workflows rev-parse /usr/bin/git -json GO111MODULE x_amd64/vet git (http block)
https://api.github.com/repos/actions/checkout/git/ref/tags/v5
- Triggering command: /usr/bin/gh gh api /repos/actions/checkout/git/ref/tags/v5 --jq .object.sha se 426113/b052/vet.cfg cfg GOINSECURE GOMOD GOMODCACHE ache/go/1.25.8/x12346 (http block)
- Triggering command: /usr/bin/gh gh api /repos/actions/checkout/git/ref/tags/v5 --jq .object.sha --show-toplevel 64/pkg/tool/linutest@example.com /usr/bin/git 2775132/b142/_pkgit xxol/GL-tkTNtkvurev-parse 64/pkg/tool/linu--show-toplevel git rev-�� --show-toplevel 64/pkg/tool/linuremote.origin.url /usr/bin/git 99/001/test-frongit 426113/b040/vet.rev-parse 64/pkg/tool/linu--show-toplevel git (http block)
- Triggering command: /usr/bin/gh gh api /repos/actions/checkout/git/ref/tags/v5 --jq .object.sha --show-toplevel rtcfg /usr/bin/git g/sliceutil/slicgit g/sliceutil/slicrev-parse ache/go/1.25.8/x--show-toplevel git rev-�� --show-toplevel ache/go/1.25.8/x64/pkg/tool/linux_amd64/compile /usr/bin/git 426113/b434/_pkggit -buildtags 426113/b434=> git (http block)
https://api.github.com/repos/actions/github-script/git/ref/tags/v8
- Triggering command: /usr/bin/gh gh api /repos/actions/github-script/git/ref/tags/v8 --jq .object.sha --show-toplevel ache/go/1.25.8/x64/pkg/tool/linu-dwarf=false /usr/bin/git efaultBranchFromgit efaultBranchFrominit cfg git rev-�� --show-toplevel ache/go/1.25.8/x64/pkg/tool/linuremote.origin.url /usr/bin/git se 426113/b230/vet.rev-parse ache/go/1.25.8/x--show-toplevel git (http block)
https://api.github.com/repos/actions/github-script/git/ref/tags/v9
- Triggering command: /usr/bin/gh gh api /repos/actions/github-script/git/ref/tags/v9 --jq .object.sha -json GO111MODULE x_amd64/asm GOINSECURE GOMOD GOMODCACHE x_amd64/asm env -json GO111MODULE x_amd64/compile GOINSECURE GOMOD GOMODCACHE x_amd64/compile (http block)
- Triggering command: /usr/bin/gh gh api /repos/actions/github-script/git/ref/tags/v9 --jq .object.sha -json GO111MODULE x_amd64/compile GOINSECURE GOMOD GOMODCACHE x_amd64/compile env -json GO111MODULE x_amd64/vet GOINSECURE GOMOD GOMODCACHE x_amd64/vet (http block)
- Triggering command: /usr/bin/gh gh api /repos/actions/github-script/git/ref/tags/v9 --jq .object.sha -json GO111MODULE x_amd64/asm GOINSECURE GOMOD GOMODCACHE x_amd64/asm env -json GO111MODULE x_amd64/vet GOINSECURE GOMOD GOMODCACHE x_amd64/vet (http block)
https://api.github.com/repos/actions/setup-go/git/ref/tags/v4
- Triggering command: /usr/bin/gh gh api /repos/actions/setup-go/git/ref/tags/v4 --jq .object.sha --get remote.origin.url /usr/bin/git 64/001 GO111MODULE x_amd64/vet git rev-�� --git-dir x_amd64/vet /opt/hostedtoolcache/node/24.14.1/x64/bin/node gk88dzu3u GO111MODULE 64/pkg/tool/linu--show-toplevel /opt/hostedtoolcache/node/24.14.1/x64/bin/node (http block)
https://api.github.com/repos/actions/setup-node/git/ref/tags/v4
- Triggering command: /usr/bin/gh gh api /repos/actions/setup-node/git/ref/tags/v4 --jq .object.sha add origin /usr/bin/git 637700/001 GO111MODULE x_amd64/vet git rev-�� --show-toplevel x_amd64/vet /opt/hostedtoolcache/node/24.14.1/x64/bin/node -h gh-aw.wasm |git GO111MODULE 64/pkg/tool/linu--show-toplevel node (http block)
https://api.github.com/repos/actions/upload-artifact/git/ref/tags/v4
- Triggering command: /usr/bin/gh gh api /repos/actions/upload-artifact/git/ref/tags/v4 --jq .object.sha ripts/lint_error_messages.go ripts/lint_error_messages_test.go 1/x64/bin/node -test.timeout=10git -test.run=^Test -test.short=true--show-toplevel infocmp t-ha�� ithub/workflows/approach-validator.md go /usr/bin/git -json GO111MODULE x_amd64/compile git (http block)
https://api.github.com/repos/actions/upload-artifact/git/ref/tags/v7
- Triggering command: /usr/bin/gh gh api /repos/actions/upload-artifact/git/ref/tags/v7 --jq .object.sha 1533-32232/test-test-logs/run-2 -trimpath ache/go/1.25.8/x64/pkg/tool/linu-importcfg -I /tmp/go-build316rev-parse -I ache/go/1.25.8/x64/pkg/tool/linu/home/REDACTED/work/gh-aw/gh-aw/scripts/lint_error_messages_test.go -o /ref/tags/v9 -trimpath 426113/b196/vet.cfg -p net/http/internarev-parse -lang=go1.25 /opt/hostedtoolcache/go/1.25.8/x64/pkg/tool/linux_amd64/compile (http block)
- Triggering command: /usr/bin/gh gh api /repos/actions/upload-artifact/git/ref/tags/v7 --jq .object.sha /tmp/go-build3162775132/b121/_pkg_.a -trimpath ache/go/1.25.8/x64/pkg/tool/linux_amd64/compile -p github.com/githurev-parse -lang=go1.25 ache/go/1.25.8/x64/pkg/tool/linux_amd64/compile -uns�� rt.go rt_test.go 1/x64/bin/node go1.25.8 b/gh-aw/pkg/envurev-parse -nolocalimports e/git (http block)
- Triggering command: /usr/bin/gh gh api /repos/actions/upload-artifact/git/ref/tags/v7 --jq .object.sha 1533-32232/test-3062276718 -trimpath (http block)
https://api.github.com/repos/github/gh-aw-actions/git/ref/tags/v0.1.2
- Triggering command: /usr/bin/gh gh api /repos/github/gh-aw-actions/git/ref/tags/v0.1.2 --jq .object.sha --get remote.origin.url /usr/bin/git rity4219629561/0git 5.0/internal/docrev-parse nch,headSha,disp--show-toplevel git rev-�� --show-toplevel x_amd64/vet 426113/b451/vet.cfg g_.a Bzwz7Kv-X 64/pkg/tool/linu--show-toplevel git (http block)
https://api.github.com/repos/github/gh-aw-actions/git/ref/tags/v1.0.0
- Triggering command: /usr/bin/gh gh api /repos/github/gh-aw-actions/git/ref/tags/v1.0.0 --jq .object.sha 426113/b438/styles.test -importcfg 426113/b438/importcfg.link -s -w -buildmode=exe -61WmX-UYWRpd/KSEM5q0eEd8ODRUBo0IW/vJPU-Hn1hKAHi^remote\..*\.gh-resolved$ rev-�� ry=1 -extld=gcc 426113/b438/_pkg_.a -json GO111MODULE x_amd64/compile git (http block)
https://api.github.com/repos/github/gh-aw-actions/git/ref/tags/v1.2.3
- Triggering command: /usr/bin/gh gh api /repos/github/gh-aw-actions/git/ref/tags/v1.2.3 --jq .object.sha 426113/b438/_pkg_.a -tests ache/go/1.25.8/x64/pkg/tool/linux_amd64/link -json GO111MODULE x_amd64/compile ache/go/1.25.8/x64/pkg/tool/linux_amd64/link rev-�� 426113/b455/scripts.test x_amd64/compile 426113/b455/importcfg.link -json GO111MODULE x_amd64/compile 7D8RXanEmFBss/sX9FX53sm1OTZ6jdpoJ_/CWrYu2czG7Ca7ylQP4Z8/vCNYLdc7D8RXanEmFBss (http block)
https://api.github.com/repos/github/gh-aw/actions/runs/1/artifacts
- Triggering command: /usr/bin/gh gh api --paginate repos/{owner}/{repo}/actions/runs/1/artifacts --jq .artifacts[].name GO111MODULE 64/pkg/tool/linux_amd64/vet GOINSECURE GOMOD GOMODCACHE 64/pkg/tool/linux_amd64/vet env 2775132/b201/_pkg_.a O8a-/w8uJjXynBhCHi02xO8a- x_amd64/compile GOINSECURE fips140/hkdf GOMODCACHE x_amd64/compile (http block)
- Triggering command: /usr/bin/gh gh run download 1 --dir test-logs/run-1 GO111MODULE 64/pkg/tool/linux_amd64/vet GOINSECURE fips140/hmac GOMODCACHE 64/pkg/tool/linux_amd64/vet env 789036526 ahb4/lZep-2MiwczJtV1iahb4 cfg GOINSECURE GOMOD GOMODCACHE ache/go/1.25.8/x64/pkg/tool/linu-trimpath (http block)
https://api.github.com/repos/github/gh-aw/actions/runs/12345/artifacts
- Triggering command: /usr/bin/gh gh api --paginate repos/{owner}/{repo}/actions/runs/12345/artifacts --jq .artifacts[].name cfg 64/pkg/tool/linux_amd64/vet GOINSECURE 2775132/b011/ GOMODCACHE 64/pkg/tool/linux_amd64/vet env 2775132/b184/_pkg_.a cfg tants.test GOINSECURE 2775132/b011/sys/tmp/js-hash-test-4124888285/test-hash.js ache/go/1.25.8/x/home/REDACTED/work/gh-aw/gh-aw/.github/workflows/api-consumption-report.md tants.test (http block)
- Triggering command: /usr/bin/gh gh run download 12345 --dir test-logs/run-12345 cfg 64/pkg/tool/linux_amd64/vet GOINSECURE b/gh-aw/pkg/slicrev-parse GOMODCACHE 64/pkg/tool/linux_amd64/vet env 2775132/b192/_pkg_.a GO111MODULE ache/go/1.25.8/x64/pkg/tool/linu-lang=go1.25 GOINSECURE GOMOD GOMODCACHE ache/go/1.25.8/x64/pkg/tool/linuremote.origin.url (http block)
https://api.github.com/repos/github/gh-aw/actions/runs/12346/artifacts
- Triggering command: /usr/bin/gh gh api --paginate repos/{owner}/{repo}/actions/runs/12346/artifacts --jq .artifacts[].name cfg 64/pkg/tool/linux_amd64/vet GOINSECURE GOMOD GOMODCACHE 64/pkg/tool/linuTest User env 2775132/b183/_pkg_.a zm1t/ybsydLQ-bM8eUCGDzm1t til.test GOINSECURE g/x/crypto/cryptconfig GOMODCACHE til.test (http block)
- Triggering command: /usr/bin/gh gh run download 12346 --dir test-logs/run-12346 cfg 64/pkg/tool/linux_amd64/vet GOINSECURE GOMOD GOMODCACHE 64/pkg/tool/linux_amd64/vet env 2775132/b193/_pkg_.a TJ4J/EoB_P8I8HxwDW6KATJ4J ache/go/1.25.8/x64/pkg/tool/linu-lang=go1.25 GOINSECURE GOMOD GOMODCACHE ache/go/1.25.8/x64/pkg/tool/linu-goversion (http block)
https://api.github.com/repos/github/gh-aw/actions/runs/2/artifacts
- Triggering command: /usr/bin/gh gh api --paginate repos/{owner}/{repo}/actions/runs/2/artifacts --jq .artifacts[].name cfg 64/pkg/tool/linux_amd64/vet GOINSECURE GOMOD GOMODCACHE 64/pkg/tool/linux_amd64/vet rtcf�� 1040361201 tmain.go 64/pkg/tool/linux_amd64/vet GOINSECURE GOMOD GOMODCACHE 64/pkg/tool/linux_amd64/vet (http block)
- Triggering command: /usr/bin/gh gh run download 2 --dir test-logs/run-2 GO111MODULE 64/pkg/tool/linu-importcfg GOINSECURE 2775132/b092/ GOMODCACHE 64/pkg/tool/linu/home/REDACTED/work/gh-aw/gh-aw/scripts/lint_error_messages_test.go env ternal/tools/generate-action-metadata/main.go GO111MODULE cfg GOINSECURE l 2775132/b092/sym/home/REDACTED/work/gh-aw/gh-aw/.github/workflows/approach-validator.md ache/go/1.25.8/x64/pkg/tool/linux_amd64/compile (http block)
https://api.github.com/repos/github/gh-aw/actions/runs/3/artifacts
- Triggering command: /usr/bin/gh gh api --paginate repos/{owner}/{repo}/actions/runs/3/artifacts --jq .artifacts[].name cfg 64/pkg/tool/linux_amd64/vet GOINSECURE GOMOD GOMODCACHE 64/pkg/tool/linuTest User env 2775132/b204/_pkg_.a GO111MODULE ache/go/1.25.8/x64/pkg/tool/linux_amd64/vet GOINSECURE fips140/tls12 GOMODCACHE ache/go/1.25.8/x64/pkg/tool/linux_amd64/vet (http block)
- Triggering command: /usr/bin/gh gh run download 3 --dir test-logs/run-3 GO111MODULE 64/pkg/tool/linux_amd64/vet GOINSECURE randutil GOMODCACHE 64/pkg/tool/linux_amd64/vet env 789036526/.github/workflows SZyr/UNQkpBpW_IvLZuHOSZyr k GOINSECURE able GOMODCACHE ache/go/1.25.8/x64/pkg/tool/linu-test.v=true (http block)
https://api.github.com/repos/github/gh-aw/actions/runs/4/artifacts
- Triggering command: /usr/bin/gh gh api --paginate repos/{owner}/{repo}/actions/runs/4/artifacts --jq .artifacts[].name GO111MODULE 64/pkg/tool/linux_amd64/vet GOINSECURE 2775132/b078/ GOMODCACHE 64/pkg/tool/linux_amd64/vet env 1040361201 GO111MODULE cfg GOINSECURE fips140/mlkem ache/go/1.25.8/x--show-toplevel ache/go/1.25.8/x64/pkg/tool/linux_amd64/vet (http block)
- Triggering command: /usr/bin/gh gh run download 4 --dir test-logs/run-4 GO111MODULE 64/pkg/tool/linux_amd64/vet GOINSECURE /execenv GOMODCACHE 64/pkg/tool/linux_amd64/vet env 789036526/.github/workflows vNkW/MmwpPo_3e3tB-Au8vNkW cfg GOINSECURE g/x/text/secure/init GOMODCACHE ache/go/1.25.8/x64/pkg/tool/linux_amd64/vet (http block)
https://api.github.com/repos/github/gh-aw/actions/runs/5/artifacts
- Triggering command: /usr/bin/gh gh api --paginate repos/{owner}/{repo}/actions/runs/5/artifacts --jq .artifacts[].name GO111MODULE 64/pkg/tool/linux_amd64/vet GOINSECURE (http block)
- Triggering command: /usr/bin/gh gh run download 5 --dir test-logs/run-5 cfg 64/pkg/tool/linux_amd64/vet GOINSECURE GOMOD GOMODCACHE 64/pkg/tool/linux_amd64/vet env dcfg aMu6/n6X7R7Av3bGkLZAPaMu6 util.test GOINSECURE GOMOD GOMODCACHE util.test (http block)
https://api.github.com/repos/github/gh-aw/actions/workflows
- Triggering command: /usr/bin/gh gh workflow list --json name,state,path -json GO111MODULE x_amd64/compile GOINSECURE GOMOD GOMODCACHE x_amd64/compile env -json 1.5.0/internal/m-ifaceassert x_amd64/compile GOINSECURE GOMOD GOMODCACHE x_amd64/compile (http block)
- Triggering command: /usr/bin/gh gh run list --json databaseId,number,url,status,conclusion,workflowName,createdAt,startedAt,updatedAt,event,headBranch,headSha,displayTitle --workflow nonexistent-workflow-12345 --limit 100 GOMOD GOMODCACHE x_amd64/vet env -json GO111MODULE x_amd64/vet GOINSECURE GOMOD GOMODCACHE x_amd64/vet (http block)
- Triggering command: /usr/bin/gh gh run list --json databaseId,number,url,status,conclusion,workflowName,createdAt,startedAt,updatedAt,event,headBranch,headSha,displayTitle --workflow nonexistent-workflow-12345 --limit 6 2775132/b087/ GOMODCACHE 64/pkg/tool/linux_amd64/vet env edOutput1428860155/001 cfg 64/pkg/tool/linux_amd64/vet GOINSECURE 2775132/b133/ 2775132/b087/sym/home/REDACTED/work/gh-aw/gh-aw/.github/workflows/ai-moderator.md 64/pkg/tool/linux_amd64/vet (http block)
https://api.github.com/repos/github/gh-aw/git/ref/tags/v0.47.4
- Triggering command: /usr/bin/gh gh api /repos/github/gh-aw/git/ref/tags/v0.47.4 --jq .object.sha --show-toplevel 64/pkg/tool/linux_amd64/link /usr/bin/git tdrain.test GO111MODULE rtcfg.link git rev-�� 4 -type d -name bin 2>/dev/null | tr '\n' ':')$PATH"; [ -n "$GOROOT" ] && export PATH="$GOROOT/git BKm50pWSBnWaS_AZA5/knRjAMtClJ9LcxI1GwIk/MEWFNI20config /usr/bin/git se 426113/b118/vet.rev-list _.a git (http block)
https://api.github.com/repos/github/gh-aw/git/ref/tags/v1.0.0
- Triggering command: /usr/bin/gh gh api /repos/github/gh-aw/git/ref/tags/v1.0.0 --jq .object.sha edOutput1428860155/001 cfg 64/pkg/tool/linux_amd64/compile GOINSECURE /go-yaml GOMODCACHE 64/pkg/tool/linuTest User (http block)
https://api.github.com/repos/github/gh-aw/git/ref/tags/v1.2.3
- Triggering command: /usr/bin/gh gh api /repos/github/gh-aw/git/ref/tags/v1.2.3 --jq .object.sha -json GO111MODULE x_amd64/vet GOINSECURE GOMOD GOMODCACHE x_amd64/vet env g_.a GO111MODULE x_amd64/vet GOINSECURE GOMOD GOMODCACHE x_amd64/vet (http block)
https://api.github.com/repos/github/gh-aw/git/ref/tags/v2.0.0
- Triggering command: /usr/bin/gh gh api /repos/github/gh-aw/git/ref/tags/v2.0.0 --jq .object.sha adata/main.go GO111MODULE x_amd64/compile GOINSECURE GOMOD GOMODCACHE x_amd64/compile env -json GO111MODULE x_amd64/vet GOINSECURE GOMOD GOMODCACHE x_amd64/vet (http block)
- Triggering command: /usr/bin/gh gh api /repos/github/gh-aw/git/ref/tags/v2.0.0 --jq .object.sha -json GO111MODULE x_amd64/vet GOINSECURE GOMOD GOMODCACHE x_amd64/vet env g_.a GO111MODULE x_amd64/vet GOINSECURE GOMOD GOMODCACHE x_amd64/vet (http block)
- Triggering command: /usr/bin/gh gh api /repos/github/gh-aw/git/ref/tags/v2.0.0 --jq .object.sha -json GO111MODULE x_amd64/vet GOINSECURE GOMOD GOMODCACHE x_amd64/vet env -json GO111MODULE x_amd64/vet GOINSECURE GOMOD GOMODCACHE x_amd64/vet (http block)
https://api.github.com/repos/github/gh-aw/git/ref/tags/v3.0.0
- Triggering command: /usr/bin/gh gh api /repos/github/gh-aw/git/ref/tags/v3.0.0 --jq .object.sha -json GO111MODULE x_amd64/vet GOINSECURE mcpgodebug GOMODCACHE x_amd64/vet env -json GO111MODULE x_amd64/vet GOINSECURE GOMOD GOMODCACHE x_amd64/vet (http block)
https://api.github.com/repos/nonexistent/action/git/ref/tags/v999.999.999
- Triggering command: /usr/bin/gh gh api /repos/nonexistent/action/git/ref/tags/v999.999.999 --jq .object.sha 2775132/b150/_pkg_.a cfg 64/pkg/tool/linux_amd64/vet GOINSECURE ntio/asm/cpu/armrev-parse GOMODCACHE 64/pkg/tool/linux_amd64/vet (http block)
https://api.github.com/repos/nonexistent/repo/actions/runs/12345
- Triggering command: /usr/bin/gh gh run view 12345 --repo nonexistent/repo --json status,conclusion GOINSECURE GOMOD 2775132/b012/sym--git-dir 64/pkg/tool/linux_amd64/vet ache�� 2775132/b239/_pkg_.a cYAj/2RoSUfAH8dMcuiX4cYAj ache/go/1.25.8/x64/pkg/tool/linux_amd64/vet GOINSECURE t/internal/catmsrev-parse GOMODCACHE ache/go/1.25.8/x64/pkg/tool/linuremote (http block)
https://api.github.com/repos/owner/repo/actions/workflows
- Triggering command: /usr/bin/gh gh workflow list --json name,state,path --repo owner/repo x_amd64/compile GOINSECURE GOMOD GOMODCACHE x_amd64/compile env -json GO111MODULE x_amd64/compile GOINSECURE GOMOD GOMODCACHE x_amd64/compile (http block)
- Triggering command: /usr/bin/gh gh workflow list --json name,state,path --repo owner/repo x_amd64/compile GOINSECURE GOMOD GOMODCACHE x_amd64/compile env -json ag.go x_amd64/compile GOINSECURE GOMOD GOMODCACHE x_amd64/compile (http block)
https://api.github.com/repos/owner/repo/contents/file.md
- Triggering command: /tmp/go-build654426113/b397/cli.test /tmp/go-build654426113/b397/cli.test -test.testlogfile=/tmp/go-build654426113/b397/testlog.txt -test.paniconexit0 -test.v=true -test.parallel=4 -test.timeout=10m0s -test.run=^Test -test.short=true GOINSECURE GOMOD GOMODCACHE go env -json GO111MODULE x_amd64/compile GOINSECURE GOMOD GOMODCACHE x_amd64/compile (http block)
https://api.github.com/repos/test-owner/test-repo/actions/secrets
- Triggering command: /usr/bin/gh gh api /repos/test-owner/test-repo/actions/secrets --jq .secrets[].name -json GO111MODULE x_amd64/asm GOINSECURE GOMOD GOMODCACHE x_amd64/asm env -json GO111MODULE x_amd64/compile GOINSECURE GOMOD GOMODCACHE x_amd64/compile (http block)

If you need me to access, download, or install something from one of these locations, you can either:

Configure Actions setup steps to set up my environment, which run before the firewall is enabled
Add the appropriate URLs or hosts to the custom allowlist in this repository's Copilot coding agent settings (admins only)

Agent-Logs-Url: https://github.com/github/gh-aw/sessions/3f4217e8-a220-4ba6-8f48-992e6f6b95a2 Co-authored-by: pelikhan <4175913+pelikhan@users.noreply.github.com>

pelikhan · 2026-04-15T13:28:09Z

@copilot update main json schema

Copilot

Pull request overview

Adds a new lean ecosystem identifier so workflows can allowlist the Lean 4 toolchain/package-management domains via network.allowed.

Changes:

Add lean domain set to pkg/workflow/data/ecosystem_domains.json
Register lean in ecosystemPriority and the GetAllowedDomains supported-identifiers doc comment
Document lean in the network permissions reference table

Show a summary per file

File	Description
pkg/workflow/data/ecosystem_domains.json	Adds the Lean ecosystem’s allowlisted domains (elan, reservoir, docs, etc.).
pkg/workflow/domains.go	Makes `lean` a recognized ecosystem identifier and part of deterministic ecosystem resolution.
docs/src/content/docs/reference/network.md	Documents `lean` as a valid ecosystem identifier for `network.allowed`.

Copilot's findings

Tip

Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

Files reviewed: 3/3 changed files
Comments generated: 1

Copilot · 2026-04-15T13:31:12Z

 	"java", // before "chrome" — maven.google.com and dl.google.com are Java domains, not chrome domains
 	"chrome",
 	"kotlin",
+	"lean",
 	"linux-distros",


The new lean ecosystem identifier is now supported (added to ecosystemPriority and the public doc comment), but there’s no unit test asserting that GetAllowedDomains expands lean to the expected domains and that GetDomainEcosystem maps a representative Lean domain back to lean. Adding a small test case (similar to other ecosystem expansion tests) would prevent regressions if the JSON data or priority order changes.

github-actions · 2026-04-15T13:31:20Z

Hey @Copilot 👋 — great PR for adding the lean ecosystem entry! The description clearly explains the five domains covered (Elan, Lake/Reservoir, toolchain binaries, docs, and project site), and the change is nicely scoped to ecosystem_domains.json.

A couple of things to address before this is ready for review:

PR is still in draft — once the implementation is complete and you've verified things work, mark it as ready for review.
Tests — if there are existing tests for ecosystem_domains.json entries (e.g., validation or compilation tests), make sure they cover the new lean entry as well. If not, consider adding a basic test to verify the new domains parse and validate correctly.
Run validation — confirm make build, make test, and make lint all pass with this change.

Looking forward to seeing this land! 🌱

Generated by Contribution Check · ● 1.6M · ◷

Initial plan

371b03b

Copilot AI assigned Copilot and pelikhan Apr 15, 2026

Copilot started work on behalf of pelikhan April 15, 2026 13:08 View session

Copilot AI linked an issue Apr 15, 2026 that may be closed by this pull request

ecosystem_domains.json: add lean ecosystem entry #26407

Closed

feat: add lean ecosystem entry to ecosystem_domains.json (#issue)

5f4782a

Agent-Logs-Url: https://github.com/github/gh-aw/sessions/3f4217e8-a220-4ba6-8f48-992e6f6b95a2 Co-authored-by: pelikhan <4175913+pelikhan@users.noreply.github.com>

Copilot AI changed the title ~~[WIP] Add lean ecosystem entry to ecosystem_domains.json~~ feat: add lean ecosystem entry to ecosystem_domains.json Apr 15, 2026

Copilot finished work on behalf of pelikhan April 15, 2026 13:26

Copilot AI requested a review from pelikhan April 15, 2026 13:26

pelikhan marked this pull request as ready for review April 15, 2026 13:28

Copilot AI review requested due to automatic review settings April 15, 2026 13:28

Copilot started reviewing on behalf of pelikhan April 15, 2026 13:29 View session

github-actions Bot added the needs-work label Apr 15, 2026

This comment has been minimized.

Sign in to view

Copilot AI reviewed Apr 15, 2026

View reviewed changes

This was referenced Apr 15, 2026

[Contribution Check Report] Contribution Check — 2026-04-15 #26376

Closed

[aw] No-Op Runs #25214

Closed

pelikhan merged commit e0389de into main Apr 15, 2026
78 checks passed

pelikhan deleted the copilot/add-lean-ecosystem-entry branch April 15, 2026 13:38

Copilot stopped work on behalf of pelikhan due to an error April 15, 2026 13:43
Pull request is not open

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

feat: add `lean` ecosystem entry to ecosystem_domains.json#26424

feat: add `lean` ecosystem entry to ecosystem_domains.json#26424
pelikhan merged 2 commits intomainfrom
copilot/add-lean-ecosystem-entry

Copilot AI commented Apr 15, 2026 •

edited

Loading

Uh oh!

pelikhan commented Apr 15, 2026

Uh oh!

This comment has been minimized.

Copilot AI left a comment

Uh oh!

Copilot AI Apr 15, 2026

Uh oh!

github-actions Bot commented Apr 15, 2026

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

3 participants

Conversation

Copilot AI commented Apr 15, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Changes

I tried to connect to the following addresses, but was blocked by firewall rules:

Uh oh!

pelikhan commented Apr 15, 2026

Uh oh!

This comment has been minimized.

Copilot AI left a comment

Choose a reason for hiding this comment

Pull request overview

Copilot's findings

Uh oh!

Copilot AI Apr 15, 2026

Choose a reason for hiding this comment

Uh oh!

github-actions Bot commented Apr 15, 2026

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

3 participants

Copilot AI commented Apr 15, 2026 •

edited

Loading