URL that when loaded runs worker --refresh

CakeML / regression

Regression testing infrastructure for CakeML

https://cakeml.org/regression.cgi

GNU General Public License v3.0

3 stars 8 forks source link

Open myreen opened 1 month ago

myreen commented 1 month ago

It would be convenient if there was URL one could visit to cause a worker refresh to run.

xrchz commented 1 month ago

Would this be still required if we solved #1 instead?

myreen commented 1 month ago

Would this be still required if we solved #1 instead?

No. Thanks for looking into this!