|
autotest_cgal
|
Fix typos
|
2021-10-04 13:34:07 +02:00 |
|
create_cgal_test
|
fix path
|
2021-07-27 21:09:45 +02:00 |
|
detect_packages_licenses
|
Add checks for pushes
|
2020-12-29 14:33:29 +01:00 |
|
merge_pr_with_label
|
Improve merge_pr_with_label
|
2021-10-29 17:06:12 +02:00 |
|
run_testsuite_with_ctest
|
Fix a very stupid mistake
|
2021-06-25 10:09:09 +02:00 |