Skip to content

Actions: CQCL/hugr

Actions

Unsoundness checks

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
unsoundness.yml
341 workflow run results
341 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: release (#1128) Unsoundness checks #560: Commit d89b6f1 pushed by github-merge-queue bot
May 29, 2024 13:25 31m 2s main
main
May 29, 2024 13:25 31m 2s
fix(hugr-core): Set initial version of hugr-core to 0.1.0 (#1129) Unsoundness checks #559: Commit a29721d pushed by github-merge-queue bot
May 29, 2024 12:50 30m 51s main
main
May 29, 2024 12:50 30m 51s
fix: Missing re-exports in hugr::hugr (#1127) Unsoundness checks #558: Commit fd5f989 pushed by github-merge-queue bot
May 29, 2024 12:03 32m 18s main
main
May 29, 2024 12:03 32m 18s
ci: Wrap failing pre-commit command (#1126) Unsoundness checks #557: Commit bbefc04 pushed by github-merge-queue bot
May 29, 2024 10:50 31m 56s main
main
May 29, 2024 10:50 31m 56s
feat(hugr-core): Unseal and make public the traits HugrInternals an… Unsoundness checks #556: Commit f97ba06 pushed by github-merge-queue bot
May 29, 2024 10:36 14m 13s main
main
May 29, 2024 10:36 14m 13s
ci: Stop benches ci job from always running (#1118) Unsoundness checks #555: Commit 75d1cb5 pushed by github-merge-queue bot
May 29, 2024 09:58 33m 17s main
main
May 29, 2024 09:58 33m 17s
ci: Pin nightly rust version (#1124) Unsoundness checks #554: Commit c74e124 pushed by github-merge-queue bot
May 29, 2024 09:47 11m 36s main
main
May 29, 2024 09:47 11m 36s
feat(cli): Add verbosity, return Hugr from run. (#1116) Unsoundness checks #553: Commit 3298a6a pushed by github-merge-queue bot
May 29, 2024 09:45 1m 40s main
main
May 29, 2024 09:45 1m 40s
ci: fix the release-plz fix (#1120) Unsoundness checks #552: Commit f757cc8 pushed by github-merge-queue bot
May 29, 2024 09:14 31m 7s main
main
May 29, 2024 09:14 31m 7s
feat: Make internals of int ops and the "int" CustomType more public.… Unsoundness checks #551: Commit 20f642b pushed by github-merge-queue bot
May 29, 2024 07:17 33m 58s main
main
May 29, 2024 07:17 33m 58s
ci: Enable hugr-cli release, don't create tags (#1119) Unsoundness checks #550: Commit 1dc14fa pushed by github-merge-queue bot
May 28, 2024 15:01 33m 3s main
main
May 28, 2024 15:01 33m 3s
feat!: move cli in to hugr-cli sub-crate (#1107) Unsoundness checks #549: Commit 766e5c3 pushed by github-merge-queue bot
May 28, 2024 14:47 14m 38s main
main
May 28, 2024 14:47 14m 38s
ci: Fix release-plz field config (#1117) Unsoundness checks #548: Commit 1b4136f pushed by github-merge-queue bot
May 28, 2024 14:27 20m 4s main
main
May 28, 2024 14:27 20m 4s
refactor: Add a hugr-core crate (#1108) Unsoundness checks #547: Commit bb1565f pushed by github-merge-queue bot
May 28, 2024 13:30 33m 31s main
main
May 28, 2024 13:30 33m 31s
feat!: Disallow nonlocal value edges into FuncDefn's (#1061) Unsoundness checks #546: Commit 9ff6dce pushed by github-merge-queue bot
May 24, 2024 15:39 32m 55s main
main
May 24, 2024 15:39 32m 55s
ci: Use hugrbot token in CI (#1110) Unsoundness checks #545: Commit b40392f pushed by github-merge-queue bot
May 24, 2024 15:17 22m 33s main
main
May 24, 2024 15:17 22m 33s
ci: Notify coverage changes only once a week (#1111) Unsoundness checks #544: Commit da40f44 pushed by github-merge-queue bot
May 24, 2024 14:09 31m 52s main
main
May 24, 2024 14:09 31m 52s
chore: Add alec to the release team (#1101) Unsoundness checks #543: Commit 3a5be5a pushed by github-merge-queue bot
May 24, 2024 09:21 29m 51s main
main
May 24, 2024 09:21 29m 51s
ci: Disable release-plz publishing hugr-passes for now (#1103) Unsoundness checks #542: Commit d6d9a4e pushed by github-merge-queue bot
May 23, 2024 13:47 30m 33s main
main
May 23, 2024 13:47 30m 33s
feat!: Move passes from algorithms into a separate crate (#1100) Unsoundness checks #541: Commit 3e17193 pushed by github-merge-queue bot
May 23, 2024 13:21 27m 3s main
main
May 23, 2024 13:21 27m 3s
chore: Move dependencies to the workspace Cargo.toml (#1102) Unsoundness checks #540: Commit 4b8d23d pushed by github-merge-queue bot
May 23, 2024 11:51 30m 51s main
main
May 23, 2024 11:51 30m 51s
feat: hugr binary cli tool (#1096) Unsoundness checks #539: Commit 3476bd7 pushed by github-merge-queue bot
May 22, 2024 14:09 30m 49s main
main
May 22, 2024 14:09 30m 49s
feat!: Allow "Row Variables" declared as List<Type> (#804) Unsoundness checks #538: Commit 3ea4834 pushed by github-merge-queue bot
May 22, 2024 09:33 32m 34s main
main
May 22, 2024 09:33 32m 34s
docs: Add release instructions to DEVELOPMENT.md (#1070) Unsoundness checks #537: Commit dbaf601 pushed by github-merge-queue bot
May 21, 2024 14:15 1h 2m 44s main
main
May 21, 2024 14:15 1h 2m 44s
feat!: Remove PartialEq impl for ConstF64 (#1079) Unsoundness checks #536: Commit 8af8f8a pushed by github-merge-queue bot
May 21, 2024 14:01 28m 18s main
main
May 21, 2024 14:01 28m 18s