ci: push: cleanup
This commit is contained in:
parent
e61216ac24
commit
59c70d9369
11
.github/workflows/push.yml
vendored
11
.github/workflows/push.yml
vendored
@ -1,7 +1,9 @@
|
||||
# Runs on notable pushes to master.
|
||||
# Builds incrementally and unoptimised on x64 linux and runs functional tests,
|
||||
# using the GHC version below (8.10.7).
|
||||
# Build/test failure does not block 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.
|
||||
# When master is configured to require a successful CI check, the process is
|
||||
# 1. push to a personal test branch, listed below,
|
||||
# 2. wait for this check to succeed, then
|
||||
# 3. push the same commits to master.
|
||||
|
||||
name: push CI
|
||||
|
||||
@ -45,6 +47,7 @@ jobs:
|
||||
# - { ghc: "88" , stack: "stack --stack-yaml=stack8.8.yaml" }
|
||||
- { ghc: "810" , stack: "stack --stack-yaml=stack8.10.yaml" }
|
||||
# - { ghc: "90" , stack: "stack --stack-yaml=stack.yaml" }
|
||||
# - { ghc: "92" , stack: "stack --stack-yaml=stack9.2.yaml" }
|
||||
|
||||
steps:
|
||||
|
||||
|
||||
Loading…
Reference in New Issue
Block a user