Skip to content

Change utility::as_derivative index to u32 #7171

Change utility::as_derivative index to u32

Change utility::as_derivative index to u32 #7171

Triggered via pull request December 5, 2023 17:36
Status Success
Total duration 27s
Artifacts

check-markdown.yml

on: pull_request
lint-markdown
17s
lint-markdown
Fit to window
Zoom out
Zoom in