Skip to content
This repository was archived by the owner on Mar 5, 2025. It is now read-only.

Actions: CQCL/hugr-llvm

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
666 workflow runs
666 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

docs: Add archiving notice to README
cleanup caches by a branch #75: Pull request #143 closed by aborgna-q
March 5, 2025 16:21 19s ab/archive
March 5, 2025 16:21 19s
docs: Add archiving notice to README (#143)
Continuous integration 🦀 #404: Commit d751099 pushed by github-merge-queue bot
March 5, 2025 16:21 30s main
March 5, 2025 16:21 30s
docs: Add archiving notice to README (#143)
Release-plz 🦀 #79: Commit d751099 pushed by github-merge-queue bot
March 5, 2025 16:21 19s main
March 5, 2025 16:21 19s
Check Conventional Commits format
Check Conventional Commits format #409: Merge group checks requested
March 5, 2025 16:20 10s
March 5, 2025 16:20 10s
Continuous integration 🦀
Continuous integration 🦀 #403: Merge group checks requested
March 5, 2025 16:20 28s
March 5, 2025 16:20 28s
docs: Add archiving notice to README
Check Conventional Commits format #408: Pull request #143 edited by aborgna-q
March 5, 2025 16:18 15s
March 5, 2025 16:18 15s
docs: Add archiving notice to README
Continuous integration 🦀 #402: Pull request #143 opened by aborgna-q
March 5, 2025 16:18 24s ab/archive
March 5, 2025 16:18 24s
docs: Add archiving notice to README
Check Conventional Commits format #407: Pull request #143 opened by aborgna-q
March 5, 2025 16:18 14s
March 5, 2025 16:18 14s
chore: release v0.6.2
Check Conventional Commits format #406: Pull request #142 opened by hugrbot
November 13, 2024 13:19 16s
November 13, 2024 13:19 16s
chore: release v0.6.2
Continuous integration 🦀 #401: Pull request #142 opened by hugrbot
November 13, 2024 13:19 2m 57s release-plz-2024-11-13T13-18-57Z
November 13, 2024 13:19 2m 57s
chore: remove dead code and update notes
cleanup caches by a branch #74: Pull request #141 closed by qartik
November 13, 2024 13:17 13s cleanup
November 13, 2024 13:17 13s
chore: remove dead code and update notes (#141)
Continuous integration 🦀 #400: Commit 8045498 pushed by github-merge-queue bot
November 13, 2024 13:17 3m 32s main
November 13, 2024 13:17 3m 32s
chore: remove dead code and update notes (#141)
Release-plz 🦀 #78: Commit 8045498 pushed by github-merge-queue bot
November 13, 2024 13:17 1m 30s main
November 13, 2024 13:17 1m 30s
Check Conventional Commits format
Check Conventional Commits format #405: Merge group checks requested
November 13, 2024 13:16 14s
November 13, 2024 13:16 14s
Continuous integration 🦀
Continuous integration 🦀 #399: Merge group checks requested
November 13, 2024 13:16 28s
November 13, 2024 13:16 28s
chore: remove dead code and update notes
Continuous integration 🦀 #398: Pull request #141 opened by qartik
November 11, 2024 20:28 24s cleanup
November 11, 2024 20:28 24s
chore: remove dead code and update notes
Check Conventional Commits format #404: Pull request #141 opened by qartik
November 11, 2024 20:28 12s
November 11, 2024 20:28 12s
Add lowering for collections extension
Add issues to project board #30: Issue #140 opened by doug-q
November 6, 2024 10:15 14s
November 6, 2024 10:15 14s
Add issues to project board
Add issues to project board #29: opened by ss2165
November 5, 2024 16:36 13s
November 5, 2024 16:36 13s
chore: release v0.6.1
cleanup caches by a branch #73: Pull request #138 closed by doug-q
October 23, 2024 15:58 18s release-plz-2024-10-23T14-46-56Z
October 23, 2024 15:58 18s
chore: release v0.6.1 (#138)
Release-plz 🦀 #77: Commit d50f5b1 pushed by github-merge-queue bot
October 23, 2024 15:57 1m 52s main
October 23, 2024 15:57 1m 52s
chore: release v0.6.1 (#138)
Continuous integration 🦀 #397: Commit d50f5b1 pushed by github-merge-queue bot
October 23, 2024 15:57 3m 32s main
October 23, 2024 15:57 3m 32s
Check Conventional Commits format
Check Conventional Commits format #403: Merge group checks requested
October 23, 2024 15:55 11s
October 23, 2024 15:55 11s
Continuous integration 🦀
Continuous integration 🦀 #396: Merge group checks requested
October 23, 2024 15:55 2m 15s
October 23, 2024 15:55 2m 15s
chore: release v0.6.1
Check Conventional Commits format #402: Pull request #138 opened by hugrbot
October 23, 2024 14:47 18s
October 23, 2024 14:47 18s