Skip to content

Actions: CQCL/tket2

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
feat/rpitit-strategies
January 2, 2024 11:43 3m 22s
feat: Return rewrite strategies as a generator Check Conventional Commits format #607: Pull request #275 synchronize by aborgna-q
January 2, 2024 11:43 14s
January 2, 2024 11:43 14s
chore: Update deps, bump MSRV to 1.75 cleanup caches by a branch #174: Pull request #279 closed by aborgna-q
January 2, 2024 11:23 19s chore/update-deps
chore/update-deps
January 2, 2024 11:23 19s
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
main
January 2, 2024 11:23 3m 34s
chore: Update deps, bump MSRV to 1.75 (#279) Unsoundness checks #167: Commit 3dae175 pushed by github-merge-queue bot
January 2, 2024 11:23 7m 20s main
main
January 2, 2024 11:23 7m 20s
Check Conventional Commits format Check Conventional Commits format #606: Merge group checks requested
January 2, 2024 11:20 2s
January 2, 2024 11:20 2s
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
chore/update-deps
January 2, 2024 10:45 3m 26s
chore: Update deps, bump MSRV to 1.75 Check Conventional Commits format #605: Pull request #279 opened by aborgna-q
January 2, 2024 10:45 11s
January 2, 2024 10:45 11s
chore(deps): update delegate requirement from 0.11.0 to 0.12.0 cleanup caches by a branch #173: Pull request #278 closed by aborgna-q
January 2, 2024 09:00 15s dependabot/cargo/delegate-0.12.0
dependabot/cargo/delegate-0.12.0
January 2, 2024 09:00 15s
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
main
January 2, 2024 09:00 3m 43s
chore(deps): update delegate requirement from 0.11.0 to 0.12.0 (#278) Unsoundness checks #166: Commit 9d59276 pushed by github-merge-queue bot
January 2, 2024 09:00 7m 28s main
main
January 2, 2024 09:00 7m 28s
Check Conventional Commits format Check Conventional Commits format #604: Merge group checks requested
January 2, 2024 08:58 3s
January 2, 2024 08:58 3s
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
dependabot/cargo/delegate-0.12.0
December 25, 2023 02:52 4m 2s
chore(deps): update delegate requirement from 0.11.0 to 0.12.0 Check Conventional Commits format #602: Pull request #278 labeled by dependabot bot
December 25, 2023 02:52 14s
December 25, 2023 02:52 14s
chore(deps): update delegate requirement from 0.11.0 to 0.12.0 Check Conventional Commits format #603: Pull request #278 opened by dependabot bot
December 25, 2023 02:52 14s
December 25, 2023 02:52 14s