Skip to content

Merge branch 'main' of github.com:nevermined-io/app_docs #157

Merge branch 'main' of github.com:nevermined-io/app_docs

Merge branch 'main' of github.com:nevermined-io/app_docs #157

Workflow file for this run

name: Run algolia docsearch
on:
push:
branches:
- main
- 'ci/docsearch'
jobs:
docsearch:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- name: Setup environment
run: |
echo "APPLICATION_ID=$APPLICATION_ID" >> .env
echo "API_KEY=$API_KEY" >> .env
chmod +x ./bin/crawl.sh
env:
APPLICATION_ID: ${{ secrets.ALGOLIA_DOCSEARCH_APP_ID }}
API_KEY: ${{ secrets.ALGOLIA_DOCSEARCH_API_KEY }}
- name: Run docsearch
continue-on-error: true
run: |
./bin/crawl.sh