Skip to content

[Ramses] rename refine & derefine lists to dd_* #966

[Ramses] rename refine & derefine lists to dd_*

[Ramses] rename refine & derefine lists to dd_* #966

Triggered via pull request May 2, 2026 06:29
@tdavidcltdavidcl
labeled #1794
Status Skipped
Total duration 1s
Artifacts

trigger_ci_empty_commit.yml

on: pull_request_target
Trigger CI with empty commit
0s
Trigger CI with empty commit
Fit to window
Zoom out
Zoom in