Skip to content

Actions: CQCL/tket2

Continuous integration

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
17 workflow run results
17 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
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
Continuous integration
Continuous integration #838: Merge group checks requested
January 8, 2024 12:18 1m 47s
January 8, 2024 12:18 1m 47s
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
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
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
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 (#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
Continuous integration
Continuous integration #831: Merge group checks requested
January 2, 2024 15:00 1m 26s
January 2, 2024 15:00 1m 26s
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
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
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
chore(deps): update delegate requirement from 0.11.0 to 0.12.0 (#278)
Continuous integration #826: Commit 9d59276 pushed by github-merge-queue bot
January 2, 2024 09:00 3m 43s main
January 2, 2024 09:00 3m 43s
Continuous integration
Continuous integration #825: Merge group checks requested
January 2, 2024 08:58 1m 56s
January 2, 2024 08:58 1m 56s
chore(deps): update delegate requirement from 0.11.0 to 0.12.0
Continuous integration #824: Pull request #278 opened by dependabot bot
December 25, 2023 02:52 4m 2s dependabot/cargo/delegate-0.12.0
December 25, 2023 02:52 4m 2s