Skip to content

Actions: CQCL/hugr

cleanup caches by a branch

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
638 workflow run results
638 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: move unwrap builder to hugr core
cleanup caches by a branch #984: Pull request #1674 closed by ss2165
November 22, 2024 15:47 49s ss/unwrap
November 22, 2024 15:47 49s
feat: export llvm test utilities under llvm-test feature
cleanup caches by a branch #983: Pull request #1677 closed by ss2165
November 22, 2024 15:06 48s ss/llvm-tests
November 22, 2024 15:06 48s
feat: git subtree move in hugr-llvm
cleanup caches by a branch #982: Pull request #1601 closed by ss2165
November 22, 2024 14:44 50s doug/init-hugr-llvm-subtree
November 22, 2024 14:44 50s
feat: Add array repeat and scan ops
cleanup caches by a branch #981: Pull request #1633 closed by mark-koch
November 21, 2024 10:12 19s feat/uninitialized-array
November 21, 2024 10:12 19s
feat: Emulate TypeBounds on parameters via constraints.
cleanup caches by a branch #980: Pull request #1624 closed by ss2165
November 20, 2024 15:24 28s zrho/model-bounds
November 20, 2024 15:24 28s
ci: Post issues for miri check fails instead of messaging slack
cleanup caches by a branch #979: Pull request #1662 closed by aborgna-q
November 20, 2024 11:38 14s ab/unsoundness-notif
November 20, 2024 11:38 14s
chore: release
cleanup caches by a branch #978: Pull request #1658 closed by hugrbot
November 19, 2024 09:08 21s release-plz-2024-11-15T12-12-00Z
November 19, 2024 09:08 21s
feat!: Replace GATs with impl Iterator returns (RPITIT) on HugrView
cleanup caches by a branch #975: Pull request #1660 closed by aborgna-q
November 18, 2024 17:20 21s ab/rpitit
November 18, 2024 17:20 21s
ci: Run unsoundness checks on a set schedule
cleanup caches by a branch #974: Pull request #1666 closed by aborgna-q
November 18, 2024 11:46 17s ab/miri-daily
November 18, 2024 11:46 17s
feat: Add SiblingSubgraph::from_node
cleanup caches by a branch #973: Pull request #1655 closed by aborgna-q
November 15, 2024 12:08 20s ab/from-node
November 15, 2024 12:08 20s
perf: Faster singleton SiblingSubgraph construction
cleanup caches by a branch #972: Pull request #1654 closed by aborgna-q
November 13, 2024 15:53 21s ab/subgraph-perf
November 13, 2024 15:53 21s
ci: fix miri checks
cleanup caches by a branch #971: Pull request #1651 closed by aborgna-q
November 13, 2024 11:11 19s ab/miri
November 13, 2024 11:11 19s
feat: Export/import of JSON metadata
cleanup caches by a branch #970: Pull request #1622 closed by zrho
November 13, 2024 10:17 25s zrho/model-metadata
November 13, 2024 10:17 25s
ci: Fix trusted pypi publish job
cleanup caches by a branch #969: Pull request #1648 closed by aborgna-q
November 12, 2024 17:32 14s ab/wheels-fix
November 12, 2024 17:32 14s
chore: Fix unsoundness tests
cleanup caches by a branch #968: Pull request #1643 closed by aborgna-q
November 8, 2024 09:14 22s ab/fix-miri
November 8, 2024 09:14 22s
ci: Fix unsoundness notification
cleanup caches by a branch #967: Pull request #1641 closed by aborgna-q
November 7, 2024 15:04 20s ab/unsoundness-msg
November 7, 2024 15:04 20s
chore: release
cleanup caches by a branch #966: Pull request #1617 closed by aborgna-q
November 6, 2024 13:56 20s release-plz-2024-10-29T10-29-42Z
November 6, 2024 13:56 20s
ci: use trusted publishers for pypi publishing
cleanup caches by a branch #964: Pull request #1634 closed by ss2165
November 5, 2024 16:19 14s ss/pypi
November 5, 2024 16:19 14s
feat: Add TailLoop::BREAK_TAG and CONTINUE_TAG
cleanup caches by a branch #963: Pull request #1626 closed by acl-cqc
November 5, 2024 11:52 24s acl/break_continue_tag
November 5, 2024 11:52 24s
fix: Insert DFG directly as a funcdefn in Package::from_hugr
cleanup caches by a branch #962: Pull request #1621 closed by aborgna-q
November 5, 2024 11:01 26s ab/package-from-hugr
November 5, 2024 11:01 26s
feat: Operation and constructor declarations in hugr-model
cleanup caches by a branch #961: Pull request #1605 closed by zrho
October 31, 2024 16:10 25s zrho/model-declarative
October 31, 2024 16:10 25s
feat: HugrMut::remove_metadata
cleanup caches by a branch #960: Pull request #1619 closed by aborgna-q
October 31, 2024 09:35 18s ab/remove-meta
October 31, 2024 09:35 18s