search

CakeML / regression

Regression testing infrastructure for CakeML
https://cakeml.org/regression.cgi
GNU General Public License v3.0
3 stars 8 forks source link

Force workers to connect to the server via IPv4 #9

Closed michaelsproul closed 6 years ago

michaelsproul commented 6 years ago

This is a workaround for some issues that we've had with IPv6 connections to the regression server

(I've got this running on the CSIRO regression servers, and I think we should merge it if it proves effective)

xrchz commented 6 years ago

I'm hoping to resolve the IPv6 issues soon, and would rather the workers use it after that. So ideally this won't need to be merged, but I'm glad you have it working in the interim!