Skip to content

Merge branch 'master' into lagrangian #24

Merge branch 'master' into lagrangian

Merge branch 'master' into lagrangian #24

name: Lint Toolchain
on: [push, pull_request, workflow_dispatch]
jobs:
lint-toolchain:
name: Lint Toolchain
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- name: MFC Python setup
run: ./mfc.sh init
- name: Lint the toolchain
run: ./mfc.sh lint