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 |
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 |