Skip to content

Merge remote-tracking branch 'origin/main' into use-optional-dependen… #542

Merge remote-tracking branch 'origin/main' into use-optional-dependen…

Merge remote-tracking branch 'origin/main' into use-optional-dependen… #542

Triggered via push August 5, 2024 06:50
Status Success
Total duration 44s
Artifacts

formatting.yml

on: push
Matrix: formatcheck
Fit to window
Zoom out
Zoom in