Skip to content

Test MC-dev CI - #122

Merged
4ever2 merged 1 commit into
mainfrom
test-dev
Jul 23, 2026
Merged

4ever2 merged 1 commit into
mainfrom
test-dev

Conversation

@4ever2

@4ever2 4ever2 commented Jul 10, 2026

Copy link
Copy Markdown
Collaborator

MC-dev CI is failing on master. Testing with updated nix toolbox.

@4ever2 4ever2 added the part: infrastructure Issues and PRs related to CI, makefile, opam, dune, scripts, etc. label Jul 22, 2026
@4ever2
4ever2 marked this pull request as ready for review July 22, 2026 13:59
@4ever2
4ever2 merged commit c6d7d4b into main Jul 23, 2026
25 checks passed
@4ever2
4ever2 deleted the test-dev branch July 23, 2026 10:33
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

part: infrastructure Issues and PRs related to CI, makefile, opam, dune, scripts, etc.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant