CHERIoT-Platform / cheriot-sail

Sail code model of the CHERIoT ISA
Other
34 stars 9 forks source link

Use the sail container for builds (hopefully faster)! #62

Closed davidchisnall closed 4 months ago

davidchisnall commented 4 months ago

Adding LaTeX adds around 40 seconds to the container deployment time, which saves time here but costs it in the dev container, so I've made a second container image that includes the LaTeX bits. This one is built from the first, so they share the same layers for the sail bits.