Skip to content

Merge branch 'main' into main #6

Merge branch 'main' into main

Merge branch 'main' into main #6

Triggered via push December 19, 2023 17:53
Status Success
Total duration 1m 48s
Artifacts

format.yml

on: push
Check formatting
1m 39s
Check formatting
Fit to window
Zoom out
Zoom in