singa-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From GitBox <>
Subject [GitHub] [singa] chrishkchris edited a comment on pull request #740: Fix linting error by changing repeated file names
Date Thu, 18 Jun 2020 11:53:18 GMT

chrishkchris edited a comment on pull request #740:

   Now this CI no longer detect seg fault

   but others PRs might need to use something like "git pull --rebase" in order to get rid
of the seg fault, becuase CI uses PR branch code instead of merged code 

This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.

For queries about this service, please contact Infrastructure at:

View raw message