search

seL4 / seL4-CAmkES-L4v-dockerfiles

Dockerfiles defining the dependencies required to build seL4, CAmkES, and L4v.
13 stars 40 forks source link

update base snapshot date #75

Closed lsf37 closed 6 months ago

lsf37 commented 6 months ago

Update base snapshot date to make manual builds closer to most recent CI. This should not affect CI builds since these set the snapshot date from the command line.

Eventually CI should bump this automatically after successful deployment.

lsf37 commented 6 months ago

The toggle_snapshot command that is used in the scripts changes these comments depending on what kind of build it is.