401
44%

Ran 07 Oct 2025 06:30PM UTC

Jobs 1

Files 11

Run time 1min

Badge

Committed 07 Oct 2025 06:26PM UTC coverage: 54.065%. Remained the same

Build # 401

Build Type

push

github

Committed by

Commit Message

Unpin opam-publish in publish CI

Since opam-publish 2.7.0 already includes the latest changes we can
unpin my branch.

Run Details

951 of 1759 relevant lines covered (54.06%)

11.4 hits per line

ID	Job ID	Ran	Files	Coverage
1	401.1	07 Oct 2025 06:30PM UTC	11	54.06	GitHub Action Run