Limit the duration of Docker build #13
Loading…
x
Reference in New Issue
Block a user
No description provided.
Delete Branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
We cannot use the node forever, so we have to limit ourselves:
This seems to be what we need: https://oar.imag.fr/docs/2.5/user/usecases.html#testing-the-checkpointing-trigger-mechanism
so wrapping in a bash script the call to ecg might be good enough :)
i think i can do this one and #12 at the same time (and maybe even #16)