Skip to content
CI

Rocq-renaming #637

Sign in to view logs

Rocq-renaming

Rocq-renaming #637

Triggered via pull request January 28, 2025 23:20
@mattam82mattam82
synchronize #632
rocq-renaming
Status Success
Total duration 3m 4s
Artifacts –

build.yml

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