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

101 Commits

Author SHA1 Message Date
Maxime Gimeno ddf5ff6600 more fixes 2021-07-30 11:12:23 +02:00
Maxime Gimeno 3fe1cef92a more fix 2021-07-30 11:04:49 +02:00
Maxime Gimeno e1e77563f7 fix address 2021-07-30 10:17:08 +02:00
Maxime Gimeno a945067ae6 fix error text 2021-07-30 09:59:04 +02:00
Maxime Gimeno 9e01da635d FIX result of first job 2021-07-30 09:51:37 +02:00
Maxime Gimeno 6419ac9470 Fix typo 2021-07-29 15:43:51 +02:00
Maxime GIMENO 0eb5ee618d
Update .github/workflows/build_doc.yml 
Co-authored-by: Laurent Rineau <Laurent.Rineau@cgal.org>
 2021-07-29 15:06:07 +02:00
Maxime Gimeno f57715bb28 FIx force-build 2021-07-29 14:56:38 +02:00
Maxime Gimeno 5072518a3d add a force-build command to overwrite a round 2021-07-29 14:31:10 +02:00
Maxime Gimeno 8743865c52 add error messages for other exit 1 cases 2021-07-29 14:03:04 +02:00
Laurent Rineau bea0196064 Merge pull request #5773 from maxGimeno/CI-Fix_doc_building-maxGimeno 
Fix path to tmp.log
 2021-06-16 15:04:40 +02:00
Maxime Gimeno a7ad6602e0 Fix path to tmp.log 2021-06-09 09:30:13 +02:00
Laurent Rineau dcc6ef2d51 Merge pull request #5717 from maxGimeno/Documentation_build-report_errors-maxGimeno 
Documentation in github: Report issues in doxygen
 2021-05-19 17:23:17 +02:00
Maxime Gimeno 35bbd7831e If there was a problem in doc_with_postprocessing, stop the process qand post a comment with the issues 2021-05-17 15:20:34 +02:00
Sébastien Loriot 39367c2313 Merge remote-tracking branch 'cgal/5.2.x-branch' 2021-04-17 11:14:29 +02:00
Maxime Gimeno e161f47c46 Add the package itself to the list, and not only the content of package_info/dependencies 2021-04-09 09:31:23 +02:00
Maxime GIMENO 39ddd8fabf
Update .github/workflows/build_doc.yml 
Co-authored-by: Laurent Rineau <Laurent.Rineau@cgal.org>
 2021-01-27 15:11:29 +01:00
Maxime Gimeno 9e97e67562 commit the new index.html 2021-01-27 14:31:02 +01:00
Maxime Gimeno a353ecbf2d Force pyquery 1.4.1 2020-11-27 10:39:39 +01:00
Maxime Gimeno ba353257fb Add apt-get update 2020-11-27 09:53:40 +01:00
Maxime Gimeno c53a53bebf test that directory exists before trying to copy it. 2020-10-28 14:39:25 +01:00
Maxime Gimeno 6e0565e07c Clone after build to limit the risks of conflicts with several simultaneous runs 2020-10-28 14:20:32 +01:00
Maxime Gimeno c53d5819b1 Filter out Installation, as it doesn't produce a doc. 2020-10-28 13:58:51 +01:00
Maxime Gimeno f8f31a531a Fix git diff and stop workflow if no pkg is impacted by the branch 2020-10-28 13:13:51 +01:00
Maxime Gimeno c16b45ade6 Fix git diff 2020-10-28 11:35:00 +01:00
Maxime Gimeno 5765a203ff Fix auto doc scripts 2020-10-28 11:08:24 +01:00
Maxime Gimeno 3f6207e311 Changes after review 2020-10-27 08:43:55 +01:00
Maxime Gimeno 95a09c8a3d commit amend and force push to keep history as small as possible 2020-10-26 14:30:02 +01:00
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
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 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 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 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 7c89ed508a Add a workflow to build and upload the doc on a pull_request 2020-09-09 11:18:51 +02:00