Actions: CQCL/hugr
Actions
589 workflow run results
589 workflow run results
OpaqueOp
(#732)
Unsoundness checks
#329:
Commit 6959c89
pushed
by
github-merge-queue
bot
Into<OpType>
for custom ops (#731)
Unsoundness checks
#327:
Commit a69246b
pushed
by
github-merge-queue
bot
MakeOpDef
for int_ops (#724)
Unsoundness checks
#326:
Commit 39599d8
pushed
by
github-merge-queue
bot
PolyFuncType::body
(#727)
Unsoundness checks
#325:
Commit 5e549f2
pushed
by
github-merge-queue
bot
OpEnum
trait for common opdef functionality (#721)
Unsoundness checks
#323:
Commit 74ff7ff
pushed
by
github-merge-queue
bot
pyo3
feature (#717)
Unsoundness checks
#318:
Commit 954999d
pushed
by
github-merge-queue
bot
SignatureFunc
and add custom arg validation. (#706)
Unsoundness checks
#316:
Commit c2df319
pushed
by
github-merge-queue
bot
ProTip!
You can narrow down the results and go further in time using created:<2023-11-16 or the other filters available.