Project

General

Profile

Actions

Feature #10046

closed

run make check on every pull request

Added by Loïc Dachary over 9 years ago. Updated over 9 years ago.

Status:
Resolved
Priority:
Normal
Assignee:
Category:
-
Target version:
-
% Done:

100%

Source:
other
Tags:
Backport:
Reviewed:
Affected Versions:
Pull request ID:

Description

And report back on the success / failure, with the logs attached for debugging. The suggested approach is to define a jenkins job that would leverage a github plugin to watch the pull request queue. The slaves would run make check after pulling the necessary dependencies, which may require an automated setup of the same kind as gitbuilder. Care should also be taken to encapsulate the run in a virtual machine / container that protects the infrastructure from code injection.

This ticket was open as the result of an IRC discussion between Alfredo Deza and Loic Dachary.

Actions

Also available in: Atom PDF