Skip to content
Kani

Add Kani contracts and harnesses for NonZero (Challenge 12) #2581

Sign in to view logs

Add Kani contracts and harnesses for NonZero (Challenge 12)

Add Kani contracts and harnesses for NonZero (Challenge 12) #2581

Triggered via pull request June 12, 2026 15:39
@kasimtekasimte
opened #600
kasimte:challenge-12-nonzero
Status Success
Total duration 1h 21m 13s
Artifacts 8

kani.yml

on: pull_request
Matrix: Verify std library using autoharness
Matrix: Kani Metrics
Kani List
1h 4m
Kani List
Kani Autoharness Analyzer
47m 37s
Kani Autoharness Analyzer
Matrix: check-kani-on-std
Matrix: Build JSON from logs
Fit to window
Zoom out
Zoom in

Annotations

1 error and 64 warnings
Kani List
$GITHUB_STEP_SUMMARY upload aborted, supports content up to a size of 1024k, got 1392k. 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)
Node.js 20 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: actions/checkout@v4. Actions will be forced to run with Node.js 24 by default starting June 16th, 2026. Node.js 20 will be removed from the runner on September 16th, 2026. Please check if updated versions of these actions are available that support Node.js 24. To opt into Node.js 24 now, set the FORCE_JAVASCRIPT_ACTIONS_TO_NODE24=true environment variable on the runner or in your workflow file. Once Node.js 24 becomes the default, you can temporarily opt out by setting ACTIONS_ALLOW_USE_UNSECURE_NODE_VERSION=true. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
Verify std library (partition 3)
Node.js 20 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: actions/checkout@v4. Actions will be forced to run with Node.js 24 by default starting June 16th, 2026. Node.js 20 will be removed from the runner on September 16th, 2026. Please check if updated versions of these actions are available that support Node.js 24. To opt into Node.js 24 now, set the FORCE_JAVASCRIPT_ACTIONS_TO_NODE24=true environment variable on the runner or in your workflow file. Once Node.js 24 becomes the default, you can temporarily opt out by setting ACTIONS_ALLOW_USE_UNSECURE_NODE_VERSION=true. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
Verify std library (partition 3)
The following taps are not trusted: aws/tap azure/bicep Homebrew is currently ignoring formulae, casks and commands from these taps because tap trust is required. Trust specific formulae, casks or commands with: brew trust --formula <user>/<tap>/<formula> brew trust --cask <user>/<tap>/<cask> brew trust --command <user>/<tap>/<command> or trust installed formulae from these taps with: brew trust --formula azure/bicep/bicep You can trust all formulae, casks and commands from these taps with: brew trust aws/tap azure/bicep Prefer trusting only the specific formulae, casks or commands you need. Untap them with: brew untap aws/tap azure/bicep To disable trust checks: export HOMEBREW_NO_REQUIRE_TAP_TRUST=1 This is not recommended and will be removed in a later release.
Verify std library (partition 3)
The following taps are not trusted: aws/tap azure/bicep Homebrew is currently ignoring formulae, casks and commands from these taps because tap trust is required. Trust specific formulae, casks or commands with: brew trust --formula <user>/<tap>/<formula> brew trust --cask <user>/<tap>/<cask> brew trust --command <user>/<tap>/<command> or trust installed formulae from these taps with: brew trust --formula azure/bicep/bicep You can trust all formulae, casks and commands from these taps with: brew trust aws/tap azure/bicep Prefer trusting only the specific formulae, casks or commands you need. Untap them with: brew untap aws/tap azure/bicep To disable trust checks: export HOMEBREW_NO_REQUIRE_TAP_TRUST=1 This is not recommended and will be removed in a later release.
Verify std library (partition 3)
Already linked: /opt/homebrew/Cellar/python@3.14/3.14.5
Verify std library (partition 3)
Skipping hashicorp/tap because it is not trusted. Run `brew trust hashicorp/tap` to trust it.
Verify std library (partition 3)
Skipping aws/tap because it is not trusted. Run `brew trust aws/tap` to trust it.
Verify std library (partition 3)
Skipping hashicorp/tap because it is not trusted. Run `brew trust hashicorp/tap` to trust it.
Verify std library (partition 3)
Skipping azure/bicep because it is not trusted. Run `brew trust azure/bicep` to trust it.
Verify std library (partition 3)
Skipping aws/tap because it is not trusted. Run `brew trust aws/tap` to trust it.
Verify std library (partition 2)
Node.js 20 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: actions/checkout@v4. Actions will be forced to run with Node.js 24 by default starting June 16th, 2026. Node.js 20 will be removed from the runner on September 16th, 2026. Please check if updated versions of these actions are available that support Node.js 24. To opt into Node.js 24 now, set the FORCE_JAVASCRIPT_ACTIONS_TO_NODE24=true environment variable on the runner or in your workflow file. Once Node.js 24 becomes the default, you can temporarily opt out by setting ACTIONS_ALLOW_USE_UNSECURE_NODE_VERSION=true. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
Verify std library (partition 1)
Node.js 20 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: actions/checkout@v4. Actions will be forced to run with Node.js 24 by default starting June 16th, 2026. Node.js 20 will be removed from the runner on September 16th, 2026. Please check if updated versions of these actions are available that support Node.js 24. To opt into Node.js 24 now, set the FORCE_JAVASCRIPT_ACTIONS_TO_NODE24=true environment variable on the runner or in your workflow file. Once Node.js 24 becomes the default, you can temporarily opt out by setting ACTIONS_ALLOW_USE_UNSECURE_NODE_VERSION=true. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
Verify std library (partition 1)
The following taps are not trusted: aws/tap azure/bicep hashicorp/tap Homebrew is currently ignoring formulae, casks and commands from these taps because tap trust is required. Trust specific formulae, casks or commands with: brew trust --formula <user>/<tap>/<formula> brew trust --cask <user>/<tap>/<cask> brew trust --command <user>/<tap>/<command> or trust installed formulae from these taps with: brew trust --formula azure/bicep/bicep brew trust --formula hashicorp/tap/packer You can trust all formulae, casks and commands from these taps with: brew trust aws/tap azure/bicep hashicorp/tap Prefer trusting only the specific formulae, casks or commands you need. Untap them with: brew untap aws/tap azure/bicep hashicorp/tap To disable trust checks: export HOMEBREW_NO_REQUIRE_TAP_TRUST=1 This is not recommended and will be removed in a later release.
Verify std library (partition 1)
The following taps are not trusted: aws/tap azure/bicep hashicorp/tap Homebrew is currently ignoring formulae, casks and commands from these taps because tap trust is required. Trust specific formulae, casks or commands with: brew trust --formula <user>/<tap>/<formula> brew trust --cask <user>/<tap>/<cask> brew trust --command <user>/<tap>/<command> or trust installed formulae from these taps with: brew trust --formula azure/bicep/bicep brew trust --formula hashicorp/tap/packer You can trust all formulae, casks and commands from these taps with: brew trust aws/tap azure/bicep hashicorp/tap Prefer trusting only the specific formulae, casks or commands you need. Untap them with: brew untap aws/tap azure/bicep hashicorp/tap To disable trust checks: export HOMEBREW_NO_REQUIRE_TAP_TRUST=1 This is not recommended and will be removed in a later release.
Verify std library (partition 1)
Already linked: /opt/homebrew/Cellar/python@3.14/3.14.5
Verify std library (partition 1)
Skipping hashicorp/tap because it is not trusted. Run `brew trust hashicorp/tap` to trust it.
Verify std library (partition 1)
Skipping aws/tap because it is not trusted. Run `brew trust aws/tap` to trust it.
Verify std library (partition 1)
Skipping hashicorp/tap because it is not trusted. Run `brew trust hashicorp/tap` to trust it.
Verify std library (partition 1)
Skipping azure/bicep because it is not trusted. Run `brew trust azure/bicep` to trust it.
Verify std library (partition 1)
Skipping aws/tap because it is not trusted. Run `brew trust aws/tap` to trust it.
Verify std library (partition 1)
Node.js 20 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: actions/checkout@v4. Actions will be forced to run with Node.js 24 by default starting June 16th, 2026. Node.js 20 will be removed from the runner on September 16th, 2026. Please check if updated versions of these actions are available that support Node.js 24. To opt into Node.js 24 now, set the FORCE_JAVASCRIPT_ACTIONS_TO_NODE24=true environment variable on the runner or in your workflow file. Once Node.js 24 becomes the default, you can temporarily opt out by setting ACTIONS_ALLOW_USE_UNSECURE_NODE_VERSION=true. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
Kani Autoharness Analyzer
Node.js 20 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: actions/checkout@v4. Actions will be forced to run with Node.js 24 by default starting June 16th, 2026. Node.js 20 will be removed from the runner on September 16th, 2026. Please check if updated versions of these actions are available that support Node.js 24. To opt into Node.js 24 now, set the FORCE_JAVASCRIPT_ACTIONS_TO_NODE24=true environment variable on the runner or in your workflow file. Once Node.js 24 becomes the default, you can temporarily opt out by setting ACTIONS_ALLOW_USE_UNSECURE_NODE_VERSION=true. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
Verify std library (partition 2)
Node.js 20 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: actions/checkout@v4. Actions will be forced to run with Node.js 24 by default starting June 16th, 2026. Node.js 20 will be removed from the runner on September 16th, 2026. Please check if updated versions of these actions are available that support Node.js 24. To opt into Node.js 24 now, set the FORCE_JAVASCRIPT_ACTIONS_TO_NODE24=true environment variable on the runner or in your workflow file. Once Node.js 24 becomes the default, you can temporarily opt out by setting ACTIONS_ALLOW_USE_UNSECURE_NODE_VERSION=true. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
Verify std library (partition 2)
The following taps are not trusted: aws/tap azure/bicep hashicorp/tap Homebrew is currently ignoring formulae, casks and commands from these taps because tap trust is required. Trust specific formulae, casks or commands with: brew trust --formula <user>/<tap>/<formula> brew trust --cask <user>/<tap>/<cask> brew trust --command <user>/<tap>/<command> or trust installed formulae from these taps with: brew trust --formula azure/bicep/bicep brew trust --formula hashicorp/tap/packer You can trust all formulae, casks and commands from these taps with: brew trust aws/tap azure/bicep hashicorp/tap Prefer trusting only the specific formulae, casks or commands you need. Untap them with: brew untap aws/tap azure/bicep hashicorp/tap To disable trust checks: export HOMEBREW_NO_REQUIRE_TAP_TRUST=1 This is not recommended and will be removed in a later release.
Verify std library (partition 2)
The following taps are not trusted: aws/tap azure/bicep hashicorp/tap Homebrew is currently ignoring formulae, casks and commands from these taps because tap trust is required. Trust specific formulae, casks or commands with: brew trust --formula <user>/<tap>/<formula> brew trust --cask <user>/<tap>/<cask> brew trust --command <user>/<tap>/<command> or trust installed formulae from these taps with: brew trust --formula azure/bicep/bicep brew trust --formula hashicorp/tap/packer You can trust all formulae, casks and commands from these taps with: brew trust aws/tap azure/bicep hashicorp/tap Prefer trusting only the specific formulae, casks or commands you need. Untap them with: brew untap aws/tap azure/bicep hashicorp/tap To disable trust checks: export HOMEBREW_NO_REQUIRE_TAP_TRUST=1 This is not recommended and will be removed in a later release.
Verify std library (partition 2)
Already linked: /opt/homebrew/Cellar/python@3.14/3.14.5
Verify std library (partition 2)
Skipping hashicorp/tap because it is not trusted. Run `brew trust hashicorp/tap` to trust it.
Verify std library (partition 2)
Skipping aws/tap because it is not trusted. Run `brew trust aws/tap` to trust it.
Verify std library (partition 2)
Skipping hashicorp/tap because it is not trusted. Run `brew trust hashicorp/tap` to trust it.
Verify std library (partition 2)
Skipping azure/bicep because it is not trusted. Run `brew trust azure/bicep` to trust it.
Verify std library (partition 2)
Skipping aws/tap because it is not trusted. Run `brew trust aws/tap` to trust it.
Verify std library (partition 4)
Node.js 20 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: actions/checkout@v4. Actions will be forced to run with Node.js 24 by default starting June 16th, 2026. Node.js 20 will be removed from the runner on September 16th, 2026. Please check if updated versions of these actions are available that support Node.js 24. To opt into Node.js 24 now, set the FORCE_JAVASCRIPT_ACTIONS_TO_NODE24=true environment variable on the runner or in your workflow file. Once Node.js 24 becomes the default, you can temporarily opt out by setting ACTIONS_ALLOW_USE_UNSECURE_NODE_VERSION=true. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
Verify std library (partition 4)
The following taps are not trusted: aws/tap azure/bicep hashicorp/tap Homebrew is currently ignoring formulae, casks and commands from these taps because tap trust is required. Trust specific formulae, casks or commands with: brew trust --formula <user>/<tap>/<formula> brew trust --cask <user>/<tap>/<cask> brew trust --command <user>/<tap>/<command> or trust installed formulae from these taps with: brew trust --formula azure/bicep/bicep brew trust --formula hashicorp/tap/packer You can trust all formulae, casks and commands from these taps with: brew trust aws/tap azure/bicep hashicorp/tap Prefer trusting only the specific formulae, casks or commands you need. Untap them with: brew untap aws/tap azure/bicep hashicorp/tap To disable trust checks: export HOMEBREW_NO_REQUIRE_TAP_TRUST=1 This is not recommended and will be removed in a later release.
Verify std library (partition 4)
The following taps are not trusted: aws/tap azure/bicep hashicorp/tap Homebrew is currently ignoring formulae, casks and commands from these taps because tap trust is required. Trust specific formulae, casks or commands with: brew trust --formula <user>/<tap>/<formula> brew trust --cask <user>/<tap>/<cask> brew trust --command <user>/<tap>/<command> or trust installed formulae from these taps with: brew trust --formula azure/bicep/bicep brew trust --formula hashicorp/tap/packer You can trust all formulae, casks and commands from these taps with: brew trust aws/tap azure/bicep hashicorp/tap Prefer trusting only the specific formulae, casks or commands you need. Untap them with: brew untap aws/tap azure/bicep hashicorp/tap To disable trust checks: export HOMEBREW_NO_REQUIRE_TAP_TRUST=1 This is not recommended and will be removed in a later release.
Verify std library (partition 4)
Already linked: /opt/homebrew/Cellar/python@3.14/3.14.5
Verify std library (partition 4)
Skipping hashicorp/tap because it is not trusted. Run `brew trust hashicorp/tap` to trust it.
Verify std library (partition 4)
Skipping aws/tap because it is not trusted. Run `brew trust aws/tap` to trust it.
Verify std library (partition 4)
Skipping hashicorp/tap because it is not trusted. Run `brew trust hashicorp/tap` to trust it.
Verify std library (partition 4)
Skipping azure/bicep because it is not trusted. Run `brew trust azure/bicep` to trust it.
Verify std library (partition 4)
Skipping aws/tap because it is not trusted. Run `brew trust aws/tap` to trust it.
Verify std library (partition 4)
Node.js 20 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: actions/checkout@v4. Actions will be forced to run with Node.js 24 by default starting June 16th, 2026. Node.js 20 will be removed from the runner on September 16th, 2026. Please check if updated versions of these actions are available that support Node.js 24. To opt into Node.js 24 now, set the FORCE_JAVASCRIPT_ACTIONS_TO_NODE24=true environment variable on the runner or in your workflow file. Once Node.js 24 becomes the default, you can temporarily opt out by setting ACTIONS_ALLOW_USE_UNSECURE_NODE_VERSION=true. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
Verify std library using autoharness (macos-latest)
Node.js 20 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: actions/checkout@v4, actions/upload-artifact@v4. Actions will be forced to run with Node.js 24 by default starting June 16th, 2026. Node.js 20 will be removed from the runner on September 16th, 2026. Please check if updated versions of these actions are available that support Node.js 24. To opt into Node.js 24 now, set the FORCE_JAVASCRIPT_ACTIONS_TO_NODE24=true environment variable on the runner or in your workflow file. Once Node.js 24 becomes the default, you can temporarily opt out by setting ACTIONS_ALLOW_USE_UNSECURE_NODE_VERSION=true. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
Verify std library using autoharness (macos-latest)
The following taps are not trusted: aws/tap azure/bicep Homebrew is currently ignoring formulae, casks and commands from these taps because tap trust is required. Trust specific formulae, casks or commands with: brew trust --formula <user>/<tap>/<formula> brew trust --cask <user>/<tap>/<cask> brew trust --command <user>/<tap>/<command> or trust installed formulae from these taps with: brew trust --formula azure/bicep/bicep You can trust all formulae, casks and commands from these taps with: brew trust aws/tap azure/bicep Prefer trusting only the specific formulae, casks or commands you need. Untap them with: brew untap aws/tap azure/bicep To disable trust checks: export HOMEBREW_NO_REQUIRE_TAP_TRUST=1 This is not recommended and will be removed in a later release.
Verify std library using autoharness (macos-latest)
The following taps are not trusted: aws/tap azure/bicep Homebrew is currently ignoring formulae, casks and commands from these taps because tap trust is required. Trust specific formulae, casks or commands with: brew trust --formula <user>/<tap>/<formula> brew trust --cask <user>/<tap>/<cask> brew trust --command <user>/<tap>/<command> or trust installed formulae from these taps with: brew trust --formula azure/bicep/bicep You can trust all formulae, casks and commands from these taps with: brew trust aws/tap azure/bicep Prefer trusting only the specific formulae, casks or commands you need. Untap them with: brew untap aws/tap azure/bicep To disable trust checks: export HOMEBREW_NO_REQUIRE_TAP_TRUST=1 This is not recommended and will be removed in a later release.
Verify std library using autoharness (macos-latest)
Already linked: /opt/homebrew/Cellar/python@3.14/3.14.5
Verify std library using autoharness (macos-latest)
Skipping hashicorp/tap because it is not trusted. Run `brew trust hashicorp/tap` to trust it.
Verify std library using autoharness (macos-latest)
Skipping aws/tap because it is not trusted. Run `brew trust aws/tap` to trust it.
Verify std library using autoharness (macos-latest)
Skipping hashicorp/tap because it is not trusted. Run `brew trust hashicorp/tap` to trust it.
Verify std library using autoharness (macos-latest)
Skipping azure/bicep because it is not trusted. Run `brew trust azure/bicep` to trust it.
Verify std library using autoharness (macos-latest)
Skipping aws/tap because it is not trusted. Run `brew trust aws/tap` to trust it.
Kani List
Node.js 20 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: actions/checkout@v4, actions/github-script@v6. Actions will be forced to run with Node.js 24 by default starting June 16th, 2026. Node.js 20 will be removed from the runner on September 16th, 2026. Please check if updated versions of these actions are available that support Node.js 24. To opt into Node.js 24 now, set the FORCE_JAVASCRIPT_ACTIONS_TO_NODE24=true environment variable on the runner or in your workflow file. Once Node.js 24 becomes the default, you can temporarily opt out by setting ACTIONS_ALLOW_USE_UNSECURE_NODE_VERSION=true. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
Verify std library using autoharness (ubuntu-latest)
Node.js 20 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: actions/checkout@v4, actions/upload-artifact@v4. Actions will be forced to run with Node.js 24 by default starting June 16th, 2026. Node.js 20 will be removed from the runner on September 16th, 2026. Please check if updated versions of these actions are available that support Node.js 24. To opt into Node.js 24 now, set the FORCE_JAVASCRIPT_ACTIONS_TO_NODE24=true environment variable on the runner or in your workflow file. Once Node.js 24 becomes the default, you can temporarily opt out by setting ACTIONS_ALLOW_USE_UNSECURE_NODE_VERSION=true. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
Kani Metrics (ubuntu-latest)
Node.js 20 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: actions/checkout@v4, actions/setup-python@v4, actions/upload-artifact@v4. Actions will be forced to run with Node.js 24 by default starting June 16th, 2026. Node.js 20 will be removed from the runner on September 16th, 2026. Please check if updated versions of these actions are available that support Node.js 24. To opt into Node.js 24 now, set the FORCE_JAVASCRIPT_ACTIONS_TO_NODE24=true environment variable on the runner or in your workflow file. Once Node.js 24 becomes the default, you can temporarily opt out by setting ACTIONS_ALLOW_USE_UNSECURE_NODE_VERSION=true. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
Kani Metrics (macos-latest)
Node.js 20 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: actions/checkout@v4, actions/setup-python@v4, actions/upload-artifact@v4. Actions will be forced to run with Node.js 24 by default starting June 16th, 2026. Node.js 20 will be removed from the runner on September 16th, 2026. Please check if updated versions of these actions are available that support Node.js 24. To opt into Node.js 24 now, set the FORCE_JAVASCRIPT_ACTIONS_TO_NODE24=true environment variable on the runner or in your workflow file. Once Node.js 24 becomes the default, you can temporarily opt out by setting ACTIONS_ALLOW_USE_UNSECURE_NODE_VERSION=true. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
Kani Metrics (macos-latest)
The following taps are not trusted: aws/tap azure/bicep hashicorp/tap Homebrew is currently ignoring formulae, casks and commands from these taps because tap trust is required. Trust specific formulae, casks or commands with: brew trust --formula <user>/<tap>/<formula> brew trust --cask <user>/<tap>/<cask> brew trust --command <user>/<tap>/<command> or trust installed formulae from these taps with: brew trust --formula azure/bicep/bicep brew trust --formula hashicorp/tap/packer You can trust all formulae, casks and commands from these taps with: brew trust aws/tap azure/bicep hashicorp/tap Prefer trusting only the specific formulae, casks or commands you need. Untap them with: brew untap aws/tap azure/bicep hashicorp/tap To disable trust checks: export HOMEBREW_NO_REQUIRE_TAP_TRUST=1 This is not recommended and will be removed in a later release.
Kani Metrics (macos-latest)
The following taps are not trusted: aws/tap azure/bicep hashicorp/tap Homebrew is currently ignoring formulae, casks and commands from these taps because tap trust is required. Trust specific formulae, casks or commands with: brew trust --formula <user>/<tap>/<formula> brew trust --cask <user>/<tap>/<cask> brew trust --command <user>/<tap>/<command> or trust installed formulae from these taps with: brew trust --formula azure/bicep/bicep brew trust --formula hashicorp/tap/packer You can trust all formulae, casks and commands from these taps with: brew trust aws/tap azure/bicep hashicorp/tap Prefer trusting only the specific formulae, casks or commands you need. Untap them with: brew untap aws/tap azure/bicep hashicorp/tap To disable trust checks: export HOMEBREW_NO_REQUIRE_TAP_TRUST=1 This is not recommended and will be removed in a later release.
Kani Metrics (macos-latest)
Already linked: /opt/homebrew/Cellar/python@3.14/3.14.5
Kani Metrics (macos-latest)
Skipping hashicorp/tap because it is not trusted. Run `brew trust hashicorp/tap` to trust it.
Kani Metrics (macos-latest)
Skipping aws/tap because it is not trusted. Run `brew trust aws/tap` to trust it.
Kani Metrics (macos-latest)
Skipping hashicorp/tap because it is not trusted. Run `brew trust hashicorp/tap` to trust it.
Kani Metrics (macos-latest)
Skipping azure/bicep because it is not trusted. Run `brew trust azure/bicep` to trust it.
Kani Metrics (macos-latest)
Skipping aws/tap because it is not trusted. Run `brew trust aws/tap` to trust it.
Build JSON from logs (macos-latest)
Node.js 20 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: actions/checkout@v4, actions/download-artifact@v4, actions/upload-artifact@v4. Actions will be forced to run with Node.js 24 by default starting June 16th, 2026. Node.js 20 will be removed from the runner on September 16th, 2026. Please check if updated versions of these actions are available that support Node.js 24. To opt into Node.js 24 now, set the FORCE_JAVASCRIPT_ACTIONS_TO_NODE24=true environment variable on the runner or in your workflow file. Once Node.js 24 becomes the default, you can temporarily opt out by setting ACTIONS_ALLOW_USE_UNSECURE_NODE_VERSION=true. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
Build JSON from logs (ubuntu-latest)
Node.js 20 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: actions/checkout@v4, actions/download-artifact@v4, actions/upload-artifact@v4. Actions will be forced to run with Node.js 24 by default starting June 16th, 2026. Node.js 20 will be removed from the runner on September 16th, 2026. Please check if updated versions of these actions are available that support Node.js 24. To opt into Node.js 24 now, set the FORCE_JAVASCRIPT_ACTIONS_TO_NODE24=true environment variable on the runner or in your workflow file. Once Node.js 24 becomes the default, you can temporarily opt out by setting ACTIONS_ALLOW_USE_UNSECURE_NODE_VERSION=true. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/

