Skip to content

Editorial: Replace [[DFSIndex]] with a local variable #4225

Editorial: Replace [[DFSIndex]] with a local variable

Editorial: Replace [[DFSIndex]] with a local variable #4225

Triggered via pull request June 27, 2025 15:27
Status Success
Total duration 9s
Artifacts

require-allow-edits.yml

on: pull_request
Require “Allow Edits”
4s
Require “Allow Edits”
Fit to window
Zoom out
Zoom in