datajoint / datajoint-docs-original

https://docs.datajoint.org
Other
2 stars 13 forks source link

Fix inaccurate docs in `.aggr()` with `median()` and other non MySQL operations #268

Closed ttngu207 closed 2 years ago

ttngu207 commented 3 years ago

Fix #253

CBroz1 commented 2 years ago

@guzman-raphael - Do you know why the publish-release check was skipped? Should we hold off merging pending the full set of tests?

guzman-raphael commented 2 years ago

@CBroz1 It was skipped because we don't publish the docs until the PR is merged. This is evident based on this and this:

on:
  pull_request:
  push:
    tags:
      - '*.*.*'
...
  publish-release:
    if: github.event_name == 'push'
    needs: build
    runs-on: ubuntu-latest

Following merge and a tagging event, it should automatically trigger a redeploy that will publish the new docs.