Merge some changes of CROWN_tutorial branch with main #986
tvoigtlaenderchecks.yml
on: pull_request
build_project
11m 30s
build_single_friend
4m 23s
build_two_friends
5m 1s
python_format
1m 26s
cpp_format
1m 22s
docs
1m 47s