Actions: CQCL/hugr
Actions
Showing runs from all workflows
11,365 workflow run results
11,365 workflow run results
hugr-model
Continuous integration 🐍
#2407:
Pull request #1605
synchronize
by
zrho
hugr-model
Check Conventional Commits format
#3850:
Pull request #1605
synchronize
by
zrho
hugr-model
to a separate release group
cleanup caches by a branch
#955:
Pull request #1612
closed
by
aborgna-q
hugr-model
to a separate release group (#1612)
Build and publish python wheels
#498:
Commit 8d9da5f
pushed
by
github-merge-queue
bot
hugr-model
to a separate release group (#1612)
Release-please 🐍
#386:
Commit 8d9da5f
pushed
by
github-merge-queue
bot
hugr-model
to a separate release group (#1612)
Release-plz 🦀
#474:
Commit 8d9da5f
pushed
by
github-merge-queue
bot
hugr-model
to a separate release group (#1612)
Continuous integration 🦀
#2401:
Commit 8d9da5f
pushed
by
github-merge-queue
bot
hugr-model
to a separate release group (#1612)
Unsoundness checks
#836:
Commit 8d9da5f
pushed
by
github-merge-queue
bot
hugr-model
to a separate release group (#1612)
Continuous integration 🐍
#2405:
Commit 8d9da5f
pushed
by
github-merge-queue
bot
hugr-model
to a separate release group
Continuous integration 🦀
#2399:
Pull request #1612
opened
by
aborgna-q
hugr-model
to a separate release group
Continuous integration 🐍
#2403:
Pull request #1612
opened
by
aborgna-q
hugr-model
to a separate release group
Check Conventional Commits format
#3846:
Pull request #1612
opened
by
aborgna-q
hugr-model
Continuous integration 🦀
#2398:
Pull request #1605
synchronize
by
zrho
hugr-model
Check Conventional Commits format
#3845:
Pull request #1605
synchronize
by
zrho
hugr-model
Continuous integration 🐍
#2402:
Pull request #1605
synchronize
by
zrho
uv --frozen
instead of --locked
cleanup caches by a branch
#954:
Pull request #1611
closed
by
aborgna-q
uv --frozen
instead of --locked
(#1611)
Release-please 🐍
#385:
Commit 426d3ab
pushed
by
github-merge-queue
bot
uv --frozen
instead of --locked
(#1611)
Continuous integration 🐍
#2401:
Commit 426d3ab
pushed
by
github-merge-queue
bot