Skip to content

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

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 #120

Triggered via push April 23, 2024 09:45
Status Success
Total duration 2m 17s
Artifacts

format.yml

on: push
clang-format-checking
22s
clang-format-checking
dotnet-format-checking-logic
1m 20s
dotnet-format-checking-logic
dotnet-format-checking-installer
2m 5s
dotnet-format-checking-installer
dotnet-format-checking-launcher
30s
dotnet-format-checking-launcher
dotnet-format-checking-interface
29s
dotnet-format-checking-interface
Fit to window
Zoom out
Zoom in