formal verification

Update actions/setup-java action to v4 #2985

Sign in to view logs

Triggered via pull request November 29, 2023 17:14

opened #4770

renovate/actions-setup-java-4.x

Status Success

Total duration 17s

Artifacts –

formal-verification.yml

on: pull_request