Alex
|
9074ad93c6
build: harden workflow permissions
|
vor 2 Jahren |
Eli Schwartz
|
01c8205864
github workflows: upgrade actions/checkout to version 3
|
vor 1 Jahr |
Stone Tickle
|
71ea9e3d4c
add man page generation to build
|
vor 2 Jahren |
Jussi Pakkanen
|
475b8b1ad8
Merge pull request #9377 from mensinda/jsonDocs
|
vor 2 Jahren |
Christian Clauss
|
a5020857f3
Fix typos discovered by codespell
|
vor 3 Jahren |
Daniel Mensinger
|
0eec5480fb
docs: Also check on pull-requests
|
vor 2 Jahren |
Daniel Mensinger
|
2ab5620769
docs: GitHub Action up the JSON docs
|
vor 2 Jahren |
Xavier Claessens
|
9d3e9c43cc
ci: Add comment to not forget updating wrapdb rules
|
vor 3 Jahren |
Daniel Mensinger
|
de32802ee4
docs: Fix the GitHub action
|
vor 3 Jahren |
Daniel Mensinger
|
cab77b0e4c
ci: Use GitHub concurrency
|
vor 3 Jahren |
Jon Turney
|
1ab0694556
CI: Don't try to update website in a forked repository
|
vor 3 Jahren |
Xavier Claessens
|
4dec7dbb71
ci: Automatically update website when pushing to master
|
vor 3 Jahren |