Lukas Stevens (Nov 25 2020 at 14:47): Lukas Stevens (Nov 25 2020 at 14:47):Is it possible to ignore the timeout when using isabelle build?
Manuel Eberl (Nov 25 2020 at 14:48):you might be able to override it with -o perhaps?
Lukas Stevens (Nov 25 2020 at 14:54):Yep, -o timeout=123 seems to doesn't work.
Lukas Stevens (Nov 25 2020 at 15:27):@Manuel Eberl On a related note, how can I only build non-slow sessions of the afp?
Manuel Eberl (Nov 25 2020 at 15:30):uuh no idea
Fabian Huch (Nov 25 2020 at 15:31):-X slow
Fabian Huch (Nov 25 2020 at 15:33):And you probably want to exclude very_slow (and maybe large)
Last updated: Nov 03 2025 at 20:24 UTC