Skip to content

immersed: rename pname of immersed attribute #265652

immersed: rename pname of immersed attribute

immersed: rename pname of immersed attribute #265652

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

ofborg-pending.yml

on: pull_request_target
set-ofborg-pending
3s
set-ofborg-pending
Fit to window
Zoom out
Zoom in