Commit Graph

19 Commits

Author SHA1 Message Date
Yinglei Zhu
492430e994 docs: fix placeholder links and docs workflow deprecations (#515) 2026-04-14 17:31:20 +03:00
Oleg Kalachev
924a6c60da Change documentation domain 2026-04-07 15:43:10 +03:00
Oleg Kalachev
8ca24ea293 Update deprecated actions 2025-06-19 12:13:25 +03:00
Oleg Kalachev
4e4dfc1f07 Update checkout action to v4
checkout@v2 is deprecated
2024-06-12 03:37:28 +03:00
Oleg Kalachev
e31b69a790 Add possibility to trigger workflows manually 2024-01-22 01:35:52 +03:00
Oleg Kalachev
d6101dc0a3 ci: add secret variable to temporarily freeze updating docs website 2023-04-12 01:34:34 +03:00
Oleg Kalachev
72f8d901d5 ci: set cancel-in-progress only for deploy job not the whole docs wf 2022-11-10 20:04:05 +06:00
Oleg Kalachev
596a7276ac Update docs job runner to ubuntu 22.04
https://github.com/actions/runner-images/issues/6002
2022-08-19 00:02:22 +03:00
Oleg Kalachev
a2d984272b Deploy docs using build artifacts instead of gh-pages branch (#452)
https://github.blog/changelog/2021-12-16-github-pages-using-github-actions-for-builds-and-deployments-for-public-repositories/
2022-08-18 18:17:30 +03:00
Oleg Kalachev
f1215347f6 ci: fix 2022-04-25 12:45:16 +04:00
Oleg Kalachev
da92aea727 actions: try to build pdfs even if GITBOOK_SKIP_PDF is set 2022-04-05 05:22:11 +04:00
Oleg Kalachev
de2467acb1 actions: secret for skipping building docs pdf 2022-03-30 03:04:10 +04:00
Oleg Kalachev
e7eae1c02d ci: cancel previous docs builds to avoid publishing old site 2022-01-25 19:12:47 +03:00
Oleg Kalachev
b249524828 Use markdownlint-cli@0.28.1 as of https://github.com/DavidAnson/markdownlint/issues/435 2021-10-05 16:33:38 +03:00
Oleg Kalachev
921084504e Make gitbook installation script
commit f83207848fafa302d6385f4814386c433aeb9686
Author: Oleg Kalachev <okalachev@gmail.com>
Date:   Wed Jun 23 17:35:01 2021 +0300

    Make gitbook installation script
2021-06-23 19:00:32 +03:00
Oleg Kalachev
37f2c78b36 CI: shorten names 2021-06-18 00:56:16 +03:00
Oleg Kalachev
6b0bb41564 CI: push documentation site to the main repo 2021-05-29 06:11:29 +03:00
Oleg Kalachev
563e5acad6 CI: change apt to apt-get 2021-05-29 05:31:29 +03:00
Oleg Kalachev
bcc2e86e6f CI: split up to several workflows 2021-05-29 05:27:20 +03:00