Skip to content

Update workflow to match seclab-taskflow-agent#87

Merged
kevinbackhouse merged 1 commit into
GitHubSecurityLab:mainfrom
kevinbackhouse:update-ci
Jun 3, 2026
Merged

Update workflow to match seclab-taskflow-agent#87
kevinbackhouse merged 1 commit into
GitHubSecurityLab:mainfrom
kevinbackhouse:update-ci

Conversation

@kevinbackhouse
Copy link
Copy Markdown
Contributor

Update this file so that it's identical to the one in seclab-taskflow-agent.

Copilot AI review requested due to automatic review settings June 2, 2026 16:38
Copy link
Copy Markdown
Contributor

Copilot AI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

Aligns this repository’s GitHub Actions CI workflow with the canonical version in GitHubSecurityLab/seclab-taskflow-agent, ensuring consistent CI behavior and dependency pinning across related projects.

Changes:

  • Pins actions/checkout and actions/setup-python to specific commit SHAs (with version comments).
  • Tweaks the Python version matrix comment to match the upstream workflow.
  • Converts the static analysis step to a multiline run: block.
Show a summary per file
File Description
.github/workflows/ci.yml Sync CI workflow with seclab-taskflow-agent, including pinned action SHAs and minor step formatting/comment updates.

Copilot's findings

Tip

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

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

Comment thread .github/workflows/ci.yml
matrix:
os: [ubuntu-latest, windows-latest, macos-latest]
python-version: ['3.11', '3.14'] # the one we have in the Codespace + the latest supported one by PyO3.
python-version: ['3.11', '3.14'] # the one we have in the Codespace + the latest one supported by Python 3.
@kevinbackhouse kevinbackhouse merged commit 027d08e into GitHubSecurityLab:main Jun 3, 2026
6 checks passed
@kevinbackhouse kevinbackhouse deleted the update-ci branch June 3, 2026 15:43
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.

3 participants