Skip to content

Conversation

@erikmd
Copy link
Collaborator

@erikmd erikmd commented Feb 12, 2024

  • Kind: preflight

Description

a chore, dry-run PR (that will be able to be integrated after the 1.0.0 release) just to test that the automatic opam-publish job will succeed after the PR #572 is merged.

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 added the kind: infrastructure CI, build tools, development tools label Feb 12, 2024
@erikmd erikmd self-assigned this Feb 12, 2024
@erikmd erikmd marked this pull request as draft February 12, 2024 23:26
@erikmd erikmd marked this pull request as ready for review February 13, 2024 15:21
@erikmd erikmd merged commit 3d47998 into master Feb 13, 2024
@erikmd erikmd deleted the preflight branch February 13, 2024 17:39
@erikmd erikmd added this to the learn-ocaml 1.1.0 milestone Apr 20, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

kind: infrastructure CI, build tools, development tools

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants