Merge some changes of CROWN_tutorial branch with main #955
checks.yml
on: pull_request
build_project
1m 43s
build_single_friend
4m 1s
build_two_friends
4m 35s
python_format
1m 30s
cpp_format
1m 22s
docs
2m 1s
Annotations
2 errors
python_format
Process completed with exit code 1.
|
build_project
Process completed with exit code 1.
|