Skip to content

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

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

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

Triggered via pull request December 8, 2023 20:49
Status Success
Total duration 30s
Artifacts

lint_and_format.yaml

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