Skip to content
Contributor Membership Check

Rip useless names out of RawDef #6090

Sign in to view logs

Rip useless names out of RawDef

Rip useless names out of RawDef #6090

Triggered via pull request November 18, 2024 21:27
@kazimuthkazimuth
synchronize #1918
jgilles/unname
Status Success
Total duration 1m 49s
Billable time 1m
Artifacts –

contributor_check.yml

on: pull_request
Contributor Membership Check
9s
Contributor Membership Check
Fit to window
Zoom out
Zoom in