|
autotest_cgal
|
clean-up
|
2021-07-23 14:18:13 +02:00 |
|
cgal_check_dependencies.sh
|
remove flags in CI
|
2020-10-12 15:44:44 +02:00 |
|
check_library_uses_no_gpl_files
|
update scripts
|
2020-10-14 11:38:31 +02:00 |
|
detect_packages_licenses
|
Add checks for pushes
|
2020-12-29 14:33:29 +01:00 |
|
licensecheck
|
accomodate Polyhedral_envelope.h
|
2020-12-07 19:00:07 +01:00 |
|
merge_pr_with_label
|
Fix the script when the merge fixes
|
2020-10-09 16:53:07 +02:00 |
|
run_testsuite_from_branch_name.sh
|
Use a queue
|
2021-07-28 10:47:19 +02:00 |
|
run_testsuite_with_ctest
|
Fix a very stupid mistake
|
2021-06-25 10:09:09 +02:00 |