gbdev/rgbds
1
0
Fork 0
mirror of https://github.com/gbdev/rgbds.git synced 2025-12-04 16:57:47 +00:00
Code Issues Packages Projects Releases Wiki Activity
1,385 Commits 3 Branches 49 Tags
421d1f54900b4549a9457b87c621fb75446e6734
Commit Graph

3 Commits

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