Skip to content

Actions: CQCL/hugr

cleanup caches by a branch

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
750 workflow runs
750 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

test: use insta snapshots to add dot_string coverage
cleanup caches by a branch #385: Pull request #682 closed by ss2165
November 13, 2023 12:44 15s test/dot_str
November 13, 2023 12:44 15s
chore: drop debug prints
cleanup caches by a branch #384: Pull request #681 closed by aborgna-q
November 13, 2023 11:15 17s chore/drop-debug-prints
November 13, 2023 11:15 17s
feat: shorthand for retrieving custom constants from Const, Value
cleanup caches by a branch #383: Pull request #679 closed by ss2165
November 13, 2023 10:45 15s feat/get_val
November 13, 2023 10:45 15s
chore: devenv support for local coverage
cleanup caches by a branch #382: Pull request #677 closed by ss2165
November 10, 2023 13:45 15s chore/devenv-cov
November 10, 2023 13:45 15s
Alternative start to automatically including extension-reqs
cleanup caches by a branch #381: Pull request #674 closed by acl-cqc
November 10, 2023 13:16 14s fix/include_declaring_extension
November 10, 2023 13:16 14s
fix: actually add the error type to prelude
cleanup caches by a branch #380: Pull request #672 closed by ss2165
November 9, 2023 17:21 13s fix/error-type-not-in-prelude
November 9, 2023 17:21 13s
ci: Use codecov's results for the coverage notification
cleanup caches by a branch #379: Pull request #671 closed by aborgna-q
November 9, 2023 17:15 11s ci/codecov-notif
November 9, 2023 17:15 11s
refactor!: remove quantum extension
cleanup caches by a branch #378: Pull request #670 closed by ss2165
November 9, 2023 12:05 19s refactor/remove-quantum
November 9, 2023 12:05 19s
feat: make prelude error type public
cleanup caches by a branch #377: Pull request #669 closed by ss2165
November 9, 2023 11:04 15s refactor/public-error
November 9, 2023 11:04 15s
feat: polymorphic function types (inc OpDefs) using dyn trait
cleanup caches by a branch #376: Pull request #630 closed by acl-cqc
November 8, 2023 23:19 14s new/poly_types_map
November 8, 2023 23:19 14s
perf: O(1) optag superset checks
cleanup caches by a branch #375: Pull request #595 closed by aborgna-q
November 8, 2023 17:55 16s perf/optag
November 8, 2023 17:55 16s
test!: Improve coverage in signature and validate
cleanup caches by a branch #374: Pull request #643 closed by ss2165
November 8, 2023 17:37 23s chore/coverage
November 8, 2023 17:37 23s
feat: Require the node's metadata to always be a Map
cleanup caches by a branch #373: Pull request #661 closed by aborgna-q
November 8, 2023 16:16 16s feat/node-metadata
November 8, 2023 16:16 16s
feat: Provide+implement Replace API
cleanup caches by a branch #372: Pull request #613 closed by acl-cqc
November 8, 2023 14:26 14s new/replace
November 8, 2023 14:26 14s
ci: Better name for the daily coverage notif workflow
cleanup caches by a branch #371: Pull request #662 closed by aborgna-q
November 8, 2023 13:38 27s ci/rename-daily-coverage
November 8, 2023 13:38 27s
test: strengthen "failing_sccs_test", rename to "sccs" as it's not failing!
cleanup caches by a branch #370: Pull request #660 closed by acl-cqc
November 8, 2023 12:54 16s tests/infer_sccs
November 8, 2023 12:54 16s
fix(Inference): Work harder in variable instantiation
cleanup caches by a branch #368: Pull request #591 closed by croyzor
November 8, 2023 09:37 11s fix/inference-variable
November 8, 2023 09:37 11s
refactor: remove add_op_<posn> by generalizing add_node_<posn> with "impl Into"
cleanup caches by a branch #367: Pull request #642 closed by acl-cqc
November 8, 2023 09:32 11s refactor/remove_add_op
November 8, 2023 09:32 11s
feat: impl GraphRef for PetgraphWrapper
cleanup caches by a branch #366: Pull request #651 closed by doug-q
November 7, 2023 13:54 16s feat/graphref-petgraphwrapper
November 7, 2023 13:54 16s
ci: Reorder test building and running to avoid double compilation.
cleanup caches by a branch #365: Pull request #650 closed by aborgna-q
November 7, 2023 12:46 16s ci/reorder-build-test
November 7, 2023 12:46 16s
feat: port.as_directed to match on either direction
cleanup caches by a branch #364: Pull request #647 closed by aborgna-q
November 7, 2023 12:38 19s feat/port-as-directed
November 7, 2023 12:38 19s
chore: devenv update to rust 1.73
cleanup caches by a branch #363: Pull request #649 closed by ss2165
November 7, 2023 12:12 15s chore/update-devenv
November 7, 2023 12:12 15s
docs: Coverage check section in DEVELOPMENT.md
cleanup caches by a branch #362: Pull request #648 closed by aborgna-q
November 7, 2023 11:27 15s docs/dev-coverage
November 7, 2023 11:27 15s
fix: erratic stack overflow in infer.rs (live_var)
cleanup caches by a branch #361: Pull request #638 closed by acl-cqc
November 7, 2023 09:45 14s fix/infer_stack_overflow
November 7, 2023 09:45 14s
ProTip! You can narrow down the results and go further in time using created:<2023-11-07 or the other filters available.