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

61 Commits

Author SHA1 Message Date
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 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
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