Skip to content

Drop a dead context #62

Drop a dead context

Drop a dead context #62

Workflow file for this run

name: CI
on:
# workflow_dispatch:
pull_request:
push:
branches:
- main
# This allows a subsequently queued workflow run to interrupt previous runs
concurrency:
group: '${{ github.workflow }} @ ${{ github.event.pull_request.head.label || github.head_ref || github.ref }}'
cancel-in-progress: true
jobs:
syntax_tests:
name: Syntax tests
runs-on: "ubuntu-latest"
timeout-minutes: 10
if: "! startsWith(github.event.pull_request.title, 'Scope names:')"
steps:
- uses: actions/checkout@v3
- uses: actions/setup-python@v4
with:
python-version: '3.10'
- uses: docker/setup-buildx-action@v2
- name: Build and cache syntest
# though the cache is evicted after 7 days
uses: docker/build-push-action@v3
with:
context: .
file: ./tests/docker/syntest.dockerfile
tags: syntest
cache-from: type=gha,scope=main
cache-to: type=gha,scope=main,mode=max
load: true
- name: Run syntax tests
run: tests/syntax.py
highlight_regression_tests:
name: Highlight regression tests
runs-on: "ubuntu-latest"
timeout-minutes: 10
if: "! startsWith(github.event.pull_request.title, 'Scope names:')"
steps:
- uses: actions/checkout@v3
- name: Run highlight regression tests
run: tests/highlight_regression.sh
theme_regression_tests:
name: Theme regression tests
runs-on: "ubuntu-latest"
timeout-minutes: 10
steps:
- uses: actions/checkout@v3
- name: Run theme regression tests
run: tests/theme_regression.sh