mirror of
https://github.com/doctrine/orm.git
synced 2026-03-23 22:42:18 +01:00
DDC-3726: [GH-1401] Remove HHVM-nightly builds #4573
Reference in New Issue
Block a user
Delete Branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Originally created by @doctrinebot on GitHub (May 5, 2015).
Originally assigned to: @Ocramius on GitHub.
Jira issue originally created by user @doctrinebot:
This issue is created automatically through a Github pull request on behalf of stof:
Url: https://github.com/doctrine/doctrine2/pull/1401
Message:
hhvm-nightly is not available anymore on Travis because HHVM dropped support for Ubuntu Precise, which is still used by Travis.
This avoids creating useless jobs in the matrix which are killed by Travis from the start.
@doctrinebot commented on GitHub (May 5, 2015):
@doctrinebot commented on GitHub (May 5, 2015):
Comment created by @doctrinebot:
A related Github Pull-Request [GH-1401] was assigned:
https://github.com/doctrine/doctrine2/pull/1401
@doctrinebot commented on GitHub (May 5, 2015):
Comment created by @doctrinebot:
A related Github Pull-Request [GH-1401] was labeled:
https://github.com/doctrine/doctrine2/pull/1401
@doctrinebot commented on GitHub (May 5, 2015):
Comment created by @doctrinebot:
A related Github Pull-Request [GH-1401] was merged:
https://github.com/doctrine/doctrine2/pull/1401
@doctrinebot commented on GitHub (May 5, 2015):
Issue was closed with resolution "Fixed"