Skip to content

Merge pull request #1140 from vojtechtrefny/3.8-devel_revert-makefile… #381

Merge pull request #1140 from vojtechtrefny/3.8-devel_revert-makefile…

Merge pull request #1140 from vojtechtrefny/3.8-devel_revert-makefile… #381

Triggered via push July 10, 2023 08:20
Status Success
Total duration 3m 31s
Artifacts

check.yml

on: push
static-analysis
3m 22s
static-analysis
Fit to window
Zoom out
Zoom in