Skip to content

immersed: rename pname of immersed attribute #46888

immersed: rename pname of immersed attribute

immersed: rename pname of immersed attribute #46888

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

check-shell.yml

on: pull_request_target
shell-check-x86_64-linux
44s
shell-check-x86_64-linux
shell-check-aarch64-darwin
1m 47s
shell-check-aarch64-darwin
Fit to window
Zoom out
Zoom in