Skip to content
jingle_python

refactor: simplify smt valuation names and make them unique #695

Sign in to view logs

refactor: simplify smt valuation names and make them unique

refactor: simplify smt valuation names and make them unique #695

Triggered via pull request February 2, 2026 18:58
@toolCHAINZtoolCHAINZ
opened #154
valuation-refactor
Status Success
Total duration 5m 47s
Artifacts 5

jingle_python.yml

on: pull_request
sdist
42s
sdist
Matrix: linux-arm
Matrix: linux
Matrix: macos
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
wheels-linux-x86_64
119 MB
sha256:95f7d639eb94706c5060aeb6aef1c02ca8324f3fbba7bce1cfbeaecd5fad9663
wheels-macos-aarch64-$3.11
756 KB
sha256:d627fba96b30f96c3858fee75a38bb5c2de4dab532fe5c5de2d62524ef973aa6
wheels-macos-aarch64-$3.12
754 KB
sha256:668cb89889f0f7dcc5b9dbd4b3291abc319af5bf5ed124eefee72703993e5624
wheels-macos-aarch64-$3.13
755 KB
sha256:7aab5276f4db21530da3b87d13346212f0a16f288ccb50ef0c344402266b51a1
wheels-sdist
179 KB
sha256:89c07ccb742b6bb6c15ef555a84e20d8a43a9c3babadbf1730f3f64f41e4ccbf