Skip to content

Actions: CQCL/hugr

Actions

Continuous integration 🦀

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-rs.yml
2,426 workflow run results
2,426 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: Operation and constructor declarations in hugr-model Continuous integration 🦀 #2426: Pull request #1605 synchronize by zrho
October 29, 2024 18:57 6m 14s zrho/model-declarative
zrho/model-declarative
October 29, 2024 18:57 6m 14s
chore: release Continuous integration 🦀 #2425: Pull request #1617 synchronize by hugrbot
October 29, 2024 10:57 6m 43s release-plz-2024-10-29T10-29-42Z
release-plz-2024-10-29T10-29-42Z
October 29, 2024 10:57 6m 43s
chore: Fix unused warnings on default features (#1618) Continuous integration 🦀 #2424: Commit fed74b5 pushed by github-merge-queue bot
October 29, 2024 10:55 6m 3s main
main
October 29, 2024 10:55 6m 3s
Continuous integration 🦀 Continuous integration 🦀 #2423: Merge group checks requested
October 29, 2024 10:52 2m 18s
October 29, 2024 10:52 2m 18s
chore: Fix unused warnings on default features Continuous integration 🦀 #2422: Pull request #1618 opened by aborgna-q
October 29, 2024 10:41 6m 18s ab/unused-warnings
ab/unused-warnings
October 29, 2024 10:41 6m 18s
chore: release Continuous integration 🦀 #2421: Pull request #1617 opened by hugrbot
October 29, 2024 10:29 6m 49s release-plz-2024-10-29T10-29-42Z
release-plz-2024-10-29T10-29-42Z
October 29, 2024 10:29 6m 49s
chore(main): release hugr-py 0.10.0 Continuous integration 🦀 #2420: Pull request #1610 synchronize by hugrbot
October 29, 2024 10:28 28s release-please--branches--main--components--hugr-py
release-please--branches--main--components--hugr-py
October 29, 2024 10:28 28s
chore(deps-rs): update jsonschema requirement from 0.24.0 to 0.26.0 i… Continuous integration 🦀 #2419: Commit 01b12ea pushed by github-merge-queue bot
October 29, 2024 10:27 6m 43s main
main
October 29, 2024 10:27 6m 43s
Continuous integration 🦀 Continuous integration 🦀 #2418: Merge group checks requested
October 29, 2024 10:25 2m 40s
October 29, 2024 10:25 2m 40s
chore(deps-rs): update jsonschema requirement from 0.24.0 to 0.26.0 in the minor group Continuous integration 🦀 #2417: Pull request #1616 synchronize by aborgna-q
October 29, 2024 10:11 6m 28s dependabot/cargo/minor-ba05d5b649
dependabot/cargo/minor-ba05d5b649
October 29, 2024 10:11 6m 28s
chore(deps-rs): update jsonschema requirement from 0.24.0 to 0.26.0 in the minor group Continuous integration 🦀 #2416: Pull request #1616 opened by dependabot bot
October 28, 2024 23:50 2m 29s dependabot/cargo/minor-ba05d5b649
dependabot/cargo/minor-ba05d5b649
October 28, 2024 23:50 2m 29s
ci: Notify slack when miri checks fail (#1614) Continuous integration 🦀 #2415: Commit 87150fa pushed by github-merge-queue bot
October 25, 2024 15:52 5m 40s main
main
October 25, 2024 15:52 5m 40s
Continuous integration 🦀 Continuous integration 🦀 #2414: Merge group checks requested
October 25, 2024 15:52 24s
October 25, 2024 15:52 24s
ci: Notify slack when miri checks fail Continuous integration 🦀 #2413: Pull request #1614 synchronize by aborgna-q
October 25, 2024 15:50 24s ab/notify-unsoundness-fails
ab/notify-unsoundness-fails
October 25, 2024 15:50 24s
ci: Notify slack when miri checks fail Continuous integration 🦀 #2412: Pull request #1614 synchronize by aborgna-q
October 25, 2024 15:16 27s ab/notify-unsoundness-fails
ab/notify-unsoundness-fails
October 25, 2024 15:16 27s
ci: Notify slack when miri checks fail Continuous integration 🦀 #2411: Pull request #1614 synchronize by aborgna-q
October 25, 2024 15:15 22s ab/notify-unsoundness-fails
ab/notify-unsoundness-fails
October 25, 2024 15:15 22s
chore(main): release hugr-py 0.10.0 Continuous integration 🦀 #2410: Pull request #1610 synchronize by hugrbot
October 25, 2024 10:20 50s release-please--branches--main--components--hugr-py
release-please--branches--main--components--hugr-py
October 25, 2024 10:20 50s
ci: Use reusable coverage-trend workflow (#1615) Continuous integration 🦀 #2409: Commit 75a047f pushed by github-merge-queue bot
October 25, 2024 10:19 6m 32s main
main
October 25, 2024 10:19 6m 32s
Continuous integration 🦀 Continuous integration 🦀 #2408: Merge group checks requested
October 25, 2024 10:19 24s
October 25, 2024 10:19 24s
ci: Use reusable coverage-trend workflow Continuous integration 🦀 #2407: Pull request #1615 synchronize by aborgna-q
October 25, 2024 10:13 27s ab/coverage-trends
ab/coverage-trends
October 25, 2024 10:13 27s
ci: Use reusable coverage-trend workflow Continuous integration 🦀 #2406: Pull request #1615 opened by aborgna-q
October 25, 2024 09:49 24s ab/coverage-trends
ab/coverage-trends
October 25, 2024 09:49 24s
ci: Notify slack when miri checks fail Continuous integration 🦀 #2405: Pull request #1614 opened by aborgna-q
October 25, 2024 09:46 29s ab/notify-unsoundness-fails
ab/notify-unsoundness-fails
October 25, 2024 09:46 29s
feat: Operation and constructor declarations in hugr-model Continuous integration 🦀 #2404: Pull request #1605 synchronize by zrho
October 24, 2024 14:16 6m 39s zrho/model-declarative
zrho/model-declarative
October 24, 2024 14:16 6m 39s
feat: Operation and constructor declarations in hugr-model Continuous integration 🦀 #2403: Pull request #1605 synchronize by zrho
October 24, 2024 10:16 5m 44s zrho/model-declarative
zrho/model-declarative
October 24, 2024 10:16 5m 44s
chore(main): release hugr-py 0.10.0 Continuous integration 🦀 #2402: Pull request #1610 synchronize by hugrbot
October 24, 2024 09:55 24s release-please--branches--main--components--hugr-py
release-please--branches--main--components--hugr-py
October 24, 2024 09:55 24s