Skip to content

Actions: CQCL/tket2

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: Improve TASO cost function and rewrite strategies Check Conventional Commits format #281: Pull request #154 synchronize by lmondada
October 3, 2023 13:30 15s
October 3, 2023 13:30 15s
fix: Don't run miri on tests that open files (#159) Continuous integration #466: Commit 742e64c pushed by aborgna-q
October 3, 2023 13:24 3m 51s main
main
October 3, 2023 13:24 3m 51s
fix: Don't run miri on tests that open files (#159) Unsoundness checks #88: Commit 742e64c pushed by aborgna-q
October 3, 2023 13:24 5m 54s main
main
October 3, 2023 13:24 5m 54s
fix: Don't run miri on tests that open files cleanup caches by a branch #91: Pull request #159 closed by aborgna-q
October 3, 2023 13:24 16s fix/miri-tests
fix/miri-tests
October 3, 2023 13:24 16s
feat: Improve TASO cost function and rewrite strategies Check Conventional Commits format #280: Pull request #154 synchronize by lmondada
October 3, 2023 13:23 13s
October 3, 2023 13:23 13s
feat: Improve TASO cost function and rewrite strategies Continuous integration #465: Pull request #154 synchronize by lmondada
October 3, 2023 13:23 3m 51s feat/more-strategies
feat/more-strategies
October 3, 2023 13:23 3m 51s
fix: Don't run miri on tests that open files Check Conventional Commits format #279: Pull request #159 opened by aborgna-q
October 3, 2023 13:04 14s
October 3, 2023 13:04 14s
fix: Don't run miri on tests that open files Continuous integration #464: Pull request #159 opened by aborgna-q
October 3, 2023 13:04 3m 20s fix/miri-tests
fix/miri-tests
October 3, 2023 13:04 3m 20s
feat: Improve TASO cost function and rewrite strategies Check Conventional Commits format #278: Pull request #154 synchronize by lmondada
October 3, 2023 12:59 16s
October 3, 2023 12:59 16s
feat: Improve TASO cost function and rewrite strategies Continuous integration #463: Pull request #154 synchronize by lmondada
October 3, 2023 12:59 3m 17s feat/more-strategies
feat/more-strategies
October 3, 2023 12:59 3m 17s
fix: Preserve the tket1 register names and order when decoding/encodi… Unsoundness checks #87: Commit 5257dcb pushed by aborgna-q
October 3, 2023 12:55 1m 21s main
main
October 3, 2023 12:55 1m 21s
fix: Preserve the tket1 register names and order when decoding/encodi… Continuous integration #462: Commit 5257dcb pushed by aborgna-q
October 3, 2023 12:55 3m 10s main
main
October 3, 2023 12:55 3m 10s
fix: Preserve the tket1 register names and order when decoding/encoding cleanup caches by a branch #90: Pull request #157 closed by aborgna-q
October 3, 2023 12:55 17s fix/encode-register-names
fix/encode-register-names
October 3, 2023 12:55 17s
fix: Preserve the tket1 register names and order when decoding/encoding Continuous integration #461: Pull request #157 synchronize by aborgna-q
October 3, 2023 12:51 3m 38s fix/encode-register-names
fix/encode-register-names
October 3, 2023 12:51 3m 38s
fix: Preserve the tket1 register names and order when decoding/encoding Check Conventional Commits format #277: Pull request #157 synchronize by aborgna-q
October 3, 2023 12:51 13s
October 3, 2023 12:51 13s
feat: Improve TASO cost function and rewrite strategies Continuous integration #460: Pull request #154 synchronize by lmondada
October 3, 2023 12:51 3m 32s feat/more-strategies
feat/more-strategies
October 3, 2023 12:51 3m 32s
feat: Improve TASO cost function and rewrite strategies Check Conventional Commits format #276: Pull request #154 synchronize by lmondada
October 3, 2023 12:51 22s
October 3, 2023 12:51 22s
fix: Preserve the tket1 register names and order when decoding/encoding Continuous integration #459: Pull request #157 synchronize by aborgna-q
October 3, 2023 12:51 3m 23s fix/encode-register-names
fix/encode-register-names
October 3, 2023 12:51 3m 23s
fix: Preserve the tket1 register names and order when decoding/encoding Check Conventional Commits format #275: Pull request #157 synchronize by aborgna-q
October 3, 2023 12:51 25s
October 3, 2023 12:51 25s
chore: Small code cleanups Continuous integration #458: Pull request #158 synchronize by aborgna-q
October 3, 2023 12:46 3m 20s chore/code-cleanup
chore/code-cleanup
October 3, 2023 12:46 3m 20s
chore: Small code cleanups Check Conventional Commits format #274: Pull request #158 synchronize by aborgna-q
October 3, 2023 12:46 12s
October 3, 2023 12:46 12s
chore: Small code cleanups Continuous integration #457: Pull request #158 synchronize by aborgna-q
October 3, 2023 12:45 3m 49s chore/code-cleanup
chore/code-cleanup
October 3, 2023 12:45 3m 49s
chore: Small code cleanups Check Conventional Commits format #273: Pull request #158 synchronize by aborgna-q
October 3, 2023 12:45 15s
October 3, 2023 12:45 15s
chore: Small code cleanups Continuous integration #456: Pull request #158 opened by aborgna-q
October 3, 2023 12:40 3m 58s chore/code-cleanup
chore/code-cleanup
October 3, 2023 12:40 3m 58s
chore: Small code cleanups Check Conventional Commits format #272: Pull request #158 opened by aborgna-q
October 3, 2023 12:40 15s
October 3, 2023 12:40 15s