Skip to content

remove monoid

remove monoid #952

Triggered via push November 11, 2024 01:37
Status Failure
Total duration
Artifacts

This workflow graph cannot be shown

A graph will be generated the next time this workflow is run.

Annotations

1 error
Error
No event triggers defined in `on`