Merge some changes of CROWN_tutorial branch with main #985
tvoigtlaenderchecks.yml
on: pull_request
build_project
10m 37s
build_single_friend
3m 57s
build_two_friends
4m 41s
python_format
1m 24s
cpp_format
1m 29s
docs
1m 58s