Kani

Improve the VeriFast scripts #2361

Sign in to view logs

Triggered via pull request January 18, 2026 19:50

btj

synchronize #507

btj:verifast-scripts

Status Success

Total duration 1h 26m 1s

Artifacts 8

kani.yml

on: pull_request

Matrix: Verify std library using autoharness

Matrix: Kani Metrics

Kani Autoharness Analyzer

Matrix: check-kani-on-std

Matrix: Build JSON from logs

Annotations

1 error and 12 warnings

$GITHUB_STEP_SUMMARY upload aborted, supports content up to a size of 1024k, got 1366k. For more information see: https://docs.github.com/actions/using-workflows/workflow-commands-for-github-actions#adding-a-markdown-summary

Verify std library (partition 3)

Already linked: /opt/homebrew/Cellar/python@3.14/3.14.2

Verify std library (partition 3)

python@3.14 3.14.2 is already installed and up-to-date. To reinstall 3.14.2, run: brew reinstall python@3.14

Verify std library (partition 2)

Already linked: /opt/homebrew/Cellar/python@3.14/3.14.2

Verify std library (partition 2)

python@3.14 3.14.2 is already installed and up-to-date. To reinstall 3.14.2, run: brew reinstall python@3.14

Verify std library (partition 4)

Already linked: /opt/homebrew/Cellar/python@3.14/3.14.2

Verify std library (partition 4)

python@3.14 3.14.2 is already installed and up-to-date. To reinstall 3.14.2, run: brew reinstall python@3.14

Verify std library (partition 1)

Already linked: /opt/homebrew/Cellar/python@3.14/3.14.2

Verify std library (partition 1)

python@3.14 3.14.2 is already installed and up-to-date. To reinstall 3.14.2, run: brew reinstall python@3.14

Verify std library using autoharness (macos-latest)

Already linked: /opt/homebrew/Cellar/python@3.14/3.14.2

Verify std library using autoharness (macos-latest)

python@3.14 3.14.2 is already installed and up-to-date. To reinstall 3.14.2, run: brew reinstall python@3.14

Kani Metrics (macos-latest)

Already linked: /opt/homebrew/Cellar/python@3.14/3.14.2

Kani Metrics (macos-latest)

python@3.14 3.14.2 is already installed and up-to-date. To reinstall 3.14.2, run: brew reinstall python@3.14

Artifacts

Produced during runtime

Name	Size	Digest
macos-latest-autoharness-verification.log.gz Expired	356 KB	`sha256:4f488a64393948526fc2c36be7fcc7083f2e5173bf2aa6283f153a10d5fb0530`
macos-latest-kani-list.json Expired	102 KB	`sha256:0da4e0c0ba1e6a6325ea87a5b0e230230366ba25f1c3f109ad8c9e4e4b72096c`
macos-latest-results.json	398 KB	`sha256:7240fb9be8d184f6d43d879dd5b984b6d0cf1c15b2c18da87fede0640b7da3b5`
macos-latest-results.tar.gz Expired	839 KB	`sha256:8ef8948f22f8df40a7a79384a5922716a8a5119442da864f2682d98c228b3656`
ubuntu-latest-autoharness-verification.log.gz Expired	374 KB	`sha256:9d16941214d4065c6578a244fc3d82170e9a30eafadba2db96ab6d486a1cfb74`
ubuntu-latest-kani-list.json Expired	110 KB	`sha256:ff2bebe078bf7a4e7f3136edc85c31e6cc1c1776427c9b4aac54b1e6e700e3de`
ubuntu-latest-results.json	421 KB	`sha256:e376fa31af75d814aebb28f2b84997f836900aed661b0df22b67dd14e2887e73`
ubuntu-latest-results.tar.gz Expired	901 KB	`sha256:be90dd30f976c8f11f965fe3e1bb2ec3fed7ce69ff08dd8473201d244d62d1b6`