Open
Description
Either we should create a docker image that can be used for resumption or we should upload a tar of the relevant directories (.opam and the current directory, most likely) that can be used for resumption, and have a slightly different job that can be triggered for resumption based on these archives.
Metadata
Metadata
Assignees
Labels
No labels
Activity