l4v: remove Isabelle2019 components

seL4 / seL4-CAmkES-L4v-dockerfiles

Dockerfiles defining the dependencies required to build seL4, CAmkES, and L4v.

12 stars 39 forks source link

Closed lsf37 closed 2 years ago

lsf37 commented 2 years ago

There are no active branches any more that require Isabelle2019, so we don't need to cache these.

This might solve the disk space problem encountered in #46

lsf37 commented 2 years ago

It seems it does, so we can live with two ghc versions for now. seL4/l4v#490 is updating l4v as well, which should save even more space.