Skip to content

Merge branch 'dev' of ssh://ssh.github.com:443/hhzzff/THUAI7 into dev #43

Merge branch 'dev' of ssh://ssh.github.com:443/hhzzff/THUAI7 into dev

Merge branch 'dev' of ssh://ssh.github.com:443/hhzzff/THUAI7 into dev #43

Triggered via push January 25, 2024 04:17
Status Success
Total duration 2m 59s
Artifacts

format.yml

on: push
clang-format-checking
20s
clang-format-checking
dotnet-format-checking-logic
2m 12s
dotnet-format-checking-logic
dotnet-format-checking-installer
2m 47s
dotnet-format-checking-installer
dotnet-format-checking-launcher
49s
dotnet-format-checking-launcher
dotnet-format-checking-interface
46s
dotnet-format-checking-interface
Fit to window
Zoom out
Zoom in