Skip to content

Replace old GitHub action with updated one. #4

Replace old GitHub action with updated one.

Replace old GitHub action with updated one. #4

on ubuntu-latest with JDK 17

succeeded Feb 28, 2024 in 1m 57s