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

Support PRs from other repos #3

Closed ncough closed 6 years ago

ncough commented 6 years ago

This change adds support for testing PRs from other repos. GitHub provides access to these PRs through pull/ddd/head. Fetching these allows existing worker behaviour to merge the desired commit.

ncough commented 6 years ago

This was discussed in: https://github.com/CakeML/cakeml/pull/451

xrchz commented 6 years ago

If this indeed works that's pretty cool! Very small change.

michaelsproul commented 6 years ago

I just deployed this change on one of the workers and it picked up @larsrh's PR https://github.com/CakeML/cakeml/pull/453 without issue! https://cakeml.org/regression.cgi/job/211

Nice work @ncough :)