这是indexloc提供的服务,不要输入任何密码
Skip to content

Preemption

Preemption #25015

Workflow file for this run

# CYBERSECURITY WARNING: DO NOT give workflows write permission to any source code repo.
# If you want this functionality, ask for help from a subset of:
# @jvanburen @glittershark @mshinwell
name: ocamlformat
on:
push:
branches:
- main
pull_request:
types: [opened, synchronize, reopened, labeled, unlabeled]
jobs:
check:
name: check (${{ matrix.system }})
runs-on: ${{ matrix.os }}
strategy:
matrix:
include:
- system: x86_64-linux
os: warp-ubuntu-latest-x64-32x
steps:
- name: Checkout the OxCaml repo
uses: actions/checkout@master
- name: Checkout the parent branch
run: git fetch origin HEAD --deepen 1
- name: Pretend we're running in a container (makes setup-ocaml go faster)
run: sudo touch /.dockerenv
# makes setup-ocaml skip apt-get, which is slow on first invocation
- name: Set up Opam
uses: ocaml/setup-ocaml@v3
with:
ocaml-compiler: oxcaml-ci-deps.5.2.0
opam-repositories: |
local: file://${{ github.workspace }}/tools/ci/local-opam
default: https://github.com/ocaml/opam-repository.git
opam-disable-sandboxing: true
opam-pin: false
- name: 'Check for the "skip 80ch" PR tag'
if: ${{ contains( github.event.pull_request.labels.*.name, 'skip 80ch') }}
run: echo SKIP_80CH=y >> "$GITHUB_ENV"
- name: Check OCaml Formatting
run: opam exec -- bash tools/ci/actions/check-fmt.sh