Skip to content

Actions: CQCL/tket2

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: Delay yielding const/loadConst commands (#153) Unsoundness checks #85: Commit d9cc153 pushed by aborgna-q
October 2, 2023 15:54 7m 2s main
main
October 2, 2023 15:54 7m 2s
feat: Delay yielding const/loadConst commands cleanup caches by a branch #88: Pull request #153 closed by aborgna-q
October 2, 2023 15:54 21s feat/delayed-const-commands
feat/delayed-const-commands
October 2, 2023 15:54 21s
feat: Delay yielding const/loadConst commands Continuous integration #443: Pull request #153 opened by aborgna-q
October 2, 2023 12:53 5m 7s feat/delayed-const-commands
feat/delayed-const-commands
October 2, 2023 12:53 5m 7s
feat: Delay yielding const/loadConst commands Check Conventional Commits format #257: Pull request #153 opened by aborgna-q
October 2, 2023 12:53 13s
October 2, 2023 12:53 13s
feat: Embarrassingly parallel TASO Continuous integration #442: Pull request #149 synchronize by aborgna-q
October 2, 2023 11:43 4m 8s feat/taso-split
feat/taso-split
October 2, 2023 11:43 4m 8s
feat: Embarrassingly parallel TASO Check Conventional Commits format #256: Pull request #149 synchronize by aborgna-q
October 2, 2023 11:43 14s
October 2, 2023 11:43 14s
TASO on small circuits doesn't terminate? New issue #37: Issue #152 opened by aborgna-q
October 2, 2023 09:04 17s
October 2, 2023 09:04 17s
feat: Embarrassingly parallel TASO Check Conventional Commits format #255: Pull request #149 synchronize by aborgna-q
September 29, 2023 16:06 15s
September 29, 2023 16:06 15s
feat: Embarrassingly parallel TASO Continuous integration #441: Pull request #149 synchronize by aborgna-q
September 29, 2023 16:06 2m 38s feat/taso-split
feat/taso-split
September 29, 2023 16:06 2m 38s
fix: don't leak memory (#150) Continuous integration #440: Commit 0e9540b pushed by aborgna-q
September 29, 2023 16:05 3m 14s main
main
September 29, 2023 16:05 3m 14s
fix: don't leak memory (#150) Unsoundness checks #84: Commit 0e9540b pushed by aborgna-q
September 29, 2023 16:05 6m 9s main
main
September 29, 2023 16:05 6m 9s
fix: don't leak memory cleanup caches by a branch #87: Pull request #150 closed by aborgna-q
September 29, 2023 16:05 15s fix/queue-memory-leak
fix/queue-memory-leak
September 29, 2023 16:05 15s
feat: Exhaustive greedy rewrite strategy Check Conventional Commits format #254: Pull request #151 edited by aborgna-q
September 29, 2023 16:00 12s
September 29, 2023 16:00 12s
feat: Exhaustive greedy rewrite strategy Check Conventional Commits format #253: Pull request #151 opened by aborgna-q
September 29, 2023 16:00 16s
September 29, 2023 16:00 16s
feat: Exhaustive greedy rewrite strategy Continuous integration #439: Pull request #151 opened by aborgna-q
September 29, 2023 16:00 4m 7s feat/greedy-strats
feat/greedy-strats
September 29, 2023 16:00 4m 7s
fix: don't leak memory Continuous integration #438: Pull request #150 opened by aborgna-q
September 29, 2023 15:35 2m 34s fix/queue-memory-leak
fix/queue-memory-leak
September 29, 2023 15:35 2m 34s
fix: don't leak memory Check Conventional Commits format #252: Pull request #150 opened by aborgna-q
September 29, 2023 15:35 14s
September 29, 2023 15:35 14s
feat: Embarrassingly parallel TASO Check Conventional Commits format #251: Pull request #149 synchronize by aborgna-q
September 29, 2023 15:13 16s
September 29, 2023 15:13 16s
feat: Embarrassingly parallel TASO Continuous integration #437: Pull request #149 synchronize by aborgna-q
September 29, 2023 15:13 2m 35s feat/taso-split
feat/taso-split
September 29, 2023 15:13 2m 35s
feat: Embarrassingly parallel TASO Check Conventional Commits format #250: Pull request #149 synchronize by aborgna-q
September 29, 2023 14:01 15s
September 29, 2023 14:01 15s
feat: Embarrassingly parallel TASO Continuous integration #436: Pull request #149 synchronize by aborgna-q
September 29, 2023 14:01 2m 52s feat/taso-split
feat/taso-split
September 29, 2023 14:01 2m 52s
feat: Embarrassingly parallel TASO Check Conventional Commits format #249: Pull request #149 edited by aborgna-q
September 29, 2023 13:49 11s
September 29, 2023 13:49 11s
feat: Embarrassingly parallel TASO Continuous integration #435: Pull request #149 opened by aborgna-q
September 29, 2023 13:48 4m 8s feat/taso-split
feat/taso-split
September 29, 2023 13:48 4m 8s
feat: Embarrassingly parallel TASO Check Conventional Commits format #248: Pull request #149 opened by aborgna-q
September 29, 2023 13:48 12s
September 29, 2023 13:48 12s
feat: Python bindings for TASO (#142) Unsoundness checks #83: Commit ca2d3df pushed by lmondada
September 29, 2023 13:29 6m 18s main
main
September 29, 2023 13:29 6m 18s