Skip to content

chore: CI looks for nightly-testing-YYYY-MM-DD at Mathlib as either a branch or tag #20

chore: CI looks for nightly-testing-YYYY-MM-DD at Mathlib as either a branch or tag

chore: CI looks for nightly-testing-YYYY-MM-DD at Mathlib as either a branch or tag #20

Workflow file for this run

name: Actionlint
on:
push:
branches:
- 'master'
paths:
- '.github/**'
pull_request:
paths:
- '.github/**'
merge_group:
jobs:
actionlint:
runs-on: ubuntu-latest
steps:
- name: Checkout
uses: actions/checkout@v3
- name: actionlint
uses: raven-actions/actionlint@v1
with:
pyflakes: false # we do not use python scripts