Skip to content

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

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

Triggered via push April 16, 2024 02:38
Status Success
Total duration 3m 13s
Artifacts

format.yml

on: push
clang-format-checking
1m 41s
clang-format-checking
dotnet-format-checking-logic
3m 0s
dotnet-format-checking-logic
dotnet-format-checking-installer
1m 59s
dotnet-format-checking-installer
dotnet-format-checking-launcher
37s
dotnet-format-checking-launcher
dotnet-format-checking-interface
27s
dotnet-format-checking-interface
Fit to window
Zoom out
Zoom in