Kani

Add Challenge 16: Iterator #1395

Sign in to view logs

Triggered via pull request March 6, 2025 17:36

thanhnguyen-aws

synchronize #260

thanhnguyen-aws:morechallenges

Status Success

Total duration 1h 54m 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