Skip to content

Add varname tests from DPPL + format repo (#111) #88

Add varname tests from DPPL + format repo (#111)

Add varname tests from DPPL + format repo (#111) #88

Workflow file for this run

name: Format
on:
push:
branches:
- main
pull_request:
branches:
- main
concurrency:
# Skip intermediate builds: always.
# Cancel intermediate builds: only if it is a pull request build.
group: ${{ github.workflow }}-${{ github.ref }}
cancel-in-progress: ${{ startsWith(github.ref, 'refs/pull/') }}
jobs:
format:
runs-on: ubuntu-latest
steps:
- name: Format code
uses: TuringLang/actions/Format@v2