Merge some changes of CROWN_tutorial branch with main #967
Triggered via pull request
December 11, 2024 23:53
tvoigtlaender
Status
Success
Total duration
11m 14s
Artifacts
–
checks.yml
on: pull_request
build_project
11m 4s
build_single_friend
3m 51s
build_two_friends
4m 33s
python_format
1m 27s
cpp_format
1m 18s
docs
1m 46s