Skip to content
Unsoundness checks

feat: Mermaid renderer for hugrs (#852) #397

Sign in to view logs

feat: Mermaid renderer for hugrs (#852)

feat: Mermaid renderer for hugrs (#852) #397

Triggered via push March 5, 2024 15:37
@github-merge-queuegithub-merge-queue[bot]
pushed 3fb833a
main
Status Failure
Total duration 14m 5s
Artifacts –

unsoundness.yml

on: push
Miri
13m 56s
Miri
Fit to window
Zoom out
Zoom in

Annotations

1 error
Miri
Process completed with exit code 1.