Skip to content
Main link-grammar CI

eliminate_duplicate_disjuncts(): Return the discarded disjunct count #769

Sign in to view logs

eliminate_duplicate_disjuncts(): Return the discarded disjunct count

eliminate_duplicate_disjuncts(): Return the discarded disjunct count #769

Triggered via pull request May 2, 2024 16:01
@ampliampli
opened #1518
ampli:disjunct-count
Status Success
Total duration 3m 52s
Artifacts –

main.yml

on: pull_request
build
3m 42s
build
Fit to window
Zoom out
Zoom in