Linting

Bump FLINT to 3.4.0 #688

Sign in to view logs

Triggered via pull request March 10, 2026 16:35

opened #376

oscarbenjamin:pr_flint35

Status Success

Total duration 26s

Artifacts –

lint.yml

on: pull_request

Matrix: lint