Skip to content
Lint

gh-38638: interface to new nauty generator for Hasse diagrams #169

Sign in to view logs

gh-38638: interface to new nauty generator for Hasse diagrams

gh-38638: interface to new nauty generator for Hasse diagrams #169

Triggered via push September 10, 2024 01:38
@vbraunvbraun
pushed 5d5310c
develop
Status Success
Total duration 5m 43s
Artifacts –

lint.yml

on: push
Lint
5m 33s
Lint
Fit to window
Zoom out
Zoom in