Stream: General

Topic: isabelle build: ignore timeout

view this post on Zulip Lukas Stevens (Nov 25 2020 at 14:47):

Is it possible to ignore the timeout when using isabelle build?

view this post on Zulip Manuel Eberl (Nov 25 2020 at 14:48):

you might be able to override it with -o perhaps?

view this post on Zulip Lukas Stevens (Nov 25 2020 at 14:54):

Yep, -o timeout=123 seems to doesn't work.

view this post on Zulip 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?

view this post on Zulip Manuel Eberl (Nov 25 2020 at 15:30):

uuh no idea

view this post on Zulip Fabian Huch (Nov 25 2020 at 15:31):

-X slow

view this post on Zulip Fabian Huch (Nov 25 2020 at 15:33):

And you probably want to exclude very_slow (and maybe large)

Last updated: Dec 21 2024 at 16:20 UTC