Skip to content
CI

Rocq-renaming #631

Sign in to view logs

Rocq-renaming

Rocq-renaming #631

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

build.yml

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