Skip to content
CI

Rocq-renaming #632

Sign in to view logs

Rocq-renaming

Rocq-renaming #632

Triggered via pull request January 28, 2025 16:18
@mattam82mattam82
synchronize #632
rocq-renaming
Status Failure
Total duration 1m 48s
Artifacts –

build.yml

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