Skip to content

[github] Change Ubuntu version to 22.04 #1714

[github] Change Ubuntu version to 22.04

[github] Change Ubuntu version to 22.04 #1714

Triggered via push December 6, 2024 10:57
Status Success
Total duration 30s
Artifacts

lint.yml

on: push
check-license
19s
check-license
C/C++ Sources
15s
C/C++ Sources
Python Sources
7s
Python Sources
check-trailing-whitespaces
5s
check-trailing-whitespaces
Fit to window
Zoom out
Zoom in