Is it possible to ignore the timeout when using isabelle build
?
you might be able to override it with -o
perhaps?
Yep, -o timeout=123
seems to doesn't work.
@Manuel Eberl On a related note, how can I only build non-slow sessions of the afp?
uuh no idea
-X slow
And you probably want to exclude very_slow
(and maybe large
)
Last updated: Dec 07 2024 at 16:22 UTC