Skip to content

Conversation

erikmd
Copy link
Collaborator

@erikmd erikmd commented Sep 9, 2025

  • Kind: enhancement

Description

Address GHA lint warnings

Checklist

Note to maintainers

  • Read this wiki page.
  • Make sure the PR has a milestone.
  • Assign yourself before merging.
  • Either do a regular merge:
    • for PRs containing several commits following conventional-commits,
    • or for PRs containing 1 commit shared with a later PR (to preserve the SHA1)
  • Or do a squash-merge:
    • for PRs containing only 1 commit (not shared with a later PR),
    • or for PRs containing several commits that need not be kept in the history;
    • Update the commit message header with a conventional-commit type,
    • Add a footer Close #… if a related issue exists.

@erikmd erikmd self-assigned this Sep 9, 2025
@erikmd erikmd enabled auto-merge (squash) September 9, 2025 08:12
@erikmd erikmd merged commit 5ffd748 into ocaml-sf:master Sep 9, 2025
9 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant