Skip to content
Rocq

Use arm runner #6

Sign in to view logs

Use arm runner

Use arm runner #6

Triggered via pull request April 15, 2025 13:43
@dc-makdc-mak
synchronize #75
dc-mak:use-arm-runner
Status Success
Total duration 21m 56s
Artifacts –

rocq.yml

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