mirror of
https://github.com/roc-lang/roc.git
synced 2025-10-03 08:34:33 +00:00
back to normal CI
This commit is contained in:
parent
1dddd18541
commit
a46ba3886a
2 changed files with 2 additions and 2 deletions
2
.github/workflows/ci_manager.yml
vendored
2
.github/workflows/ci_manager.yml
vendored
|
@ -1,5 +1,5 @@
|
|||
on:
|
||||
#pull_request:
|
||||
pull_request:
|
||||
|
||||
name: CI manager
|
||||
|
||||
|
|
|
@ -1,5 +1,5 @@
|
|||
on:
|
||||
pull_request:
|
||||
#pull_request:
|
||||
workflow_dispatch:
|
||||
schedule:
|
||||
- cron: '0 9 * * *'
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue