Merge Group

Merge Group #7488

Sign in to view logs

Triggered via merge group October 13, 2025 20:14

NickCao

Status Success

Total duration 2m 56s

Artifacts –

merge-group.yml

on: merge_group

Lint / nixpkgs-vet