Skip to content

Issue #286: Fix wrong indentation of derived type #918

Issue #286: Fix wrong indentation of derived type

Issue #286: Fix wrong indentation of derived type #918

Triggered via pull request July 9, 2023 18:39
Status Success
Total duration 3m 40s
Artifacts

docs.yml

on: pull_request
Fit to window
Zoom out
Zoom in