Skip to content

Use $(MAKE) instead of make in Makefiles #66

Use $(MAKE) instead of make in Makefiles

Use $(MAKE) instead of make in Makefiles #66

Triggered via push December 30, 2024 15:34
Status Success
Total duration 24s
Artifacts

analyze.yml

on: push
Check source code
13s
Check source code
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Check source code
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636