Merge some changes of CROWN_tutorial branch with main #966
Triggered via pull request
December 11, 2024 23:52
tvoigtlaender
Status
Success
Total duration
10m 34s
Artifacts
–
checks.yml
on: pull_request
build_project
10m 25s
build_single_friend
3m 58s
build_two_friends
4m 32s
python_format
1m 25s
cpp_format
1m 23s
docs
2m 7s