Skip to content

Actions: CQCL/guppylang

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
3,373 workflow runs
3,373 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: Generic function definitions Check Conventional Commits format #1291: Pull request #618 synchronize by mark-koch
November 14, 2024 10:09 13s
November 14, 2024 10:09 13s
v0.13.0 Build and publish python wheels #194: Release v0.13.0 published by aborgna-q
November 12, 2024 17:08 39s
November 12, 2024 17:08 39s
ci: Fix wheels publish config (#644) Pull Request #1474: Commit f527703 pushed by github-merge-queue bot
November 12, 2024 17:05 2m 51s main
main
November 12, 2024 17:05 2m 51s
ci: Fix wheels publish config (#644) Build and publish python wheels #193: Commit f527703 pushed by github-merge-queue bot
November 12, 2024 17:05 22s main
main
November 12, 2024 17:05 22s
ci: Fix wheels publish config (#644) Build and publish docs #174: Commit f527703 pushed by github-merge-queue bot
November 12, 2024 17:05 5m 4s main
main
November 12, 2024 17:05 5m 4s
ci: Fix wheels publish config (#644) Release-please 🐍 #203: Commit f527703 pushed by github-merge-queue bot
November 12, 2024 17:05 19s main
main
November 12, 2024 17:05 19s
Pull Request Pull Request #1473: Merge group checks requested
November 12, 2024 17:02 2m 56s
November 12, 2024 17:02 2m 56s
Check Conventional Commits format Check Conventional Commits format #1290: Merge group checks requested
November 12, 2024 17:02 11s
November 12, 2024 17:02 11s
ci: Fix wheels publish config Pull Request #1472: Pull request #644 opened by aborgna-q
November 12, 2024 16:58 3m 5s ab/wheels-job-fix
ab/wheels-job-fix
November 12, 2024 16:58 3m 5s
ci: Fix wheels publish config Check Conventional Commits format #1289: Pull request #644 opened by aborgna-q
November 12, 2024 16:58 16s
November 12, 2024 16:58 16s
chore(main): release 0.13.0 Check Conventional Commits format #1288: Pull request #518 labeled by hugrbot
November 12, 2024 16:53 17s
November 12, 2024 16:53 17s
chore(main): release 0.13.0 Check Conventional Commits format #1287: Pull request #518 unlabeled by hugrbot
November 12, 2024 16:53 16s
November 12, 2024 16:53 16s
Build and publish python wheels Build and publish python wheels #192: published by hugrbot
November 12, 2024 16:53 29s
November 12, 2024 16:53 29s
chore(main): release 0.13.0 (#518) Release-please 🐍 #202: Commit b69cf01 pushed by github-merge-queue bot
November 12, 2024 16:53 21s main
main
November 12, 2024 16:53 21s
chore(main): release 0.13.0 (#518) Pull Request #1471: Commit b69cf01 pushed by github-merge-queue bot
November 12, 2024 16:53 3m 5s main
main
November 12, 2024 16:53 3m 5s
chore(main): release 0.13.0 (#518) Build and publish docs #173: Commit b69cf01 pushed by github-merge-queue bot
November 12, 2024 16:53 4m 31s main
main
November 12, 2024 16:53 4m 31s
chore(main): release 0.13.0 (#518) Build and publish python wheels #191: Commit b69cf01 pushed by github-merge-queue bot
November 12, 2024 16:53 27s main
main
November 12, 2024 16:53 27s
Check Conventional Commits format Check Conventional Commits format #1286: Merge group checks requested
November 12, 2024 16:49 13s
November 12, 2024 16:49 13s
Pull Request Pull Request #1470: Merge group checks requested
November 12, 2024 16:49 3m 1s
November 12, 2024 16:49 3m 1s
chore(main): release 0.13.0 Pull Request #1469: Pull request #518 synchronize by aborgna-q
November 12, 2024 16:22 3m 22s release-please--branches--main
release-please--branches--main
November 12, 2024 16:22 3m 22s
chore(main): release 0.13.0 Check Conventional Commits format #1285: Pull request #518 synchronize by aborgna-q
November 12, 2024 16:22 12s
November 12, 2024 16:22 12s
chore(main): release 0.13.0 Check Conventional Commits format #1284: Pull request #518 edited by hugrbot
November 12, 2024 16:17 16s
November 12, 2024 16:17 16s
chore(main): release 0.13.0 Check Conventional Commits format #1283: Pull request #518 synchronize by hugrbot
November 12, 2024 16:17 16s
November 12, 2024 16:17 16s
chore(main): release 0.13.0 Pull Request #1468: Pull request #518 synchronize by hugrbot
November 12, 2024 16:17 2m 54s release-please--branches--main
release-please--branches--main
November 12, 2024 16:17 2m 54s
chore: Manually set last release commit (#643) Release-please 🐍 #201: Commit b2d569b pushed by github-merge-queue bot
November 12, 2024 16:17 30s main
main
November 12, 2024 16:17 30s