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

Posted to jdo-dev@db.apache.org by GitBox <gi...@apache.org> on 2021/02/25 18:09:15 UTC

[GitHub] [db-jdo-site] tobous opened a new pull request #31: Add site build workflow for pull requests

tobous opened a new pull request #31:
URL: https://github.com/apache/db-jdo-site/pull/31


   Adds a simple site build workflow running only for pull requests. The
   job allows us to check whether a PR breaks the site build before merging
   it.


----------------------------------------------------------------
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:
users@infra.apache.org

[GitHub] [db-jdo-site] tobous merged pull request #31: Add site build workflow for pull requests

Posted by GitBox <gi...@apache.org>.

tobous merged pull request #31:
URL: https://github.com/apache/db-jdo-site/pull/31


   


----------------------------------------------------------------
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:
users@infra.apache.org