|
autotest_cgal_with_ctest
|
Merge branch '5.2.x-branch'
|
2021-03-31 15:07:31 +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_with_ctest
|
Fix installation logs
|
2021-02-12 08:51:23 +01:00 |