Skip to content

Verify contracts/stubs for generic types with multiple inherent implementations #9495

Verify contracts/stubs for generic types with multiple inherent implementations

Verify contracts/stubs for generic types with multiple inherent implementations #9495

Triggered via pull request January 14, 2025 14:40
Status Success
Total duration 1h 13m 57s
Artifacts

kani.yml

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

Annotations

4 warnings
regression (macos-14)
python@3.13 3.13.1 is already installed and up-to-date. To reinstall 3.13.1, run: brew reinstall python@3.13
regression (macos-14)
Already linked: /opt/homebrew/Cellar/python@3.13/3.13.1
regression (macos-13)
python@3.13 3.13.1 is already installed and up-to-date. To reinstall 3.13.1, run: brew reinstall python@3.13
regression (macos-13)
Already linked: /usr/local/Cellar/python@3.13/3.13.1