shellcheck control

OMR: Update to jdk17 for remoting.jar #767

Sign in to view logs

Summary
Jobs
- Shellcheck
Run details
- Usage
- Workflow file

Triggered via push January 28, 2025 17:26

fredg02

master

Status Success

Total duration 17s

Artifacts –

github-actions.yml

on: push