Skip to content

Actions: CQCL/tket2

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
feat: Return rewrite strategies as a generator
Continuous integration #830: Pull request #275 synchronize by aborgna-q
January 2, 2024 11:43 3m 22s feat/rpitit-strategies
January 2, 2024 11:43 3m 22s
feat: Return rewrite strategies as a generator
Check Conventional Commits format #607: Pull request #275 synchronize by aborgna-q
January 2, 2024 11:43 14s
January 2, 2024 11:43 14s
chore: Update deps, bump MSRV to 1.75
cleanup caches by a branch #174: Pull request #279 closed by aborgna-q
January 2, 2024 11:23 19s chore/update-deps
January 2, 2024 11:23 19s
chore: Update deps, bump MSRV to 1.75 (#279)
Continuous integration #829: Commit 3dae175 pushed by github-merge-queue bot
January 2, 2024 11:23 3m 34s main
January 2, 2024 11:23 3m 34s
chore: Update deps, bump MSRV to 1.75 (#279)
Unsoundness checks #167: Commit 3dae175 pushed by github-merge-queue bot
January 2, 2024 11:23 7m 20s main
January 2, 2024 11:23 7m 20s
Check Conventional Commits format
Check Conventional Commits format #606: Merge group checks requested
January 2, 2024 11:20 2s
January 2, 2024 11:20 2s
Continuous integration
Continuous integration #828: Merge group checks requested
January 2, 2024 11:20 1m 57s
January 2, 2024 11:20 1m 57s
chore: Update deps, bump MSRV to 1.75
Continuous integration #827: Pull request #279 opened by aborgna-q
January 2, 2024 10:45 3m 26s chore/update-deps
January 2, 2024 10:45 3m 26s