search

coq-community / docker-coq-action

GitHub Action using Docker-Coq [maintainers=@erikmd,@Zimmi48]
MIT License
12 stars 4 forks source link

docs: Mention the typical header of build.yml #67

Open erikmd opened 3 years ago

erikmd commented 3 years ago

We should probably document in the README that a standard phrasing for .github/workflows/build.yml is:

name: Docker-Coq CI

on:
  push:
    branches:
      - master
  pull_request:
    branches:
      - '**'

jobs:
  build:
    (…)