Skip to content
[Jenkins]Jenkins
log in
Success

#5586 (May 7, 2019, 3:05:36 AM)

Started 5 yr 6 mo ago
Took 3 hr 57 min on built-in

Started by timer

Revision: a0a465c2f95e9470c53023c0ad6d3db1d34fd6e2
Repository: git://github.com/OpenIndiana/oi-userland.git
  • refs/remotes/origin/oi/hipster
Changes
  1. Add PHP 7.3.5 (commit: 57aec1e) (details / githubweb)
  2. php-7_3: web/php-73/php-common misses a file (commit: bd10ead) (details / githubweb)
  3. php-7.0-ext-mongodb: update to 1.5.3 (commit: 30fb450) (details / githubweb)
  4. Add PHP 7.3 mongodb extension (commit: a0a465c) (details / githubweb)