Skip to content

immersed: rename pname of immersed attribute #25129

immersed: rename pname of immersed attribute

immersed: rename pname of immersed attribute #25129

Triggered via pull request October 17, 2024 04:07
Status Success
Total duration 1m 1s
Artifacts

nixpkgs-vet.yml

on: pull_request_target
nixpkgs-vet
51s
nixpkgs-vet
Fit to window
Zoom out
Zoom in