Skip to content
Main link-grammar CI

Merge pull request #1518 from ampli/disjunct-count #773

Sign in to view logs

Merge pull request #1518 from ampli/disjunct-count

Merge pull request #1518 from ampli/disjunct-count #773

Triggered via push May 3, 2024 20:10
@linaslinas
pushed ea8c04e
master
Status Success
Total duration 3m 45s
Artifacts –

main.yml

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