Skip to content

Merge branch 'dev' of https://github.com/DreamEnderKing/THUAI7 into dev #5

Merge branch 'dev' of https://github.com/DreamEnderKing/THUAI7 into dev

Merge branch 'dev' of https://github.com/DreamEnderKing/THUAI7 into dev #5

Triggered via push December 13, 2023 05:55
Status Success
Total duration 2m 44s
Artifacts

format.yml

on: push
clang-format-checking
8s
clang-format-checking
dotnet-format-checking-logic
2m 17s
dotnet-format-checking-logic
dotnet-format-checking-installer
2m 32s
dotnet-format-checking-installer
dotnet-format-checking-launcher
1m 5s
dotnet-format-checking-launcher
Fit to window
Zoom out
Zoom in