ISSOtm
|
62b4f2b264
|
Upgrade to checkout action v3
No code changes, just uses Node 16 instead of the
deprecated Node 12
|
2022-11-13 14:33:03 +01:00 |
|
ISSOtm
|
80a62a8a03
|
Update CI target OSes
Remove platforms deprecated by GitHub Actions
Add new platforms supported by the same
|
2022-10-02 02:50:38 -04:00 |
|
ISSOtm
|
74c31f7c0f
|
Update docs CI workflows to sync with new rgbds-www repo
|
2022-05-17 18:36:31 +02:00 |
|
ISSOtm
|
7e94ecbfe6
|
Move all man pages to a separate directory
Simplifies processing all around, and makes more sense
|
2022-05-15 13:34:35 +02:00 |
|
Rangi
|
3bea7930a9
|
Only update documentation for gbdev/rgbds
Prevent the relevant GitHub Actions from running on forks
|
2021-04-18 16:16:17 -04:00 |
|
ISSOtm
|
5406674cdd
|
Install groff to build PDFs correctly in CI
|
2021-03-20 02:09:47 +01:00 |
|
ISSOtm
|
5a6a44cbc1
|
Fix master documentation updater
Its path was not synced with a recent change
|
2021-03-10 01:15:51 +01:00 |
|
ISSOtm
|
fd83d46ba0
|
Enable master docs update workflow always
There seems to be no way to make the check work, and Actions are disabled
in forks by default anyways.
|
2020-10-11 02:04:09 +02:00 |
|
ISSOtm
|
be8ebe6db9
|
Fix master docs update CI script
GitHub documentation about the syntax is unclear, this should be right
according to the examples I saw.
|
2020-09-24 16:41:23 +02:00 |
|
ISSOtm
|
431f77127e
|
Also update master docs when updating script
|
2020-09-22 01:05:49 +02:00 |
|
ISSOtm
|
2cc58723cb
|
Do not try updating docs if no key is set
This will avoid this randomly failing in forks, unless we want to run it
|
2020-09-22 00:56:14 +02:00 |
|
ISSOtm
|
7e5d9683b1
|
Use mandoc 1.14.5 in CI
This is the version that added -Otoc
|
2020-09-15 19:24:25 +02:00 |
|
ISSOtm
|
0cc9026978
|
Fix docs update action
Make script executable (facepalm)
Fix `run**s**-on` typo
Add key using ssh-agent
Force using SSH for pushing back
|
2020-09-15 15:57:20 +02:00 |
|
ISSOtm
|
0ffda1bf29
|
Add CI Action to update man pages from master
|
2020-09-15 15:00:07 +02:00 |
|