summaryrefslogtreecommitdiff
path: root/.github/workflows/website.yml
AgeCommit message (Expand)Author
2023-08-18CI: trigger website job when testing modifications to the website jobEli Schwartz
2023-08-18CI: add pip caching to website jobEli Schwartz
2023-05-01avoid re-uploading the docs when a PR is based on the upstream repoEli Schwartz
2022-11-30build: harden workflow permissionsAlex
2022-11-28github workflows: upgrade actions/checkout to version 3Eli Schwartz
2022-01-06add man page generation to buildStone Tickle
2021-10-24Merge pull request #9377 from mensinda/jsonDocsJussi Pakkanen
2021-10-10Fix typos discovered by codespellChristian Clauss
2021-10-09docs: Also check on pull-requestsDaniel Mensinger
2021-10-09docs: GitHub Action up the JSON docsDaniel Mensinger
2021-10-06ci: Add comment to not forget updating wrapdb rulesXavier Claessens
2021-10-03docs: Fix the GitHub actionDaniel Mensinger
2021-09-04ci: Use GitHub concurrencyDaniel Mensinger
2021-06-11CI: Don't try to update website in a forked repositoryJon Turney
2021-06-02ci: Automatically update website when pushing to masterXavier Claessens