Skip to content

Actions: CQCL/hugr

cleanup caches by a branch

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
700 workflow runs
700 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: Lower collections extension
cleanup caches by a branch #998: Pull request #1720 closed by mark-koch
November 27, 2024 15:25 53s mk/collections
November 27, 2024 15:25 53s
feat: add HugrView::first_child and HugrMut::remove_subtree
cleanup caches by a branch #997: Pull request #1721 closed by acl-cqc
November 27, 2024 14:17 52s acl/remove_subtree
November 27, 2024 14:17 52s
feat!: OpDefs and TypeDefs keep a reference to their extension
cleanup caches by a branch #996: Pull request #1719 closed by aborgna-q
November 27, 2024 11:16 57s ab/opdef-ref
November 27, 2024 11:16 57s
feat: Lists and extension sets with splicing
cleanup caches by a branch #995: Pull request #1657 closed by zrho
November 27, 2024 09:43 27s zrho/model-list-splice
November 27, 2024 09:43 27s
fix: hierarchical simple replacement using insert_hugr
cleanup caches by a branch #994: Pull request #1718 closed by ss2165
November 26, 2024 15:19 59s ss/nest-lower
November 26, 2024 15:19 59s
chore: Fix new lints in rust 1.83
cleanup caches by a branch #992: Pull request #1686 closed by aborgna-q
November 26, 2024 09:14 49s ab/rust-1.83
November 26, 2024 09:14 49s
ci: run semver-checks on a pull_request_target trigger
cleanup caches by a branch #991: Pull request #1661 closed by aborgna-q
November 25, 2024 17:02 55s ab/semver-checks-target
November 25, 2024 17:02 55s
ci: Move weekly coverage stats to hubble chanel
cleanup caches by a branch #990: Pull request #1689 closed by aborgna-q
November 25, 2024 16:00 14s ab/coverage-notif-channel
November 25, 2024 16:00 14s
feat!: Share Extensions under Arcs
cleanup caches by a branch #989: Pull request #1647 closed by aborgna-q
November 25, 2024 15:41 49s ab/arc-extension
November 25, 2024 15:41 49s
ci: clippy tests
cleanup caches by a branch #988: Pull request #1685 closed by ss2165
November 25, 2024 13:37 56s ss/clippy-tests
November 25, 2024 13:37 56s
fix: unused import from #1683
cleanup caches by a branch #987: Pull request #1684 closed by ss2165
November 25, 2024 13:31 14s ss/clippy
November 25, 2024 13:31 14s
fix: hugr-llvm extension deltas
cleanup caches by a branch #986: Pull request #1683 closed by aborgna-q
November 25, 2024 11:54 32s ab/hugr-llvm-exts
November 25, 2024 11:54 32s
ci: add llvm to coverage check
cleanup caches by a branch #985: Pull request #1682 closed by ss2165
November 25, 2024 11:48 1m 7s ss/fix-cover
November 25, 2024 11:48 1m 7s
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