Skip to content

Actions: CQCL/tket2

Continuous integration

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
1,956 workflow runs
1,956 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Continuous integration
Continuous integration #613: Merge group checks requested
October 31, 2023 16:58 2m 53s
October 31, 2023 16:58 2m 53s
docs: List conventional commit tags in DEVELOPMENT.md (#191)
Continuous integration #612: Commit 94ed1f7 pushed by github-merge-queue bot
October 31, 2023 16:42 3m 9s main
October 31, 2023 16:42 3m 9s
Continuous integration
Continuous integration #611: Merge group checks requested
October 31, 2023 16:40 2m 27s
October 31, 2023 16:40 2m 27s
feat: TasoPass
Continuous integration #610: Pull request #185 synchronize by aborgna-q
October 31, 2023 16:19 3m 12s feat/taso-pass-really
October 31, 2023 16:19 3m 12s
feat: TasoPass
Continuous integration #609: Pull request #185 synchronize by aborgna-q
October 31, 2023 16:12 4m 15s feat/taso-pass-really
October 31, 2023 16:12 4m 15s
feat: TasoPass
Continuous integration #608: Pull request #185 synchronize by aborgna-q
October 31, 2023 16:12 3m 40s feat/taso-pass-really
October 31, 2023 16:12 3m 40s
feat: Simplify the circ hash code. Allow nodes with children. (#202)
Continuous integration #607: Commit 3007f82 pushed by github-merge-queue bot
October 31, 2023 13:36 4m 18s main
October 31, 2023 13:36 4m 18s
Continuous integration
Continuous integration #606: Merge group checks requested
October 31, 2023 13:33 2m 57s
October 31, 2023 13:33 2m 57s
feat: Simplify the circ hash code. Allow nodes with children.
Continuous integration #605: Pull request #202 synchronize by aborgna-q
October 31, 2023 13:22 5m 0s fix/simpler-circ-hash
October 31, 2023 13:22 5m 0s
chore: Update hugr dep (#201)
Continuous integration #604: Commit 0fee13f pushed by github-merge-queue bot
October 31, 2023 12:32 4m 40s main
October 31, 2023 12:32 4m 40s
Continuous integration
Continuous integration #603: Merge group checks requested
October 31, 2023 12:28 3m 16s
October 31, 2023 12:28 3m 16s
chore: Update hugr dep
Continuous integration #602: Pull request #201 opened by aborgna-q
October 27, 2023 10:20 4m 18s chore/update-deps
October 27, 2023 10:20 4m 18s
perf: Use jemallocator by default for taso (#198)
Continuous integration #601: Commit 038bb70 pushed by github-merge-queue bot
October 24, 2023 11:27 5m 39s main
October 24, 2023 11:27 5m 39s
Continuous integration
Continuous integration #600: Merge group checks requested
October 24, 2023 11:24 2m 18s
October 24, 2023 11:24 2m 18s
perf: Use jemallocator by default for taso
Continuous integration #599: Pull request #198 synchronize by aborgna-q
October 24, 2023 11:21 3m 0s perf/taso-jemalloc
October 24, 2023 11:21 3m 0s
perf: Use jemallocator by default for taso
Continuous integration #598: Pull request #198 synchronize by aborgna-q
October 24, 2023 11:15 31s perf/taso-jemalloc
October 24, 2023 11:15 31s
perf: Use jemallocator by default for taso
Continuous integration #597: Pull request #198 opened by aborgna-q
October 24, 2023 10:03 5m 58s perf/taso-jemalloc
October 24, 2023 10:03 5m 58s
docs: List conventional commit tags in DEVELOPMENT.md
Continuous integration #596: Pull request #191 synchronize by aborgna-q
October 24, 2023 09:58 2m 21s doc/conv-commit-doc
October 24, 2023 09:58 2m 21s
feat: Do not require &mut ConvexCheckers (#197)
Continuous integration #595: Commit fb4c668 pushed by github-merge-queue bot
October 23, 2023 08:33 3m 0s main
October 23, 2023 08:33 3m 0s
Continuous integration
Continuous integration #594: Merge group checks requested
October 23, 2023 08:31 2m 13s
October 23, 2023 08:31 2m 13s
test: TASO termination in simple cases (#155)
Continuous integration #593: Commit dbab425 pushed by github-merge-queue bot
October 20, 2023 14:57 2m 20s main
October 20, 2023 14:57 2m 20s
feat: Do not require &mut ConvexCheckers
Continuous integration #592: Pull request #197 opened by aborgna-q
October 20, 2023 14:55 2m 8s feat/non-mut-checker
October 20, 2023 14:55 2m 8s
Continuous integration
Continuous integration #591: Merge group checks requested
October 20, 2023 14:54 1m 55s
October 20, 2023 14:54 1m 55s
docs: List conventional commit tags in DEVELOPMENT.md
Continuous integration #590: Pull request #191 synchronize by aborgna-q
October 20, 2023 13:53 2m 8s doc/conv-commit-doc
October 20, 2023 13:53 2m 8s
chore(deps)!: Update deps (#196)
Continuous integration #589: Commit 0001bf8 pushed by github-merge-queue bot
October 20, 2023 11:41 3m 14s main
October 20, 2023 11:41 3m 14s
ProTip! You can narrow down the results and go further in time using created:<2023-10-20 or the other filters available.