Skip to content

Test: try libgraphviz-dev instead of graphviz-dev #246

Test: try libgraphviz-dev instead of graphviz-dev

Test: try libgraphviz-dev instead of graphviz-dev #246

Triggered via push November 12, 2023 17:40
Status Success
Total duration 6m 17s
Artifacts

check-types.yml

on: push
type-checking
6m 8s
type-checking
Fit to window
Zoom out
Zoom in