Skip to content
Main link-grammar CI

eliminate_duplicate_disjuncts(): Return the discarded disjunct count #772

Sign in to view logs

eliminate_duplicate_disjuncts(): Return the discarded disjunct count

eliminate_duplicate_disjuncts(): Return the discarded disjunct count #772

Triggered via pull request May 3, 2024 18:31
@ampliampli
synchronize #1518
ampli:disjunct-count
Status Success
Total duration 3m 46s
Artifacts –

main.yml

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