We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent f2aede6 commit 3f88de4Copy full SHA for 3f88de4
.github/workflows/ci.yaml
@@ -327,6 +327,12 @@ jobs:
327
- ${{ github.workspace }}/../../cache/ivy:/root/.ivy2/cache
328
- ${{ github.workspace }}/../../cache/general:/root/.cache
329
if: "github.event_name == 'schedule' && github.repository == 'lampepfl/dotty'
330
+ || github.event_name == 'push'
331
+ || (
332
+ github.event_name == 'pull_request'
333
+ && !contains(github.event.pull_request.body, '[skip ci]')
334
+ && !contains(github.event.pull_request.body, '[skip community_build]')
335
+ )
336
|| (
337
github.event_name == 'workflow_dispatch'
338
&& github.repository == 'lampepfl/dotty'
0 commit comments