Commit Graph

70 Commits

Author SHA1 Message Date
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
Laurent Rineau ee4b1c2526 Merge pull request #5446 from maxGimeno/diff
Fix CI doc deletion
2021-03-10 10:39:34 +01:00
Maxime Gimeno 7161686c46 fix !git into ! git 2021-02-09 15:00:33 +01: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 fed09ab94a Add push to the demo building triggers 2021-01-15 10:25:13 +01:00
Maxime Gimeno 208ea4bec3 Add push to the demo building triggers 2021-01-15 09:54:15 +01:00
Laurent Rineau fee181b6eb Merge pull request #5299 from maxGimeno/Checks_in_github-maxGimeno
CI: Add Checks in GitHub Actions
2021-01-06 16:04:47 +01:00
Maxime Gimeno f6874b2d31 Add checks for pushes 2020-12-29 14:33:29 +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 8a38d33e08 Only trigger on pull_request for the demo 2020-11-02 11:31:36 +01:00
Maxime Gimeno 2627a5d9bd Restore cmake-all 2020-11-02 11:29:44 +01:00
Maxime Gimeno 7416eea440 Put the actual test part in another script 2020-10-30 15:56:14 +01:00
Maxime Gimeno a06df67327 Factorize installation with a script 2020-10-30 14:51:07 +01:00
Maxime Gimeno 6b1fab13b9 Fixes and boost 1.72 2020-10-30 12:57:11 +01:00
Maxime Gimeno 7f68c7afb3 Try to construct a matrix 2020-10-29 15:24:22 +01:00
Maxime Gimeno 89f77c47da Try new workflow to test demo 2020-10-29 12:36:48 +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 02708a3e6a Fix delete_doc 2020-10-28 13:50:58 +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 902284e45d Same for doc removal 2020-10-26 15:27:09 +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
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