14818926942
61%

Ran 04 May 2025 07:30AM UTC

Jobs 1

Files 81

Run time 1min

Badge

Committed 04 May 2025 07:22AM UTC coverage: 57.666% (+0.002%) from 57.664%

Build Type

push

github

Committed by

Commit Message

chore: nightly development toolchain (#372)

* remove `+nightly` from justfile

* clippy

* update Dockerfile

Run Details

2 of 12 new or added lines in 4 files covered. (16.67%)

13171 of 22840 relevant lines covered (57.67%)

42543.37 hits per line

Lines	Coverage	∆	File
1	42.09	0.0%	src/instances/opt.rs
1	17.19	0.0%	src/solvers/external.rs
1	0.0	0.0%	tools/src/bin/enumerator.rs
7	24.13	0.05%	tools/src/bin/gbmosplit.rs

ID	Job ID	Ran	Files	Coverage
1	14818926942.1	04 May 2025 07:30AM UTC	81	57.67	GitHub Action Run