Skip to content

Actions: CQCL/tket2

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: tket2 cli New issue #58: Issue #222 opened by ss2165
November 7, 2023 17:11 16s
November 7, 2023 17:11 16s
chore: update hugr dependency Check Conventional Commits format #459: Pull request #219 synchronize by aborgna-q
November 7, 2023 15:18 19s
November 7, 2023 15:18 19s
chore: update hugr dependency Continuous integration #657: Pull request #219 synchronize by aborgna-q
November 7, 2023 15:18 5m 37s chore/update-deps
chore/update-deps
November 7, 2023 15:18 5m 37s
chore: update hugr dependency Continuous integration #656: Pull request #219 synchronize by aborgna-q
November 7, 2023 13:22 5m 19s chore/update-deps
chore/update-deps
November 7, 2023 13:22 5m 19s
chore: update hugr dependency Check Conventional Commits format #458: Pull request #219 synchronize by aborgna-q
November 7, 2023 13:22 14s
November 7, 2023 13:22 14s
docs: Coverage check section in DEVELOPMENT.md cleanup caches by a branch #133: Pull request #221 closed by aborgna-q
November 7, 2023 12:12 22s docs/coverage
docs/coverage
November 7, 2023 12:12 22s
docs: Coverage check section in DEVELOPMENT.md (#221) Unsoundness checks #129: Commit 1f2b0b6 pushed by github-merge-queue bot
November 7, 2023 12:12 6m 7s main
main
November 7, 2023 12:12 6m 7s
docs: Coverage check section in DEVELOPMENT.md (#221) Continuous integration #655: Commit 1f2b0b6 pushed by github-merge-queue bot
November 7, 2023 12:12 5m 22s main
main
November 7, 2023 12:12 5m 22s
Continuous integration Continuous integration #654: Merge group checks requested
November 7, 2023 12:09 1m 54s
November 7, 2023 12:09 1m 54s
Check Conventional Commits format Check Conventional Commits format #457: Merge group checks requested
November 7, 2023 12:09 2s
November 7, 2023 12:09 2s
docs: Coverage check section in DEVELOPMENT.md Check Conventional Commits format #456: Pull request #221 opened by aborgna-q
November 7, 2023 12:01 19s
November 7, 2023 12:01 19s
docs: Coverage check section in DEVELOPMENT.md Continuous integration #653: Pull request #221 opened by aborgna-q
November 7, 2023 12:01 6m 5s docs/coverage
docs/coverage
November 7, 2023 12:01 6m 5s
chore: update hugr dependency Check Conventional Commits format #455: Pull request #219 edited by aborgna-q
November 7, 2023 11:49 15s
November 7, 2023 11:49 15s
Replace Port with OutgoingPort/IncomingPort where possible New issue #57: Issue #220 opened by aborgna-q
November 7, 2023 11:48 19s
November 7, 2023 11:48 19s
chore: update hugr dependency Continuous integration #652: Pull request #219 opened by aborgna-q
November 7, 2023 11:44 5m 3s chore/update-deps
chore/update-deps
November 7, 2023 11:44 5m 3s
chore: update hugr dependency Check Conventional Commits format #454: Pull request #219 opened by aborgna-q
November 7, 2023 11:44 14s
November 7, 2023 11:44 14s
Add quaternionic rotation ops New issue #56: Issue #218 opened by cqc-alec
November 7, 2023 08:56 17s
November 7, 2023 08:56 17s
Port Angle types from hugr repo New issue #55: Issue #217 opened by cqc-alec
November 7, 2023 08:55 14s
November 7, 2023 08:55 14s