Skip to content

Instantly share code, notes, and snippets.

@ethomson
Last active March 30, 2021 00:42
Show Gist options
  • Save ethomson/9befd0258967e0a3006295b149792c84 to your computer and use it in GitHub Desktop.
Save ethomson/9befd0258967e0a3006295b149792c84 to your computer and use it in GitHub Desktop.
name: CI
on:
push:
branches:
- master
pull_request:
branches:
- master
jobs:
build:
name: Publish
runs-on: ubuntu-latest
steps:
- name: Build
run: |
make && make test
- name: Publish Documentation
run: |
scripts/publish.sh
env:
PUBLISH_TOKEN: ${{ secrets.PUBLISH_TOKEN }}
if: github.repository == 'ethomson/project' && github.event_name == 'push'
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment