Skip to content

Use $(MAKE) instead of make #8397

Use $(MAKE) instead of make

Use $(MAKE) instead of make #8397

Triggered via pull request June 18, 2024 17:16
Status Success
Total duration 15m 58s
Artifacts

fuzzing.yaml

on: pull_request
Fit to window
Zoom out
Zoom in