Verify with KeY

Bump the gh-actions group with 2 updates #46

Sign in to view logs

Triggered via pull request September 2, 2025 13:28

dependabot[bot]

opened #2

dependabot/github_actions/gh-actions-897ead3edf

Status Success

Total duration 2m 59s

Artifacts –

check.yml

on: pull_request

Matrix: verify

Annotations

2 notices

verify (macos-latest, 21, BinarySearch)

The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520

verify (macos-latest, 21, ArrayList)

The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520