16 Commits (b7e94d2ea00025a5e444ac9589043a4cfacd81b3)

Author SHA1 Message Date
Nirbheek Chauhan cc0332288a ci: Update to checkout@v4 to squelch node warnings 4 months ago
Eli Schwartz 2edcbb452e
CI: trigger website job when testing modifications to the website job 1 year ago
Eli Schwartz 9153b82cc2
CI: add pip caching to website job 1 year ago
Eli Schwartz f3635ff50d
avoid re-uploading the docs when a PR is based on the upstream repo 2 years ago
Alex 9074ad93c6 build: harden workflow permissions 2 years ago
Eli Schwartz 01c8205864
github workflows: upgrade actions/checkout to version 3 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