Skip to content

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

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

Triggered via push May 15, 2024 08:41
Status Success
Total duration 3m 5s
Artifacts

format.yml

on: push
clang-format-checking
21s
clang-format-checking
dotnet-format-checking-logic
2m 11s
dotnet-format-checking-logic
dotnet-format-checking-installer
2m 50s
dotnet-format-checking-installer
dotnet-format-checking-launcher
50s
dotnet-format-checking-launcher
dotnet-format-checking-interface
49s
dotnet-format-checking-interface
Fit to window
Zoom out
Zoom in