Skip to content

Actions: toolCHAINZ/jingle

Actions

jingle_sleigh

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
jingle_sleigh.yml
811 workflow runs
811 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore(jingle): release v0.5.3 jingle_sleigh #820: Pull request #153 synchronize by toolCHAINZ
2m 45s release-plz-2026-02-02T15-48-03Z
release-plz-2026-02-02T15-48-03Z
2m 45s
chore: Use PUBLIC_REPO_TOKEN for all checkout steps in CI workflows (… jingle_sleigh #819: Commit 80d1ff3 pushed by toolCHAINZ
2m 37s main
main
2m 37s
chore: Use PUBLIC_REPO_TOKEN for all checkout steps in CI workflows jingle_sleigh #818: Pull request #156 opened by toolCHAINZ
11m 4s ci-tweak
ci-tweak
11m 4s
feat: Add From<&PcodeMachineAddress> for ConcretePcodeAddress jingle_sleigh #817: Pull request #155 opened by toolCHAINZ
2m 5s add-addr-from-impl
add-addr-from-impl
2m 5s
chore(jingle): release v0.5.3 jingle_sleigh #816: Pull request #153 synchronize by toolCHAINZ
15m 2s release-plz-2026-02-02T15-48-03Z
release-plz-2026-02-02T15-48-03Z
15m 2s
refactor: simplify smt valuation names and make them unique (#154) jingle_sleigh #815: Commit 87e9625 pushed by toolCHAINZ
3m 11s main
main
3m 11s
refactor: simplify smt valuation names and make them unique jingle_sleigh #814: Pull request #154 opened by toolCHAINZ
15m 3s valuation-refactor
valuation-refactor
15m 3s
chore(jingle): release v0.5.3 jingle_sleigh #813: Pull request #153 opened by toolCHAINZ
2m 47s release-plz-2026-02-02T15-48-03Z
release-plz-2026-02-02T15-48-03Z
2m 47s
changed: sub_cfg_from_indices accepts any iterator for nodes (#152) jingle_sleigh #812: Commit 26617f7 pushed by toolCHAINZ
2m 26s main
main
2m 26s
changed: sub_cfg_from_indices accepts any iterator for nodes jingle_sleigh #811: Pull request #152 opened by toolCHAINZ
2m 13s sub-cfg-refactor
sub-cfg-refactor
2m 13s
chore: release (#148) jingle_sleigh #810: Commit 0dd42bb pushed by toolCHAINZ
2m 34s jingle-v0.5.2
jingle-v0.5.2
2m 34s
chore: release (#148) jingle_sleigh #809: Commit 0dd42bb pushed by toolCHAINZ
2m 27s jingle_sleigh-v0.4.4
jingle_sleigh-v0.4.4
2m 27s
chore: release (#148) jingle_sleigh #808: Commit 0dd42bb pushed by toolCHAINZ
2m 23s main
main
2m 23s
chore: release jingle_sleigh #807: Pull request #148 synchronize by toolCHAINZ
2m 19s release-plz-2026-02-02T10-46-30Z
release-plz-2026-02-02T10-46-30Z
2m 19s
refactor: generalize display impls, rename trait, move it to jingle_s… jingle_sleigh #806: Commit 11ec4c9 pushed by toolCHAINZ
2m 9s main
main
2m 9s
refactor: generalize display impls, rename trait, move it to jingle_sleigh jingle_sleigh #805: Pull request #151 synchronize by toolCHAINZ
2m 54s display-tweaks
display-tweaks
2m 54s
refactor: generalize display impls, rename trait, move it to jingle_sleigh jingle_sleigh #804: Pull request #151 synchronize by toolCHAINZ
2m 20s display-tweaks
display-tweaks
2m 20s
refactor: generalize display impls, rename trait, move it to jingle_sleigh jingle_sleigh #803: Pull request #151 synchronize by toolCHAINZ
2m 3s display-tweaks
display-tweaks
2m 3s
refactor: generalize display impls, rename trait, move it to jingle_sleigh jingle_sleigh #802: Pull request #151 synchronize by toolCHAINZ
3m 16s display-tweaks
display-tweaks
3m 16s
refactor: generalize display impls, rename trait, move it to jingle_sleigh jingle_sleigh #801: Pull request #151 opened by toolCHAINZ
2m 28s display-tweaks
display-tweaks
2m 28s
chore: release jingle_sleigh #800: Pull request #148 synchronize by toolCHAINZ
2m 15s release-plz-2026-02-02T10-46-30Z
release-plz-2026-02-02T10-46-30Z
2m 15s
refactor: move basic_block cfg impl to a trait and auto-impl for any … jingle_sleigh #799: Commit b713c4e pushed by toolCHAINZ
2m 15s main
main
2m 15s
refactor: basic block trait jingle_sleigh #798: Pull request #150 synchronize by toolCHAINZ
3m 29s basic-block-trait
basic-block-trait
3m 29s
refactor: basic block trait jingle_sleigh #797: Pull request #150 opened by toolCHAINZ
2m 16s basic-block-trait
basic-block-trait
2m 16s
chore: release jingle_sleigh #796: Pull request #148 synchronize by toolCHAINZ
2m 34s release-plz-2026-02-02T10-46-30Z
release-plz-2026-02-02T10-46-30Z
2m 34s