Skip to content

Prepare v1.3.0#159

Merged
dinosaure merged 1 commit intomainfrom
prepare-v1.3.0
Apr 17, 2025
Merged

Prepare v1.3.0#159
dinosaure merged 1 commit intomainfrom
prepare-v1.3.0

Conversation

@dinosaure
Copy link
Member

No description provided.

@dinosaure
Copy link
Member Author

@jonahbeckford it seems that CI introduced by #137 are failing. Is it possible to simplify the CI with regard to the MSVC support? I don't really have time to fix the issues related to these CIs.

This was referenced Apr 16, 2025
@jonahbeckford
Copy link
Contributor

I have two related PRs, but I believe the problems you see about missing dependencies (crowbar, alcotest) with setup-ocaml will appear when you submit 1.3.0 to the opam repository.

@dinosaure dinosaure merged commit 7884f23 into main Apr 17, 2025
3 of 10 checks passed
@dinosaure dinosaure deleted the prepare-v1.3.0 branch April 17, 2025 09:47
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