TMP: Test for intermittent CI failure... - #400

Closed

oscarbenjamin wants to merge 17 commits into

flintlib:mainfrom

oscarbenjamin:pr_debug_test

Commits on Jun 15, 2026

TMP: Test for intermittent CI failure...
oscarbenjamin
committed
8696f45
remove cancel-in-progress
oscarbenjamin
committed
66840dd
remove concurrency block
oscarbenjamin
committed
77c5f11
Add C version to test crash
oscarbenjamin
committed
e2823ef
Add C file
oscarbenjamin
committed
0063065
random change - trigger 1
oscarbenjamin
committed
c05d8f1
random change - trigger 2
oscarbenjamin
committed
ae9366d
random change 3
oscarbenjamin
committed
88c7571
remove many CI jobs
oscarbenjamin
committed
3306fac
remove more CI jobs
oscarbenjamin
committed
41995b1
fix GA workflow
oscarbenjamin
committed
9d10d42
Add prints
oscarbenjamin
committed
d413c00
simplify test program
oscarbenjamin
committed
6ff054e
remove unnecessary steps
oscarbenjamin
committed
937b5fd
Use FLINT main branch in doctest
oscarbenjamin
committed
46c3bac
Use FLINT 3.5.0
oscarbenjamin
committed
93aeba4
add back removed steps
oscarbenjamin
committed
a151d92