Skip to content

Merge pull request #2448 from lf-lang/keepalive #3813

Merge pull request #2448 from lf-lang/keepalive

Merge pull request #2448 from lf-lang/keepalive #3813

Workflow file for this run

# Non-target-specific tests
name: CI (misc)
on:
schedule:
# * is a special character in YAML so you have to quote this string
- cron: '0 8 * * 6'
workflow_dispatch:
push:
branches:
- master
pull_request:
types: [synchronize, opened, reopened, ready_for_review, converted_to_draft]
merge_group:
env:
# 2020.11
vcpkgGitRef: 0bf3923f9fab4001c00f0f429682a0853b5749e0
concurrency:
group: all-non-target-specific-${{ github.ref }}-${{ github.event_path }}
cancel-in-progress: ${{ github.ref != 'refs/heads/master' }}
jobs:
check-diff:
uses: ./.github/workflows/check-diff.yml
# Test the Gradle build.
building:
needs: check-diff
uses: ./.github/workflows/build.yml
with:
all-platforms: ${{ github.event_name == 'schedule' || github.event_name == 'workflow_dispatch' }}
if: ${{ needs.check-diff.outputs.run_build == 'true' }}
# Run tests for the standalone compiler.
cli:
if: ${{ needs.check-diff.outputs.run_misc == 'true' }}
needs: check-diff
uses: ./.github/workflows/cli-tests.yml
with:
all-platforms: ${{ github.event_name == 'schedule' || github.event_name == 'workflow_dispatch' }}
check-labels:
uses: ./.github/workflows/check-labels.yml
if: ${{ github.event_name == 'pull_request' }}