Trevor Gross 01c5888246 ci: Make CI configuration more similar to libm ... Apply a handful of changes to reduce the diff between the two: * Cancel running jobs on new pushes * Enable log color and backtraces * Add timeouts * Specify CI runner versions * Add an armv7 job * Replace the name NO_STD with BUILD_ONLY * Update the extension to the canonical .yaml * Set AR_ and CC_ environments in docker * Install requirements to build MPFR		2025-04-18 23:49:29 -04:00
..
Dockerfile	ci: Make CI configuration more similar to libm	2025-04-18 23:49:29 -04:00