Skip to content

Remove Makefile and replace make commands #4912

Remove Makefile and replace make commands

Remove Makefile and replace make commands #4912

Triggered via pull request October 27, 2025 22:20
Status Success
Total duration 2m 45s
Artifacts

ci.yml

on: pull_request
Matrix: build
completion-ci
4s
completion-ci
Fit to window
Zoom out
Zoom in