Skip to content

Add workflow_dispatch trigger to enable manual workflow execution - #1

Merged
dimitri-yatsenko merged 4 commits into
mainfrom
copilot/build-deploy-datajoint-book
Nov 12, 2025
Merged

Add workflow_dispatch trigger to enable manual workflow execution#1
dimitri-yatsenko merged 4 commits into
mainfrom
copilot/build-deploy-datajoint-book

Conversation

Copilot AI commented Nov 12, 2025

Copy link
Copy Markdown

The workflow could only be triggered automatically on push/PR. Users had no way to manually run builds or redeploy without creating commits.

Changes

  • .github/workflows/main.yml: Added workflow_dispatch trigger to enable manual execution via GitHub Actions UI
  • README.md: Added "Manual Workflow Execution" section documenting the workflow run process

Usage

Navigate to Actions → "Build and Deploy DataJoint Book" → "Run workflow" button. Deployment only occurs when running on main branch; other branches build-only.

Original prompt

How do I run the workflow "Build and Deploy DataJoint Book"?


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

Co-authored-by: dimitri-yatsenko <1096169+dimitri-yatsenko@users.noreply.github.com>
Comment thread README.md Outdated
Signed-off-by: Dimitri Yatsenko <dimitri@datajoint.com>
Copilot AI changed the title [WIP] Run workflow for building and deploying DataJoint book Add workflow_dispatch trigger to enable manual workflow execution Nov 12, 2025
Comment thread README.md Outdated
Signed-off-by: Dimitri Yatsenko <dimitri@datajoint.com>
@dimitri-yatsenko
dimitri-yatsenko marked this pull request as ready for review November 12, 2025 20:00
@dimitri-yatsenko
dimitri-yatsenko merged commit fbc8117 into main Nov 12, 2025
2 checks passed
dimitri-yatsenko added a commit that referenced this pull request Dec 11, 2025
…nsistency-01ARt5VjKFH7ck96mtkF1xuk

Standardize Relational Workflow Model terminology
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.

2 participants