`build/pkgs/flint/spkg-configure.m4`: Reject broken FLINT package on homebrew #12708

Sign in to view logs

Triggered via pull request May 18, 2024 14:39

opened #38021

mkoeppe:flint_configure_padic_types

Status Success

Total duration 4m 37s

Artifacts –

lint.yml

on: pull_request