Skip to content

Revert "temporary fix for kondo warning about type-mismatch" #1457

Revert "temporary fix for kondo warning about type-mismatch"

Revert "temporary fix for kondo warning about type-mismatch" #1457

Triggered via push August 5, 2026 04:18
Status Success
Total duration 2m 43s
Artifacts 1
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
github-pages Expired
2.36 MB
sha256:dc655206572cfb778e8c72e71a753d66df767f14aa78fde61ab4227c28037c06