Skip to content
Lint

Add SubdigraphsMonomorphisms #2532

Sign in to view logs

Add SubdigraphsMonomorphisms

Add SubdigraphsMonomorphisms #2532

Triggered via push August 30, 2024 15:17
@james-d-mitchelljames-d-mitchell
pushed d802909
main
Status Success
Total duration 23s
Artifacts –

lint.yml

on: push
Matrix: lint
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
cpplint
The `python-version` input is not set. The version of Python currently in `PATH` will be used.
gaplint
The `python-version` input is not set. The version of Python currently in `PATH` will be used.