Artifacts

Produced during runtime
Name Size Digest
macos-latest-autoharness-verification.log.gz Expired
360 KB
sha256:0d8627991a0672b4f1e1612cf855fb0c1edd6c857de3042d937b7844e926cf94
macos-latest-kani-list.json Expired
105 KB
sha256:247b586980c80945af21f5bd8359c8e210a2c9414c2ac74d638035f7a73a94fc
macos-latest-results.json
404 KB
sha256:d8f24e99e3714bd846f11de3acf630ec93cd2f5de3cd0d23e90068f6f2102f8f
macos-latest-results.tar.gz Expired
837 KB
sha256:211c39c6b0b9e237831b731c79165d29a815cc823eacf17c94977e786bccbf59
ubuntu-latest-autoharness-verification.log.gz Expired
380 KB
sha256:5e4ffacd02749922be7256c77bd1e9f558dc63d34cd65f8342d9d78961cd11c2
ubuntu-latest-kani-list.json Expired
113 KB
sha256:0553d6a5ef57584814738334bac94d0eceaceef0472d457eff42ed26a9885f0e
ubuntu-latest-results.json
428 KB
sha256:1aab94528a0505453843d05c2c7c51a3151fa99de8f45f44547ed937c1f48021
ubuntu-latest-results.tar.gz Expired
899 KB
sha256:78511a11226f474d5b6ec5e184cae62c5b2fe48a27f5dcdd48507f67087c44f5