Skip to content

Change utility::as_derivative index to u32 #3146

Change utility::as_derivative index to u32

Change utility::as_derivative index to u32 #3146

Triggered via pull request December 5, 2023 17:36
@olanodolanod
synchronize #2629
Status Success
Total duration 9s
Artifacts

gitspiegel-trigger.yml

on: pull_request_target
Fit to window
Zoom out
Zoom in