Merge some changes of CROWN_tutorial branch with main #958
tvoigtlaenderchecks.yml
on: pull_request
build_project
10m 41s
build_single_friend
3m 53s
build_two_friends
4m 59s
python_format
1m 27s
cpp_format
1m 31s
docs
1m 57s