Skip to content

chore: fix naming of List.Subset lemmas (#4868) #17

chore: fix naming of List.Subset lemmas (#4868)

chore: fix naming of List.Subset lemmas (#4868) #17

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@v4
- name: actionlint
uses: raven-actions/actionlint@v1
with:
pyflakes: false # we do not use python scripts