Skip to content

Simplify CI caching and development setup - #937

Merged
anmonteiro merged 1 commit into
mainfrom
anmonteiro/ci-setup-cleanup
Oct 26, 2026
Merged

anmonteiro merged 1 commit into
mainfrom
anmonteiro/ci-setup-cleanup

Conversation

@anmonteiro

@anmonteiro anmonteiro commented Oct 26, 2026 •

Copy link
Copy Markdown
Member

Simplify CI caching and dependency installation, use locked npm installs, and clean up the Makefile and Nix package selection. Follows #936.

01a17001-efda-7320-8b10-3844e629533f

Base automatically changed from anmonteiro/ocaml-5.5-ci to main October 26, 2026 04:58
@anmonteiro
anmonteiro force-pushed the anmonteiro/ci-setup-cleanup branch from e39c640 to a72bcfc Compare October 26, 2026 04:59
@anmonteiro
anmonteiro merged commit a955f57 into main Oct 26, 2026
3 checks passed
@anmonteiro
anmonteiro deleted the anmonteiro/ci-setup-cleanup branch October 26, 2026 05:15
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant