mirror of
https://github.com/Z3Prover/z3
synced 2025-09-29 20:59:01 +00:00
Change MSVC Clang-CL build trigger to scheduled
Updated workflow to trigger on a schedule instead of push and pull_request events.
This commit is contained in:
parent
01da267988
commit
9a91ba1955
1 changed files with 2 additions and 2 deletions
|
@ -1,8 +1,8 @@
|
|||
name: MSVC Clang-CL Static Build
|
||||
|
||||
on:
|
||||
push:
|
||||
pull_request:
|
||||
schedule:
|
||||
- cron: '0 0 */2 * *'
|
||||
|
||||
permissions:
|
||||
contents: read # to fetch code (actions/checkout)
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue