Skip to content

Actions: CQCL/hugr

Actions

Unsoundness checks

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
unsoundness.yml
594 workflow run results
594 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

ci: Compare coverage using specific commit shas (#699) Unsoundness checks #307: Commit e7473f2 pushed by github-merge-queue bot
November 16, 2023 08:48 18m 56s main
main
November 16, 2023 08:48 18m 56s
refactor!: Rename new_linear() to new_endo(). (#697) Unsoundness checks #306: Commit 95f8808 pushed by github-merge-queue bot
November 16, 2023 08:37 19m 10s main
main
November 16, 2023 08:37 19m 10s
feat!: HugrView API improvements (#680) Unsoundness checks #305: Commit e943fdc pushed by github-merge-queue bot
November 15, 2023 18:00 18m 57s main
main
November 15, 2023 18:00 18m 57s
docs: Improve crate-level docs, including example code. (#698) Unsoundness checks #304: Commit 3938883 pushed by github-merge-queue bot
November 15, 2023 16:48 18m 28s main
main
November 15, 2023 16:48 18m 28s
docs: Remove "quantum extension" from HUGR spec. (#694) Unsoundness checks #303: Commit c261bea pushed by github-merge-queue bot
November 15, 2023 11:23 18m 38s main
main
November 15, 2023 11:23 18m 38s
fix: Serialise dynamically computed opaqueOp signatures (#690) Unsoundness checks #302: Commit d20bc74 pushed by github-merge-queue bot
November 14, 2023 19:47 17m 43s main
main
November 14, 2023 19:47 17m 43s
chore: Move extension inference tests to their own file (#687) Unsoundness checks #301: Commit 867af89 pushed by github-merge-queue bot
November 14, 2023 14:57 22m 12s main
main
November 14, 2023 14:57 22m 12s
refactor!: Flatten Prim(Type/Value) in to parent enum (#685) Unsoundness checks #300: Commit e791c0d pushed by github-merge-queue bot
November 14, 2023 11:44 18m 21s main
main
November 14, 2023 11:44 18m 21s
test: miri ignore file-opening test (#684) Unsoundness checks #299: Commit aa68c49 pushed by github-merge-queue bot
November 13, 2023 15:25 18m 42s main
main
November 13, 2023 15:25 18m 42s
refactor: use type schemes in extension definitions wherever possible… Unsoundness checks #298: Commit 201d1a2 pushed by github-merge-queue bot
November 13, 2023 14:08 18m 36s main
main
November 13, 2023 14:08 18m 36s
test: use insta snapshots to add dot_string coverage (#682) Unsoundness checks #297: Commit d32d033 pushed by github-merge-queue bot
November 13, 2023 12:44 17m 24s main
main
November 13, 2023 12:44 17m 24s
chore: drop debug prints (#681) Unsoundness checks #296: Commit 40dfcf3 pushed by github-merge-queue bot
November 13, 2023 11:15 39m 34s main
main
November 13, 2023 11:15 39m 34s
feat: shorthand for retrieving custom constants from Const, Value… Unsoundness checks #295: Commit 144e91f pushed by github-merge-queue bot
November 13, 2023 10:45 40m 4s main
main
November 13, 2023 10:45 40m 4s
chore: devenv support for local coverage (#677) Unsoundness checks #294: Commit 78faf6d pushed by github-merge-queue bot
November 10, 2023 13:45 19m 29s main
main
November 10, 2023 13:45 19m 29s
fix: actually add the error type to prelude (#672) Unsoundness checks #293: Commit b256c2b pushed by github-merge-queue bot
November 9, 2023 17:21 18m 18s main
main
November 9, 2023 17:21 18m 18s
ci: Use codecov's results for the coverage notification (#671) Unsoundness checks #292: Commit cb239e0 pushed by github-merge-queue bot
November 9, 2023 17:15 17m 46s main
main
November 9, 2023 17:15 17m 46s
refactor!: remove quantum extension (#670) Unsoundness checks #291: Commit cf933f6 pushed by github-merge-queue bot
November 9, 2023 12:05 33m 4s main
main
November 9, 2023 12:05 33m 4s
feat: make prelude error type public (#669) Unsoundness checks #290: Commit d0499ad pushed by github-merge-queue bot
November 9, 2023 11:04 18m 58s main
main
November 9, 2023 11:04 18m 58s
feat: polymorphic function types (inc OpDefs) using dyn trait (#630) Unsoundness checks #289: Commit ef8f4d3 pushed by github-merge-queue bot
November 8, 2023 23:19 45m 11s main
main
November 8, 2023 23:19 45m 11s
test!: Improve coverage in signature and validate (#643) Unsoundness checks #288: Commit 250f221 pushed by github-merge-queue bot
November 8, 2023 17:37 36m 42s main
main
November 8, 2023 17:37 36m 42s
feat: Require the node's metadata to always be a Map (#661) Unsoundness checks #287: Commit b71cae6 pushed by github-merge-queue bot
November 8, 2023 16:16 18m 9s main
main
November 8, 2023 16:16 18m 9s
feat: Provide+implement Replace API (#613) Unsoundness checks #286: Commit 9259797 pushed by github-merge-queue bot
November 8, 2023 14:26 17m 25s main
main
November 8, 2023 14:26 17m 25s
ci: Better name for the daily coverage notif workflow (#662) Unsoundness checks #285: Commit 061ec3e pushed by github-merge-queue bot
November 8, 2023 13:38 16m 10s main
main
November 8, 2023 13:38 16m 10s
test: strengthen "failing_sccs_test", rename to "sccs" as it's not fa… Unsoundness checks #284: Commit bf7a988 pushed by github-merge-queue bot
November 8, 2023 12:54 27m 27s main
main
November 8, 2023 12:54 27m 27s
refactor: rename accidentally-changed Extension::add_node_xxx back to… Unsoundness checks #283: Commit 5bcb185 pushed by github-merge-queue bot
November 8, 2023 10:38 39m 21s main
main
November 8, 2023 10:38 39m 21s
ProTip! You can narrow down the results and go further in time using created:<2023-11-08 or the other filters available.