Skip to content

Actions: CQCL/hugr

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,040 workflow run results
1,040 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Notify coverage changes
Notify coverage changes #145: Scheduled
March 6, 2024 04:04 27s main
March 6, 2024 04:04 27s
feat: Mermaid renderer for hugrs
cleanup caches by a branch #492: Pull request #852 closed by aborgna-q
March 5, 2024 15:37 36s feat/mermaid-render
March 5, 2024 15:37 36s
feat: Mermaid renderer for hugrs (#852)
Continuous integration #2883: Commit 3fb833a pushed by github-merge-queue bot
March 5, 2024 15:37 4m 40s main
March 5, 2024 15:37 4m 40s
feat: Mermaid renderer for hugrs (#852)
Release-plz 🦀 #50: Commit 3fb833a pushed by github-merge-queue bot
March 5, 2024 15:37 1m 37s main
March 5, 2024 15:37 1m 37s
feat: Mermaid renderer for hugrs (#852)
Unsoundness checks #397: Commit 3fb833a pushed by github-merge-queue bot
March 5, 2024 15:37 14m 5s main
March 5, 2024 15:37 14m 5s
Check Conventional Commits format
Check Conventional Commits format #849: Merge group checks requested
March 5, 2024 15:35 5s
March 5, 2024 15:35 5s
Continuous integration
Continuous integration #2882: Merge group checks requested
March 5, 2024 15:35 1m 42s
March 5, 2024 15:35 1m 42s
feat: Mermaid renderer for hugrs
Continuous integration #2881: Pull request #852 synchronize by aborgna-q
March 5, 2024 15:32 5m 1s feat/mermaid-render
March 5, 2024 15:32 5m 1s
feat: Mermaid renderer for hugrs
Check Conventional Commits format #848: Pull request #852 synchronize by aborgna-q
March 5, 2024 15:32 13s
March 5, 2024 15:32 13s
refactor: Remove clone in ExtensionSet::union (#859)
Unsoundness checks #396: Commit c02ab92 pushed by github-merge-queue bot
March 5, 2024 15:05 16m 55s main
March 5, 2024 15:05 16m 55s
refactor: Remove clone in ExtensionSet::union
cleanup caches by a branch #491: Pull request #859 closed by croyzor
March 5, 2024 15:05 26s refactor/fix-union-clone
March 5, 2024 15:05 26s
refactor: Remove clone in ExtensionSet::union (#859)
Continuous integration #2880: Commit c02ab92 pushed by github-merge-queue bot
March 5, 2024 15:05 3m 43s main
March 5, 2024 15:05 3m 43s
refactor: Remove clone in ExtensionSet::union (#859)
Release-plz 🦀 #49: Commit c02ab92 pushed by github-merge-queue bot
March 5, 2024 15:05 1m 0s main
March 5, 2024 15:05 1m 0s
Continuous integration
Continuous integration #2879: Merge group checks requested
March 5, 2024 15:03 1m 31s
March 5, 2024 15:03 1m 31s
Check Conventional Commits format
Check Conventional Commits format #847: Merge group checks requested
March 5, 2024 15:03 3s
March 5, 2024 15:03 3s
feat: Mermaid renderer for hugrs
Continuous integration #2878: Pull request #852 synchronize by aborgna-q
March 5, 2024 14:50 3m 54s feat/mermaid-render
March 5, 2024 14:50 3m 54s
feat: Mermaid renderer for hugrs
Check Conventional Commits format #846: Pull request #852 synchronize by aborgna-q
March 5, 2024 14:50 13s
March 5, 2024 14:50 13s
refactor: Remove clone in ExtensionSet::union
Check Conventional Commits format #845: Pull request #859 opened by croyzor
March 5, 2024 14:39 52s
March 5, 2024 14:39 52s
refactor: Remove clone in ExtensionSet::union
Continuous integration #2877: Pull request #859 opened by croyzor
March 5, 2024 14:39 4m 2s refactor/fix-union-clone
March 5, 2024 14:39 4m 2s
feat: Mermaid renderer for hugrs
Continuous integration #2876: Pull request #852 synchronize by aborgna-q
March 5, 2024 14:37 3m 59s feat/mermaid-render
March 5, 2024 14:37 3m 59s
feat: Mermaid renderer for hugrs
Check Conventional Commits format #844: Pull request #852 synchronize by aborgna-q
March 5, 2024 14:37 12s
March 5, 2024 14:37 12s
refactor: Add From conversion from ExtensionId to ExtensionSet
cleanup caches by a branch #489: Pull request #855 closed by croyzor
March 5, 2024 14:02 31s new/into-extensionset
March 5, 2024 14:02 31s
refactor: Add From conversion from ExtensionId to ExtensionSet (#855)
Unsoundness checks #395: Commit 6be3ca2 pushed by github-merge-queue bot
March 5, 2024 14:02 14m 13s main
March 5, 2024 14:02 14m 13s
refactor: Add From conversion from ExtensionId to ExtensionSet (#855)
Release-plz 🦀 #48: Commit 6be3ca2 pushed by github-merge-queue bot
March 5, 2024 14:02 1m 3s main
March 5, 2024 14:02 1m 3s