Skip to content

Prove Safety relative to TypeOK instead of via a combined invariant #1318

Prove Safety relative to TypeOK instead of via a combined invariant

Prove Safety relative to TypeOK instead of via a combined invariant #1318

Triggered via push August 5, 2026 18:08
Status Success
Total duration 31m 24s
Artifacts

CI.yml

on: push
Matrix: validate
Fit to window
Zoom out
Zoom in

Annotations

20 warnings
validate (ubuntu-latest, true)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4, actions/setup-java@v4, actions/setup-python@v5. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
validate (ubuntu-latest, true)
setup-java v4 is deprecated and will no longer receive updates. Please migrate to actions/setup-java@v5.
validate (ubuntu-latest, true)
setup-java v4 is deprecated and will no longer receive updates. Please migrate to actions/setup-java@v5.
validate (macos-latest, true)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4, actions/setup-java@v4, actions/setup-python@v5. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
validate (macos-latest, true)
The following taps are not trusted: aws/tap Homebrew is currently ignoring formulae, casks and commands from these taps because tap trust is required. Untap them with: brew untap aws/tap Trust specific formulae, casks and commands with: brew trust --formula <user>/<tap>/<formula> brew trust --cask <user>/<tap>/<cask> brew trust --command <user>/<tap>/<command> Whole-tap trust is broader and includes all current and future formulae, casks and commands from the listed taps. Trust whole taps with: brew trust aws/tap To disable trust checks: export HOMEBREW_NO_REQUIRE_TAP_TRUST=1 This is not recommended and will be removed in a later release. For more information, see: https://docs.brew.sh/Tap-Trust
validate (macos-latest, true)
setup-java v4 is deprecated and will no longer receive updates. Please migrate to actions/setup-java@v5.
validate (macos-latest, true)
setup-java v4 is deprecated and will no longer receive updates. Please migrate to actions/setup-java@v5.
validate (windows-latest, true)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4, actions/setup-java@v4, actions/setup-python@v5. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
validate (windows-latest, true)
setup-java v4 is deprecated and will no longer receive updates. Please migrate to actions/setup-java@v5.
validate (windows-latest, true)
setup-java v4 is deprecated and will no longer receive updates. Please migrate to actions/setup-java@v5.
validate (windows-latest, false)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4, actions/setup-java@v4, actions/setup-python@v5. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
validate (windows-latest, false)
setup-java v4 is deprecated and will no longer receive updates. Please migrate to actions/setup-java@v5.
validate (windows-latest, false)
setup-java v4 is deprecated and will no longer receive updates. Please migrate to actions/setup-java@v5.
validate (ubuntu-latest, false)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4, actions/setup-java@v4, actions/setup-python@v5. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
validate (ubuntu-latest, false)
setup-java v4 is deprecated and will no longer receive updates. Please migrate to actions/setup-java@v5.
validate (ubuntu-latest, false)
setup-java v4 is deprecated and will no longer receive updates. Please migrate to actions/setup-java@v5.
validate (macos-latest, false)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4, actions/setup-java@v4, actions/setup-python@v5. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
validate (macos-latest, false)
The following taps are not trusted: aws/tap Homebrew is currently ignoring formulae, casks and commands from these taps because tap trust is required. Untap them with: brew untap aws/tap Trust specific formulae, casks and commands with: brew trust --formula <user>/<tap>/<formula> brew trust --cask <user>/<tap>/<cask> brew trust --command <user>/<tap>/<command> Whole-tap trust is broader and includes all current and future formulae, casks and commands from the listed taps. Trust whole taps with: brew trust aws/tap To disable trust checks: export HOMEBREW_NO_REQUIRE_TAP_TRUST=1 This is not recommended and will be removed in a later release. For more information, see: https://docs.brew.sh/Tap-Trust
validate (macos-latest, false)
setup-java v4 is deprecated and will no longer receive updates. Please migrate to actions/setup-java@v5.
validate (macos-latest, false)
setup-java v4 is deprecated and will no longer receive updates. Please migrate to actions/setup-java@v5.