songsenand
/
cgal
mirror of https://github.com/CGAL/cgal
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
113,978 Commits 3 Branches 156 Tags 973 MiB
Commit Graph

187 Commits

Author SHA1 Message Date
Maxime Gimeno 3319fdf8e9 WIP filtering 2020-10-23 15:28:17 +02:00
Maxime Gimeno 0219519a70 Specify that the doc takes some time before being available 2020-10-22 14:58:04 +02:00
Maxime Gimeno 80551b1981 Only capture between : and the first whitespace if there is one. Also requires `/build:` instead of `build:` 2020-10-15 13:19:39 +02:00
Sébastien Loriot 84141fa302 add missing package 2020-10-13 09:26:00 +02:00
Laurent Rineau 5e1dc739d4 Quiet git in the "Documentation" workflow 2020-10-09 16:49:45 +02:00
Laurent Rineau b8d5c5e89a Fix the call to Github API 2020-10-05 13:23:33 +02:00
Laurent Rineau 0635d8992a
Update build_doc.yml 2020-10-05 13:06:15 +02:00
Laurent Rineau f88c0dec4a Fix my error: wget is run without root rights 2020-10-05 12:50:05 +02:00
Laurent Rineau da4acf4f0d wget --no-verbose 2020-10-05 12:46:29 +02:00
Laurent Rineau 10e5bcd369 Fix a typo 2020-10-05 12:46:12 +02:00
Laurent Rineau cba7b46378 Fix the script, again 2020-10-05 12:38:49 +02:00
Laurent Rineau 4937ab2f72 fix the workflow (tested) 2020-10-05 12:31:47 +02:00
Laurent Rineau 74af3e7d33 Fix the workflow 2020-10-05 11:51:43 +02:00
Laurent Rineau 606f5ef7dd
Merge pull request #5029 from maxGimeno/CI-Doc_build_rounds-maxGimeno 2020-10-05 11:41:24 +02:00
Maxime Gimeno f70ce266f1 Post address after upload 2020-09-28 13:47:06 +02:00
Maxime Gimeno bd3f64d498 don't build if round exists 2020-09-28 13:12:55 +02:00
Maxime Gimeno 354fdeea53 Trigger on build:xxx 2020-09-28 10:21:41 +02:00
Maxime Gimeno 3289e577fa test if index changed before pushing. 2020-09-28 07:24:14 +02:00
Maxime Gimeno a7e94db30c Use the script API to test if the label "small feature" is present, and use the result to determine if the other jobs should be ran or not. 2020-09-24 09:25:08 +02:00
Maxime Gimeno 806399c3c7 Use egrep and github token 2020-09-22 14:51:01 +02:00
Maxime Gimeno 89c135aff7 Only remove the PR name in the index, not in the repo. 2020-09-10 14:31:22 +02:00
Maxime Gimeno 94f1c7cbe9 update index too 2020-09-09 12:48:56 +02:00
Maxime Gimeno 1f11e5d861 Don't use gf.com but only git 2020-09-09 11:18:51 +02:00
Maxime Gimeno de24c4729a Clena-up 2020-09-09 11:18:51 +02:00
Maxime Gimeno 08600afd72 Add a github manip 2020-09-09 11:18:51 +02:00
Maxime Gimeno 9cae0bdad7 Remove dir on pr closed 2020-09-09 11:18:51 +02:00
Maxime Gimeno d8bd7c90d7 delete PR on delete 2020-09-09 11:18:51 +02:00
Maxime Gimeno 7c89ed508a Add a workflow to build and upload the doc on a pull_request 2020-09-09 11:18:51 +02:00
Laurent Rineau 1e3e0f5e34
Update cmake-all.yml 2020-01-10 13:54:27 +01:00
Laurent Rineau a8d3f13def Try with clang instead of gcc 2019-09-20 13:59:01 +02:00
Laurent Rineau 61b5d167ba Add sudo 2019-09-20 13:53:36 +02:00
Laurent Rineau 8abe5d8048 s/apt/apt-get/ 2019-09-20 13:51:09 +02:00
Laurent Rineau 45f7ea3278 fetch-depth set to 0 2019-09-20 13:50:12 +02:00
Laurent Rineau 334ab90b16 Install dependencies 2019-09-20 13:46:51 +02:00
Laurent Rineau c239cf6b7d update 2019-09-20 13:41:51 +02:00
Laurent Rineau 0f03856b32 update 2019-09-20 13:39:46 +02:00
Laurent Rineau 794d6cf1af
Update ccpp.yml 2019-09-20 13:34:25 +02:00