Skip to content

Fix workflows#52

Merged
forsyth2 merged 1 commit into
mainfrom
fix-workflows
Jun 30, 2026
Merged

Fix workflows#52
forsyth2 merged 1 commit into
mainfrom
fix-workflows

Conversation

@forsyth2

@forsyth2 forsyth2 commented Jun 30, 2026

Copy link
Copy Markdown
Collaborator

Summary

Objectives:

Select one: This pull request is...

  • a bug fix: increment the patch version
  • a small improvement: increment the minor version
  • a new feature: increment the minor version
  • an incompatible (non-backwards compatible) API change: increment the major version

Small Change

  • To merge, I will use "Squash and merge". That is, this change should be a single commit.
  • Logic: I have visually inspected the entire pull request myself.
  • Pre-commit checks: All the pre-commits checks have passed.

@forsyth2 forsyth2 self-assigned this Jun 30, 2026
@forsyth2 forsyth2 added DevOps CI/CD, configuration, etc. Documentation Files in `docs` modified labels Jun 30, 2026
@forsyth2
forsyth2 merged commit c562612 into main Jun 30, 2026
7 checks passed
@forsyth2
forsyth2 deleted the fix-workflows branch June 30, 2026 18:06
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

DevOps CI/CD, configuration, etc. Documentation Files in `docs` modified

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant