Linting

Bump FLINT to 3.4.0 #719

Sign in to view logs

Triggered via pull request March 23, 2026 17:09

synchronize #380

oscarbenjamin:pr_bump_flint_34

Status Success

Total duration 23s

Artifacts –

lint.yml

on: pull_request

Matrix: lint