Skip to content

Fix makefile now that we've renamed files #291

Fix makefile now that we've renamed files

Fix makefile now that we've renamed files #291

Triggered via pull request July 29, 2025 00:16
Status Success
Total duration 1m 28s
Artifacts

linter.yml

on: pull_request
Fit to window
Zoom out
Zoom in