misc worker improvements

CakeML / regression

Regression testing infrastructure for CakeML

https://cakeml.org/regression.cgi

GNU General Public License v3.0

3 stars 8 forks source link

Closed sorear closed 4 years ago

sorear commented 4 years ago

README tells people to build the container instead of using a 2 year old prebuilt
Updated OS base
Run builds as a normal user (and unlikely to match a host user)
Pull hostname at container start time so that it can be set per-container
Do git setup automatically
Pin a polyml version (TBD if this is a working version, but we can change it later)

sorear commented 4 years ago

Cleaned up Dockerfile and added a README note.

sorear commented 4 years ago

We have confirmation that the Dockerfile on the original PR works: https://cakeml.org/regression.cgi/job/1357

Rebuilt oven3s -> oven3s2 using the new Dockerfile so https://cakeml.org/regression.cgi/job/1362 will tell us in three days if I broke anything.

xrchz commented 4 years ago

I'm happy to merge - @agomezl any concerns?

agomezl commented 4 years ago

All good