Alex
|
9074ad93c6
|
build: harden workflow permissions
Signed-off-by: Alex <aleksandrosansan@gmail.com>
|
2 years ago |
Eli Schwartz
|
01c8205864
|
github workflows: upgrade actions/checkout to version 3
This is a no-op change, but github complains that nodejs is outdated if
you don't. It's not obvious why this required a major version bump...
|
2 years ago |
Stone Tickle
|
71ea9e3d4c
|
add man page generation to build
|
3 years ago |
Christian Clauss
|
a5020857f3
|
Fix typos discovered by codespell
|
3 years ago |
Daniel Mensinger
|
0eec5480fb
|
docs: Also check on pull-requests
|
3 years ago |
Daniel Mensinger
|
2ab5620769
|
docs: GitHub Action up the JSON docs
|
3 years ago |
Xavier Claessens
|
9d3e9c43cc
|
ci: Add comment to not forget updating wrapdb rules
|
3 years ago |
Daniel Mensinger
|
de32802ee4
|
docs: Fix the GitHub action
|
3 years ago |
Daniel Mensinger
|
cab77b0e4c
|
ci: Use GitHub concurrency
|
3 years ago |
Jon Turney
|
1ab0694556
|
CI: Don't try to update website in a forked repository
|
4 years ago |
Xavier Claessens
|
4dec7dbb71
|
ci: Automatically update website when pushing to master
|
4 years ago |