Skip to content
Back to pull request #862

Move misc CI checks to GitHub Actions #852

Sign in to view logs

Move misc CI checks to GitHub Actions

Move misc CI checks to GitHub Actions #852

Annotations

1 warning

plume-lib on JDK 8

plume-lib on JDK 8
succeeded Jan 3, 2025 in 9s