Skip to content

Merge branch 'main' into dirfilt #308

Merge branch 'main' into dirfilt

Merge branch 'main' into dirfilt #308

Triggered via push August 16, 2023 18:31
Status Success
Total duration 2m 35s
Artifacts

check-jsons.yaml

on: push
Check modified jsons
2m 19s
Check modified jsons
Fit to window
Zoom out
Zoom in