ci: push: cleanup, don't run a second time in master

This commit is contained in:
Simon Michael 2022-03-26 08:54:41 -10:00
parent 59c70d9369
commit 8ad7dc41b0

View File

@ -1,15 +1,17 @@
# Runs after notable pushes to the branches listed below. (Failure does not prevent the push.) # Runs after notable pushes to the branches listed below. Failure does not prevent the push.
# Builds unoptimised on x64 linux and runs functional tests, using the GHC version(s) enabled below. # master is configured to require a successful CI check, which should be one of the enabled
# When master is configured to require a successful CI check, the process is # matrix plans below (it is shown in github UI as "build (810, ..." eg). So the process is:
# 1. push to a personal test branch, listed below, # 1. push new commits to a personal test branch listed below (simon)
# 2. wait for this check to succeed, then # 2. wait for this check to succeed, then
# 3. push the same commits to master. # 3. push the same commits to master, which will now allow it.
# Builds unoptimised on x64 linux and runs functional tests, using the GHC version(s) enabled below.
name: push CI name: push CI
on: on:
push: push:
branches: [ master, simon ] branches: [ simon ]
paths: paths:
- '.github/workflows/push.yml' - '.github/workflows/push.yml'
- 'stack*.yaml' - 'stack*.yaml'