Merge pull request #1772 from obophenotype/release-2022-12-15

CL 15 December 2022 release
obophenotype · Dec 15, 2022 · a80b777 · a80b777
2 parents d07d8c6 + e79795c
commit a80b777
Show file tree

Hide file tree

Showing 34 changed files with 83,281 additions and 32,078 deletions.
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
@@ -5,6 +5,9 @@ name: Docs
 on:
  # Allows you to run this workflow manually from the Actions tab
  workflow_dispatch:
+ push:
+ branches:
+ - master
 
 # A workflow run is made up of one or more jobs that can run sequentially or in parallel
 jobs:
@@ -13,7 +16,7 @@ jobs:
  runs-on: ubuntu-latest
  steps:
  - name: Checkout main
- uses: actions/checkout@v3
+ uses: actions/checkout@v2
 
  - name: Deploy docs
  uses: mhausenblas/mkdocs-deploy-gh-pages@master