Skip to content

openjdk package updates (r151046) #4237

openjdk package updates (r151046)

openjdk package updates (r151046) #4237

Workflow file for this run

name: CI
on:
push:
pull_request:
jobs:
build:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v2
- name: ksh
run: sudo apt-get install ksh
- name: test
run: ./tools/test