gbdev/rgbds
1
0
Fork 0
mirror of https://github.com/gbdev/rgbds.git synced 2025-12-05 17:27:48 +00:00
Code Issues Packages Projects Releases Wiki Activity
1,388 Commits 3 Branches 49 Tags
2cc58723cb24c785735f19449f515912118c87c0
Commit Graph

4 Commits

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