Skip to content

Merge branch 'master' into sendToGitHub/gang-min-cardinality #332

Merge branch 'master' into sendToGitHub/gang-min-cardinality

Merge branch 'master' into sendToGitHub/gang-min-cardinality #332

Triggered via push September 21, 2023 16:36
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`