Skip to content

[1pt] PR: Upgrade JDK to v.17 #33

[1pt] PR: Upgrade JDK to v.17

[1pt] PR: Upgrade JDK to v.17 #33

Triggered via pull request December 8, 2023 17:55
@mluckmluck
synchronize #1047
dev-jdk-17
Status Success
Total duration 26s
Artifacts

lint_and_format.yaml

on: pull_request
lint-and-format
15s
lint-and-format
Fit to window
Zoom out
Zoom in