Skip to content

GHA depexts: some enhancements #6471

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

Merged
merged 5 commits into from
Apr 11, 2025
Merged

GHA depexts: some enhancements #6471

merged 5 commits into from
Apr 11, 2025

Conversation

rjbou
Copy link
Collaborator

@rjbou rjbou commented Apr 11, 2025

  • spellcheck pass
  • Add generate action script in spellcheck job
  • cleaning, add some comments
  • update local testing instructions
  • add repository caching in docker build in order to lighten test script: there is ow 2 repositories, main one and one that only contains conf-* files for the tests in entrypoint
  • make sure to use the good opam binary by expliciting full path

@rjbou rjbou added this to the 2.4.0~alpha1 milestone Apr 11, 2025
@rjbou rjbou requested a review from kit-ty-kate April 11, 2025 19:56
@rjbou rjbou marked this pull request as ready for review April 11, 2025 19:57
@kit-ty-kate
Copy link
Member

Thanks!

@kit-ty-kate kit-ty-kate merged commit eed32d4 into ocaml:master Apr 11, 2025
54 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.

3 participants