Skip to content

Conversation

@erikmd
Copy link
Collaborator

@erikmd erikmd commented Sep 8, 2025

Description

Perform more caching, as the Dockerfile does multi-stage builds

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 8, 2025
@erikmd erikmd added kind: enhancement Enhancement to an existing user-facing feature. kind: infrastructure CI, build tools, development tools labels Sep 8, 2025
@erikmd erikmd merged commit b28115a into ocaml-sf:master Sep 8, 2025
1 of 9 checks passed
@erikmd erikmd added this to the learn-ocaml 1.1.0 milestone Sep 8, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

kind: enhancement Enhancement to an existing user-facing feature. kind: infrastructure CI, build tools, development tools

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant