Skip to content

Merge branch 'main' into 20230824_merge_dcl10 #237

Merge branch 'main' into 20230824_merge_dcl10

Merge branch 'main' into 20230824_merge_dcl10 #237

Triggered via push August 29, 2023 20:00
Status Success
Total duration 3m 57s
Artifacts 1

pre-commit.yml

on: push
Matrix: pre-commit
Pull request with the newly generated contents
7s
Pull request with the newly generated contents
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
artifact Expired
8.34 KB