;ci: disable weekly scheduled builds
They also run in forks, which I don't want.
This commit is contained in:
parent
66cb349998
commit
dae7b352dd
11
.github/workflows/binaries-mac-x64.yml
vendored
11
.github/workflows/binaries-mac-x64.yml
vendored
@ -1,12 +1,17 @@
|
||||
# Runs on any push to ci-mac, and weekly on master.
|
||||
# Runs on any push to ci-mac.
|
||||
# Produces optimised mac binaries and runs unit/doc/functional tests,
|
||||
# using the default stack.yaml's GHC version.
|
||||
|
||||
name: binaries-mac-x64
|
||||
|
||||
on:
|
||||
schedule:
|
||||
- cron: "0 07 * * 0" # sunday midnight pacific
|
||||
# Avoid, because these run in all forks also.
|
||||
# jobs:
|
||||
# job_id:
|
||||
# if: github.event.pull_request.head.repo.full_name == github.repository
|
||||
# schedule:
|
||||
# - cron: "0 07 * * 0" # sunday midnight pacific
|
||||
|
||||
push:
|
||||
branches: [ binaries-mac-x64, binaries ]
|
||||
workflow_dispatch:
|
||||
|
||||
8
.github/workflows/binaries-windows-x64.yml
vendored
8
.github/workflows/binaries-windows-x64.yml
vendored
@ -1,4 +1,4 @@
|
||||
# Runs on any push to ci-windows, and weekly on master.
|
||||
# Runs on any push to ci-windows.
|
||||
# Produces optimised windows binaries,
|
||||
# using the default stack.yaml's GHC version.
|
||||
# Currently runs no tests.
|
||||
@ -8,8 +8,10 @@
|
||||
name: binaries-windows-x64
|
||||
|
||||
on:
|
||||
schedule:
|
||||
- cron: "0 07 * * 0" # sunday midnight pacific
|
||||
# Avoid, because these run in all forks also.
|
||||
# schedule:
|
||||
# - cron: "0 07 * * 0" # sunday midnight pacific
|
||||
|
||||
push:
|
||||
branches: [ binaries-windows-x64, binaries ]
|
||||
workflow_dispatch:
|
||||
|
||||
6
.github/workflows/ci.yml
vendored
6
.github/workflows/ci.yml
vendored
@ -12,6 +12,12 @@ on:
|
||||
# On this schedule, it runs in master.
|
||||
# schedule:
|
||||
# - cron: "0 07 * * 0" # sunday midnight pacific
|
||||
# Avoid, because these run in all forks also.
|
||||
# Possible workaround; does it prevent wasteful startups ?
|
||||
# https://github.com/orgs/community/discussions/26409#discussioncomment-3251818
|
||||
# jobs:
|
||||
# job_id:
|
||||
# if: github.event.pull_request.head.repo.full_name == github.repository
|
||||
|
||||
# When there's a push to the ci branch, it runs there.
|
||||
# After passing there it can be merged/pushed to master.
|
||||
|
||||
Loading…
Reference in New Issue
Block a user