Skip to content
Documentation

Unify Collection and IrrepCollection, removing the latter #552

Sign in to view logs

Unify Collection and IrrepCollection, removing the latter

Unify Collection and IrrepCollection, removing the latter #552

Triggered via push September 13, 2024 18:41
@thchrthchr
pushed 7ea038e
master
Status Failure
Total duration 3m 35s
Artifacts –

deploy-docs.yml

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

Annotations

1 error
build
Process completed with exit code 1.