Skip to content

additional transmute and transmute_unchecked harnesses #1592

additional transmute and transmute_unchecked harnesses

additional transmute and transmute_unchecked harnesses #1592

Triggered via pull request April 10, 2025 05:16
Status Success
Total duration 2h 9m 15s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

kani.yml

on: pull_request
Matrix: check-kani-on-std
Fit to window
Zoom out
Zoom in

Annotations

4 warnings
Verify std library (partition 1)
Already linked: /opt/homebrew/Cellar/python@3.13/3.13.3
Verify std library (partition 2)
Already linked: /opt/homebrew/Cellar/python@3.13/3.13.3
Verify std library (partition 3)
Already linked: /opt/homebrew/Cellar/python@3.13/3.13.3
Verify std library (partition 4)
Already linked: /opt/homebrew/Cellar/python@3.13/3.13.3