Skip to content

Basic CI built on Nix#3

Open
Brychlikov wants to merge 2 commits intofram-lang:mainfrom
Brychlikov:main
Open

Basic CI built on Nix#3
Brychlikov wants to merge 2 commits intofram-lang:mainfrom
Brychlikov:main

Conversation

@Brychlikov
Copy link
Contributor

With merging of cpspg to dbl coming hopefully soon, it will be nice to have a bit more stability from testing in CI. I don't feel comfortable imposing nix everywhere in fram, so it's up for discussion.

Copy link
Collaborator

Choose a reason for hiding this comment

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

I've updated main cpspg code to build on OCaml 5.0.0, so those changes are no longer necessary.

Copy link
Collaborator

Choose a reason for hiding this comment

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

Same as in dune-project, this is no longer needed.

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.

2 participants