Skip to content

PR triage workflow: Fixup workflow_dispatch YAML value#924

Merged
mfisher87 merged 1 commit intogeojupyter:mainfrom
mfisher87:fixup-workflow-yaml
Sep 12, 2025
Merged

PR triage workflow: Fixup workflow_dispatch YAML value#924
mfisher87 merged 1 commit intogeojupyter:mainfrom
mfisher87:fixup-workflow-yaml

Conversation

@mfisher87
Copy link
Member

@mfisher87 mfisher87 commented Sep 12, 2025

Description

workflow_dispatch should be null to use default settings, shorthand is empty value.

Fixup bug introduced in #923

Checklist

  • PR has a descriptive title and content.
  • PR description contains references to any issues the PR resolves, e.g. Resolves #XXX.
  • PR has one of the labels: documentation, bug, enhancement, feature, maintenance
  • Checks are passing.
    Failing lint checks can be resolved with:
    • pre-commit run --all-files
    • jlpm run lint

📚 Documentation preview: https://jupytergis--924.org.readthedocs.build/en/924/
💡 JupyterLite preview: https://jupytergis--924.org.readthedocs.build/en/924/lite

Should be null, shorthand is empty value.
@mfisher87 mfisher87 added the maintenance Fixing lint errors, changing project metadata, changing tooling, changing dependencies, etc. label Sep 12, 2025
@github-actions
Copy link
Contributor

Binder 👈 Launch a Binder on branch mfisher87/jupytergis/fixup-workflow-yaml

@mfisher87
Copy link
Member Author

YOLO again!

@mfisher87 mfisher87 merged commit 8ede9a6 into geojupyter:main Sep 12, 2025
11 of 13 checks passed
@mfisher87 mfisher87 deleted the fixup-workflow-yaml branch September 12, 2025 21:26
@mfisher87 mfisher87 changed the title Fixup workflow_dispatch YAML value Fixup triage workflow's workflow_dispatch YAML value Sep 12, 2025
@github-actions
Copy link
Contributor

Integration tests report: appsharing.space

@mfisher87 mfisher87 changed the title Fixup triage workflow's workflow_dispatch YAML value PR triage workflow: Fixup workflow_dispatch YAML value Sep 16, 2025
HaudinFlorence pushed a commit to HaudinFlorence/jupytergis that referenced this pull request Jan 28, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

maintenance Fixing lint errors, changing project metadata, changing tooling, changing dependencies, etc.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant