Skip to content

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

refactor: simplify smt valuation names and make them unique

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

Triggered via pull request February 2, 2026 18:58
Status Failure
Total duration 15m 3s
Artifacts

jingle_sleigh.yml

on: pull_request
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

2 errors
jingle_sleigh
Internal server error. Correlation ID: fba7a364-3987-42e9-9c47-a735f4aa5b27
Cargo on Windows (msvc)
The job was not acquired by Runner of type hosted even after multiple attempts