Skip to content
Lint

moving random_element to category of rings #18696

Sign in to view logs

moving random_element to category of rings

moving random_element to category of rings #18696

Triggered via pull request February 16, 2025 09:33
@fchapotonfchapoton
synchronize #39497
fchapoton:random_ring_cat
Status Success
Total duration 3m 40s
Artifacts –

lint.yml

on: pull_request
Lint
3m 33s
Lint
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Lint
The process '/usr/bin/git' failed with exit code 128