You are viewing a plain text version of this content. The canonical link for it is here.

Posted to notifications@couchdb.apache.org by GitBox <gi...@apache.org> on 2023/01/18 04:08:16 UTC

[GitHub] [couchdb] nickva commented on pull request #4380: chore(configure): be more defensive about SpiderMonkey location

nickva commented on PR #4380:
URL: https://github.com/apache/couchdb/pull/4380#issuecomment-1386457446

   I extracted the commit which modified the `Jenkinsfile.pr` into a separate PR to allow this PR to run in the CI again https://github.com/apache/couchdb/pull/4383


-- 
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.

To unsubscribe, e-mail: notifications-unsubscribe@couchdb.apache.org

For queries about this service, please contact Infrastructure at:
users@infra.apache.org