Skip to content

[github] Change Ubuntu version to 22.04 #1692

[github] Change Ubuntu version to 22.04

[github] Change Ubuntu version to 22.04 #1692

Triggered via push December 6, 2024 07:33
Status Success
Total duration 30s
Artifacts

lint.yml

on: push
check-license
21s
check-license
C/C++ Sources
12s
C/C++ Sources
Python Sources
6s
Python Sources
check-trailing-whitespaces
5s
check-trailing-whitespaces
Fit to window
Zoom out
Zoom in