Skip to content

Actions: CQCL/hugr

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
426 workflow run results
426 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[fix] Spec formatting (#312) Unsoundness checks #64: Commit dc6da1a pushed by github-merge-queue bot
July 28, 2023 11:55 4m 0s main
main
July 28, 2023 11:55 4m 0s
Continuous integration Continuous integration #997: Merge group checks requested
July 28, 2023 11:53 1m 35s
July 28, 2023 11:53 1m 35s
[fix] Spec formatting Continuous integration #996: Pull request #312 synchronize by croyzor
July 28, 2023 11:51 1m 43s spec/formatting-fix
spec/formatting-fix
July 28, 2023 11:51 1m 43s
[fix] Spec formatting Coverage #165: Pull request #312 synchronize by croyzor
July 28, 2023 11:51 3m 34s spec/formatting-fix
spec/formatting-fix
July 28, 2023 11:51 3m 34s
add resource and description fields for TypeDef Coverage #164: Pull request #309 synchronize by ss2165
July 28, 2023 11:21 3m 32s refactor/typdef-resource
refactor/typdef-resource
July 28, 2023 11:21 3m 32s
add resource and description fields for TypeDef Continuous integration #995: Pull request #309 synchronize by ss2165
July 28, 2023 11:21 1m 46s refactor/typdef-resource
refactor/typdef-resource
July 28, 2023 11:21 1m 46s
[fix] Spec formatting Continuous integration #994: Pull request #312 opened by croyzor
July 28, 2023 11:20 1m 38s spec/formatting-fix
spec/formatting-fix
July 28, 2023 11:20 1m 38s
[fix] Spec formatting Coverage #163: Pull request #312 opened by croyzor
July 28, 2023 11:20 3m 29s spec/formatting-fix
spec/formatting-fix
July 28, 2023 11:20 3m 29s
Dodgy example of params in the spec New issue #69: Issue #311 opened by croyzor
July 28, 2023 11:16 14s
July 28, 2023 11:16 14s
spec rename OpDef args -> params cleanup caches by a branch #120: Pull request #310 closed by ss2165
July 28, 2023 11:12 13s spec/args-params
spec/args-params
July 28, 2023 11:12 13s
rename OpDef args -> params (#310) Continuous integration #993: Commit 2fd5b33 pushed by github-merge-queue bot
July 28, 2023 11:12 1m 38s main
main
July 28, 2023 11:12 1m 38s
rename OpDef args -> params (#310) Unsoundness checks #63: Commit 2fd5b33 pushed by github-merge-queue bot
July 28, 2023 11:12 3m 52s main
main
July 28, 2023 11:12 3m 52s
Continuous integration Continuous integration #992: Merge group checks requested
July 28, 2023 11:11 1m 38s
July 28, 2023 11:11 1m 38s
spec rename OpDef args -> params Coverage #162: Pull request #310 opened by ss2165
July 28, 2023 11:05 3m 38s spec/args-params
spec/args-params
July 28, 2023 11:05 3m 38s
spec rename OpDef args -> params Continuous integration #991: Pull request #310 opened by ss2165
July 28, 2023 11:05 1m 58s spec/args-params
spec/args-params
July 28, 2023 11:05 1m 58s
add resource and description fields for TypeDef Coverage #161: Pull request #309 synchronize by ss2165
July 28, 2023 11:02 3m 45s refactor/typdef-resource
refactor/typdef-resource
July 28, 2023 11:02 3m 45s
add resource and description fields for TypeDef Continuous integration #990: Pull request #309 synchronize by ss2165
July 28, 2023 11:02 1m 50s refactor/typdef-resource
refactor/typdef-resource
July 28, 2023 11:02 1m 50s
add resource and description fields for TypeDef Coverage #160: Pull request #309 opened by ss2165
July 28, 2023 10:56 3m 30s refactor/typdef-resource
refactor/typdef-resource
July 28, 2023 10:56 3m 30s
add resource and description fields for TypeDef Continuous integration #989: Pull request #309 opened by ss2165
July 28, 2023 10:56 1m 58s refactor/typdef-resource
refactor/typdef-resource
July 28, 2023 10:56 1m 58s
Correct field names for op/type args/params cleanup caches by a branch #119: Pull request #308 closed by ss2165
July 28, 2023 10:36 12s refactor/swap-args-params
refactor/swap-args-params
July 28, 2023 10:36 12s
Correct field names for op/type args/params (#308) Continuous integration #988: Commit 53938b1 pushed by github-merge-queue bot
July 28, 2023 10:36 2m 20s main
main
July 28, 2023 10:36 2m 20s
Correct field names for op/type args/params (#308) Unsoundness checks #62: Commit 53938b1 pushed by github-merge-queue bot
July 28, 2023 10:36 4m 37s main
main
July 28, 2023 10:36 4m 37s
Continuous integration Continuous integration #987: Merge group checks requested
July 28, 2023 10:35 2m 44s
July 28, 2023 10:35 2m 44s
Correct field names for op/type args/params Continuous integration #986: Pull request #308 synchronize by ss2165
July 28, 2023 10:32 1m 28s refactor/swap-args-params
refactor/swap-args-params
July 28, 2023 10:32 1m 28s
Correct field names for op/type args/params Coverage #159: Pull request #308 synchronize by ss2165
July 28, 2023 10:32 4m 45s refactor/swap-args-params
refactor/swap-args-params
July 28, 2023 10:32 4m 45s