Skip to content

fix: move parameters section outside defaults to support parameter references#423

Closed
liyishuai wants to merge 1 commit intomasterfrom
fix/circleci-parameters
Closed

fix: move parameters section outside defaults to support parameter references#423
liyishuai wants to merge 1 commit intomasterfrom
fix/circleci-parameters

Conversation

@liyishuai
Copy link
Copy Markdown
Collaborator

In CircleCI 2.1, parameters must be defined at the top level of config.yml, not nested inside defaults. This fix moves the parameters section outside defaults so that references like <<parameters.coq>> and <<parameters.skip>> can be resolved.

Without this fix, the CircleCI config fails with parameter reference errors because the parameters section is nested inside defaults instead of being at the root level.

…ferences

In CircleCI 2.1, parameters must be defined at the top level of config.yml, not nested inside defaults. This fix moves the parameters section outside defaults so that references like <<parameters.coq>> and <<parameters.skip>> can be resolved.
@liyishuai liyishuai closed this Feb 21, 2026
@liyishuai liyishuai deleted the fix/circleci-parameters branch February 21, 2026 02:12
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.

1 participant