Skip to content

Migrate main ci setup dune#31

Merged
mbarbin merged 3 commits intomainfrom
migrate-main-ci-setup-dune
Feb 1, 2026
Merged

Migrate main ci setup dune#31
mbarbin merged 3 commits intomainfrom
migrate-main-ci-setup-dune

Conversation

@mbarbin
Copy link
Owner

@mbarbin mbarbin commented Feb 1, 2026

No description provided.

- Use latest alpha version available
- With added support for checking expected binary digest
@coveralls
Copy link

Pull Request Test Coverage Report for Build 112

Details

  • 0 of 0 changed or added relevant lines in 0 files are covered.
  • No unchanged relevant lines lost coverage.
  • Overall coverage remained the same at 100.0%

Totals Coverage Status
Change from base Build 110: 0.0%
Covered Lines: 897
Relevant Lines: 897

💛 - Coveralls

@mbarbin mbarbin merged commit 3db13d5 into main Feb 1, 2026
9 checks passed
@mbarbin mbarbin deleted the migrate-main-ci-setup-dune branch February 1, 2026 16:06
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