Skip to content
CI

Rocq-renaming #633

Sign in to view logs

Rocq-renaming

Rocq-renaming #633

Triggered via pull request January 28, 2025 19:11
@mattam82mattam82
synchronize #632
rocq-renaming
Status Failure
Total duration 2m 7s
Artifacts –

build.yml

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