Renamed variable and fixed comments referring to renamed FileDescriptor #8732
Triggered via pull request
September 9, 2024 14:02
RalfJung
Status
Success
Total duration
25m 51s
Artifacts
–
ci.yml
on: pull_request
Matrix: build
style checks
2m 34s
bors build finished
0s
bors build finished
0s
cronjob failure notification
0s