Skip to content

immersed: rename pname of immersed attribute #117581

immersed: rename pname of immersed attribute

immersed: rename pname of immersed attribute #117581

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

nix-parse.yml

on: pull_request_target
nix-files-parseable-check
15s
nix-files-parseable-check
Fit to window
Zoom out
Zoom in