Linting

Bump FLINT to 3.4.0 #720

Sign in to view logs

Triggered via pull request March 23, 2026 17:25

synchronize #380

oscarbenjamin:pr_bump_flint_34

Status Success

Total duration 27s

Artifacts –

lint.yml

on: pull_request

Matrix: lint