Skip to content
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.

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

Cleanup #447

Merged
merged 1 commit into from
Aug 4, 2024
Merged

Cleanup #447

merged 1 commit into from
Aug 4, 2024

Conversation

smorimoto
Copy link
Contributor

@smorimoto smorimoto commented Jul 4, 2024

@smorimoto smorimoto force-pushed the cleanup branch 10 times, most recently from 49272f9 to 57ff580 Compare July 4, 2024 22:16
@smorimoto
Copy link
Contributor Author

Ready to merge!

@smorimoto
Copy link
Contributor Author

Gentle ping

.github/workflows/ci.yml Outdated Show resolved Hide resolved
dune-project Outdated Show resolved Hide resolved
@smorimoto smorimoto force-pushed the cleanup branch 4 times, most recently from 5dd8853 to 4713592 Compare August 4, 2024 16:58
@smorimoto
Copy link
Contributor Author

@gfngfn Ready to merge!

Comment on lines -22 to +19
- "4.14"
- 4
Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Specify 4 instead of 4.14 to let setup-ocaml always lookup the latest OCaml 4 variant!

Signed-off-by: Sora Morimoto <[email protected]>
@gfngfn
Copy link
Owner

gfngfn commented Aug 4, 2024

Thank you so much for arranging!

@gfngfn
Copy link
Owner

gfngfn commented Aug 4, 2024

Oops, merging failed and the CI workflows started to run again 😕

let version =
match Build_info.V1.version () with
| None -> "dev"
| Some v -> Build_info.V1.Version.to_string v
Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Do not forget to add a version field to the opam file during release process!

@smorimoto
Copy link
Contributor Author

Oops 😅

@gfngfn gfngfn merged commit cd715db into gfngfn:master Aug 4, 2024
2 of 4 checks passed
@smorimoto smorimoto deleted the cleanup branch August 4, 2024 18:05
@smorimoto
Copy link
Contributor Author

Thanks a lot @gfngfn!

@gfngfn
Copy link
Owner

gfngfn commented Aug 4, 2024

Successfully merged 👍

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants