Skip to content

Fix: use simpler GraphQL query when only ID is needed. #161

Fix: use simpler GraphQL query when only ID is needed.

Fix: use simpler GraphQL query when only ID is needed. #161

Workflow file for this run

name: Deploy
on:
push:
branches:
- master
jobs:
build:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- name: Build release Docker image
run: docker build -f release.Dockerfile . -t coqbot
- uses: akhileshns/[email protected]
with:
heroku_api_key: ${{secrets.HEROKU_API_KEY}}
heroku_app_name: coqbot
heroku_email: ${{secrets.HEROKU_EMAIL}}
usedocker: true