Skip to content

Add ghost arguments to backend #74

Add ghost arguments to backend

Add ghost arguments to backend #74

Triggered via pull request April 30, 2025 17:44
Status Success
Total duration 21m 30s
Artifacts

rocq.yml

on: pull_request
Matrix: build
Fit to window
Zoom out
Zoom in