Skip to content

chore: Deploy ocamlsf/emacs-learn-ocaml-client:{master,$tags} #433

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Merged
merged 1 commit into from
Oct 4, 2021
Merged

chore: Deploy ocamlsf/emacs-learn-ocaml-client:{master,$tags} #433

merged 1 commit into from
Oct 4, 2021

Conversation

@erikmd
Copy link
Collaborator

@erikmd erikmd commented Oct 4, 2021

(for CI purpose)

@erikmd erikmd added the kind: infrastructure CI, build tools, development tools label Oct 4, 2021
@erikmd erikmd added this to the learn-ocaml 0.13.0 milestone Oct 4, 2021
@erikmd erikmd force-pushed the ci-docker-emacs-learn-ocaml-client branch from 74b498a to e9b3e62 Compare October 4, 2021 22:33
@erikmd
Copy link
Collaborator Author

erikmd commented Oct 4, 2021

Merging this "CI/CD" chore PR now (which cannot actually be tested before reaching master...)

@erikmd erikmd merged commit dce8f00 into ocaml-sf:master Oct 4, 2021
@erikmd erikmd deleted the ci-docker-emacs-learn-ocaml-client branch October 4, 2021 23:10
@erikmd erikmd self-assigned this Oct 4, 2021
@erikmd erikmd mentioned this pull request Oct 5, 2021
Merged
@proofbot proofbot mentioned this pull request Oct 5, 2021
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

@erikmd erikmd

Labels

kind: infrastructure CI, build tools, development tools

Projects

None yet

Milestone

learn-ocaml 0.13.0

Development

Successfully merging this pull request may close these issues.

1 participant

@erikmd