Skip to content

Actions: toolCHAINZ/jingle

Actions

jingle_python

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
jingle_python.yml
709 workflow runs
709 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore(jingle): release v0.5.4 jingle_python #709: Pull request #158 opened by toolCHAINZ
5m 37s release-plz-2026-02-04T17-20-44Z
release-plz-2026-02-04T17-20-44Z
5m 37s
feat: Implement JingleDisplay for SmtValuationState (#157) jingle_python #708: Commit 2608484 pushed by toolCHAINZ
5m 45s main
main
5m 45s
feat: Implement JingleDisplay for SmtValuationState jingle_python #707: Pull request #157 opened by toolCHAINZ
5m 48s jingle-display-impl
jingle-display-impl
5m 48s
chore(jingle): release v0.5.3 (#153) jingle_python #706: Commit 716b9db pushed by toolCHAINZ
29m 22s jingle-v0.5.3
jingle-v0.5.3
29m 22s
chore(jingle): release v0.5.3 (#153) jingle_python #705: Commit 716b9db pushed by toolCHAINZ
5m 41s main
main
5m 41s
chore(jingle): release v0.5.3 jingle_python #704: Pull request #153 synchronize by toolCHAINZ
5m 22s release-plz-2026-02-02T15-48-03Z
release-plz-2026-02-02T15-48-03Z
5m 22s
feat: Add From<&PcodeMachineAddress> for ConcretePcodeAddress (#155) jingle_python #703: Commit 2ba61b5 pushed by toolCHAINZ
5m 37s main
main
5m 37s
feat: Add From<&PcodeMachineAddress> for ConcretePcodeAddress jingle_python #702: Pull request #155 synchronize by toolCHAINZ
5m 47s add-addr-from-impl
add-addr-from-impl
5m 47s
chore(jingle): release v0.5.3 jingle_python #701: Pull request #153 synchronize by toolCHAINZ
5m 37s release-plz-2026-02-02T15-48-03Z
release-plz-2026-02-02T15-48-03Z
5m 37s
chore: Use PUBLIC_REPO_TOKEN for all checkout steps in CI workflows (… jingle_python #700: Commit 80d1ff3 pushed by toolCHAINZ
5m 39s main
main
5m 39s
chore: Use PUBLIC_REPO_TOKEN for all checkout steps in CI workflows jingle_python #699: Pull request #156 opened by toolCHAINZ
5m 40s ci-tweak
ci-tweak
5m 40s
feat: Add From<&PcodeMachineAddress> for ConcretePcodeAddress jingle_python #698: Pull request #155 opened by toolCHAINZ
30s add-addr-from-impl
add-addr-from-impl
30s
chore(jingle): release v0.5.3 jingle_python #697: Pull request #153 synchronize by toolCHAINZ
3m 27s release-plz-2026-02-02T15-48-03Z
release-plz-2026-02-02T15-48-03Z
3m 27s
refactor: simplify smt valuation names and make them unique (#154) jingle_python #696: Commit 87e9625 pushed by toolCHAINZ
6m 47s main
main
6m 47s
refactor: simplify smt valuation names and make them unique jingle_python #695: Pull request #154 opened by toolCHAINZ
5m 47s valuation-refactor
valuation-refactor
5m 47s
chore(jingle): release v0.5.3 jingle_python #694: Pull request #153 opened by toolCHAINZ
5m 44s release-plz-2026-02-02T15-48-03Z
release-plz-2026-02-02T15-48-03Z
5m 44s
changed: sub_cfg_from_indices accepts any iterator for nodes (#152) jingle_python #693: Commit 26617f7 pushed by toolCHAINZ
5m 34s main
main
5m 34s
changed: sub_cfg_from_indices accepts any iterator for nodes jingle_python #692: Pull request #152 opened by toolCHAINZ
5m 38s sub-cfg-refactor
sub-cfg-refactor
5m 38s
chore: release (#148) jingle_python #691: Commit 0dd42bb pushed by toolCHAINZ
32m 23s jingle-v0.5.2
jingle-v0.5.2
32m 23s
chore: release (#148) jingle_python #690: Commit 0dd42bb pushed by toolCHAINZ
31m 11s jingle_sleigh-v0.4.4
jingle_sleigh-v0.4.4
31m 11s
chore: release (#148) jingle_python #689: Commit 0dd42bb pushed by toolCHAINZ
5m 56s main
main
5m 56s
chore: release jingle_python #688: Pull request #148 synchronize by toolCHAINZ
5m 36s release-plz-2026-02-02T10-46-30Z
release-plz-2026-02-02T10-46-30Z
5m 36s
refactor: generalize display impls, rename trait, move it to jingle_s… jingle_python #687: Commit 11ec4c9 pushed by toolCHAINZ
5m 43s main
main
5m 43s
refactor: generalize display impls, rename trait, move it to jingle_sleigh jingle_python #686: Pull request #151 synchronize by toolCHAINZ
5m 40s display-tweaks
display-tweaks
5m 40s
refactor: generalize display impls, rename trait, move it to jingle_sleigh jingle_python #685: Pull request #151 synchronize by toolCHAINZ
6m 5s display-tweaks
display-tweaks
6m 5s