Skip to content

Actions: toolCHAINZ/jingle

Actions

jingle

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
jingle.yml
797 workflow runs
797 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore(jingle): release v0.5.4 jingle #828: Pull request #158 opened by toolCHAINZ
2m 28s release-plz-2026-02-04T17-20-44Z
release-plz-2026-02-04T17-20-44Z
2m 28s
feat: Implement JingleDisplay for SmtValuationState (#157) jingle #827: Commit 2608484 pushed by toolCHAINZ
2m 25s main
main
2m 25s
feat: Implement JingleDisplay for SmtValuationState jingle #826: Pull request #157 opened by toolCHAINZ
2m 38s jingle-display-impl
jingle-display-impl
2m 38s
chore(jingle): release v0.5.3 (#153) jingle #825: Commit 716b9db pushed by toolCHAINZ
2m 21s jingle-v0.5.3
jingle-v0.5.3
2m 21s
chore(jingle): release v0.5.3 (#153) jingle #824: Commit 716b9db pushed by toolCHAINZ
2m 0s main
main
2m 0s
chore(jingle): release v0.5.3 jingle #823: Pull request #153 synchronize by toolCHAINZ
2m 3s release-plz-2026-02-02T15-48-03Z
release-plz-2026-02-02T15-48-03Z
2m 3s
feat: Add From<&PcodeMachineAddress> for ConcretePcodeAddress (#155) jingle #822: Commit 2ba61b5 pushed by toolCHAINZ
2m 9s main
main
2m 9s
feat: Add From<&PcodeMachineAddress> for ConcretePcodeAddress jingle #821: Pull request #155 synchronize by toolCHAINZ
2m 26s add-addr-from-impl
add-addr-from-impl
2m 26s
chore(jingle): release v0.5.3 jingle #820: Pull request #153 synchronize by toolCHAINZ
3m 30s release-plz-2026-02-02T15-48-03Z
release-plz-2026-02-02T15-48-03Z
3m 30s
chore: Use PUBLIC_REPO_TOKEN for all checkout steps in CI workflows (… jingle #819: Commit 80d1ff3 pushed by toolCHAINZ
2m 48s main
main
2m 48s
chore: Use PUBLIC_REPO_TOKEN for all checkout steps in CI workflows jingle #818: Pull request #156 opened by toolCHAINZ
1m 57s ci-tweak
ci-tweak
1m 57s
feat: Add From<&PcodeMachineAddress> for ConcretePcodeAddress jingle #817: Pull request #155 opened by toolCHAINZ
1m 54s add-addr-from-impl
add-addr-from-impl
1m 54s
chore(jingle): release v0.5.3 jingle #816: Pull request #153 synchronize by toolCHAINZ
2m 25s release-plz-2026-02-02T15-48-03Z
release-plz-2026-02-02T15-48-03Z
2m 25s
refactor: simplify smt valuation names and make them unique (#154) jingle #815: Commit 87e9625 pushed by toolCHAINZ
2m 30s main
main
2m 30s
refactor: simplify smt valuation names and make them unique jingle #814: Pull request #154 opened by toolCHAINZ
2m 29s valuation-refactor
valuation-refactor
2m 29s
chore(jingle): release v0.5.3 jingle #813: Pull request #153 opened by toolCHAINZ
2m 7s release-plz-2026-02-02T15-48-03Z
release-plz-2026-02-02T15-48-03Z
2m 7s
changed: sub_cfg_from_indices accepts any iterator for nodes (#152) jingle #812: Commit 26617f7 pushed by toolCHAINZ
2m 12s main
main
2m 12s
changed: sub_cfg_from_indices accepts any iterator for nodes jingle #811: Pull request #152 opened by toolCHAINZ
2m 17s sub-cfg-refactor
sub-cfg-refactor
2m 17s
chore: release (#148) jingle #810: Commit 0dd42bb pushed by toolCHAINZ
2m 9s jingle-v0.5.2
jingle-v0.5.2
2m 9s
chore: release (#148) jingle #809: Commit 0dd42bb pushed by toolCHAINZ
2m 2s jingle_sleigh-v0.4.4
jingle_sleigh-v0.4.4
2m 2s
chore: release (#148) jingle #808: Commit 0dd42bb pushed by toolCHAINZ
2m 10s main
main
2m 10s
chore: release jingle #807: Pull request #148 synchronize by toolCHAINZ
2m 3s release-plz-2026-02-02T10-46-30Z
release-plz-2026-02-02T10-46-30Z
2m 3s
refactor: generalize display impls, rename trait, move it to jingle_s… jingle #806: Commit 11ec4c9 pushed by toolCHAINZ
1m 59s main
main
1m 59s
refactor: generalize display impls, rename trait, move it to jingle_sleigh jingle #805: Pull request #151 synchronize by toolCHAINZ
2m 15s display-tweaks
display-tweaks
2m 15s
refactor: generalize display impls, rename trait, move it to jingle_sleigh jingle #804: Pull request #151 synchronize by toolCHAINZ
1m 51s display-tweaks
display-tweaks
1m 51s