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

Add delay to refresh #1

Open myreen opened 6 years ago

myreen commented 6 years ago

This is an attempt at doing one of the TODOs in the TODO file.

The proposed solution is based on a conversation with @xrchz.

xrchz commented 1 week ago

The delay added here would also delay the API server's response, which I think won't work -- the GitHub webhook that calls this, for example, probably needs it to respond fairly quickly.

It may be better to spawn a thread to do the refresh action (with delay) so the main API response can happen right away.