Skip to content

Replace make with $(MAKE) in Makefile #397

Replace make with $(MAKE) in Makefile

Replace make with $(MAKE) in Makefile #397

Re-run triggered November 11, 2024 06:01
Status Success
Total duration 12s
Artifacts

status-check.yaml

on: pull_request
validate
3s
validate
Fit to window
Zoom out
Zoom in