Kani

additional transmute and transmute_unchecked harnesses #1387

Sign in to view logs

Triggered via pull request March 4, 2025 18:33

AlexLB99

opened #264

AlexLB99:transmute

Status Success

Total duration 2h 31m 30s

Artifacts –

kani.yml

on: pull_request

Matrix: check-kani-on-std

Annotations

8 warnings

Verify std library (partition 1)

These files were overwritten during the `brew link` step:

Verify std library (partition 1)

Already linked: /opt/homebrew/Cellar/python@3.13/3.13.2

Verify std library (partition 2)

These files were overwritten during the `brew link` step:

Verify std library (partition 2)

Already linked: /opt/homebrew/Cellar/python@3.13/3.13.2

Verify std library (partition 3)

These files were overwritten during the `brew link` step:

Verify std library (partition 3)

Already linked: /opt/homebrew/Cellar/python@3.13/3.13.2

Verify std library (partition 4)

These files were overwritten during the `brew link` step:

Verify std library (partition 4)

Already linked: /opt/homebrew/Cellar/python@3.13/3.13.2