Skip to content

Actions: CQCL/tket2

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
42 workflow run results
42 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: Use hugr v0.1
Continuous integration #840: Pull request #282 opened by aborgna-q
January 15, 2024 17:19 4m 10s chore/update-deps
January 15, 2024 17:19 4m 10s
chore: Use hugr v0.1
Check Conventional Commits format #616: Pull request #282 opened by aborgna-q
January 15, 2024 17:19 14s
January 15, 2024 17:19 14s
fix: Correctly detect custom ops by name
cleanup caches by a branch #177: Pull request #281 closed by aborgna-q
January 8, 2024 12:21 20s fix/hacky-anglesum-encoding
January 8, 2024 12:21 20s
fix: Correctly detect custom ops by name (#281)
Continuous integration #839: Commit d44ac89 pushed by github-merge-queue bot
January 8, 2024 12:21 3m 54s main
January 8, 2024 12:21 3m 54s
fix: Correctly detect custom ops by name (#281)
Unsoundness checks #170: Commit d44ac89 pushed by github-merge-queue bot
January 8, 2024 12:21 7m 35s main
January 8, 2024 12:21 7m 35s
Continuous integration
Continuous integration #838: Merge group checks requested
January 8, 2024 12:18 1m 47s
January 8, 2024 12:18 1m 47s
Check Conventional Commits format
Check Conventional Commits format #615: Merge group checks requested
January 8, 2024 12:18 1s
January 8, 2024 12:18 1s
fix: Correctly detect custom ops by name
Continuous integration #837: Pull request #281 synchronize by aborgna-q
January 8, 2024 12:16 3m 16s fix/hacky-anglesum-encoding
January 8, 2024 12:16 3m 16s
fix: Correctly detect custom ops by name
Check Conventional Commits format #614: Pull request #281 synchronize by aborgna-q
January 8, 2024 12:16 11s
January 8, 2024 12:16 11s
fix: Correctly detect custom ops by name
Check Conventional Commits format #613: Pull request #281 edited by aborgna-q
January 8, 2024 12:16 12s
January 8, 2024 12:16 12s
chore: update hugr
cleanup caches by a branch #176: Pull request #280 closed by aborgna-q
January 8, 2024 12:16 45s chore/update-deps
January 8, 2024 12:16 45s
chore: update hugr (#280)
Continuous integration #836: Commit 345b918 pushed by github-merge-queue bot
January 8, 2024 12:16 3m 42s main
January 8, 2024 12:16 3m 42s
chore: update hugr (#280)
Unsoundness checks #169: Commit 345b918 pushed by github-merge-queue bot
January 8, 2024 12:16 7m 50s main
January 8, 2024 12:16 7m 50s
Check Conventional Commits format
Check Conventional Commits format #612: Merge group checks requested
January 8, 2024 12:13 3s
January 8, 2024 12:13 3s
Continuous integration
Continuous integration #835: Merge group checks requested
January 8, 2024 12:13 2m 9s
January 8, 2024 12:13 2m 9s
chore: update hugr
Continuous integration #834: Pull request #280 synchronize by aborgna-q
January 8, 2024 11:49 3m 22s chore/update-deps
January 8, 2024 11:49 3m 22s
chore: update hugr
Check Conventional Commits format #611: Pull request #280 synchronize by aborgna-q
January 8, 2024 11:49 13s
January 8, 2024 11:49 13s
chore: update hugr
Check Conventional Commits format #610: Pull request #280 opened by aborgna-q
January 8, 2024 11:49 17s
January 8, 2024 11:49 17s
chore: update hugr
Continuous integration #833: Pull request #280 opened by aborgna-q
January 8, 2024 11:49 1m 9s chore/update-deps
January 8, 2024 11:49 1m 9s
feat: Return rewrite strategies as a generator
cleanup caches by a branch #175: Pull request #275 closed by aborgna-q
January 2, 2024 15:02 16s feat/rpitit-strategies
January 2, 2024 15:02 16s
feat: Return rewrite strategies as a generator (#275)
Continuous integration #832: Commit aead286 pushed by github-merge-queue bot
January 2, 2024 15:02 2m 55s main
January 2, 2024 15:02 2m 55s
feat: Return rewrite strategies as a generator (#275)
Unsoundness checks #168: Commit aead286 pushed by github-merge-queue bot
January 2, 2024 15:02 7m 42s main
January 2, 2024 15:02 7m 42s
Continuous integration
Continuous integration #831: Merge group checks requested
January 2, 2024 15:00 1m 26s
January 2, 2024 15:00 1m 26s
Check Conventional Commits format
Check Conventional Commits format #609: Merge group checks requested
January 2, 2024 15:00 3s
January 2, 2024 15:00 3s
feat: Return rewrite strategies as a generator
Check Conventional Commits format #608: Pull request #275 edited by aborgna-q
January 2, 2024 11:45 13s
January 2, 2024 11:45 13s