Started 4 yr 1 mo ago
Took 1 hr 26 min

Build #31 (Jan 31, 2020, 11:19:25 AM)

Build Artifacts
Changes
  1. Now allows user to use pipe notation in the search bar. Fixed usage of (details / githubweb)
  2. Fixed edge case in the filtering mechanism: when filter string is empty. (details / githubweb)
Changes
  1. Now allows user to use pipe notation in the search bar. Fixed usage of (details / githubweb)
  2. Fixed edge case in the filtering mechanism: when filter string is empty. (details / githubweb)

Push event to branch Pharo9.0 at 11:19:18 AM on Jan 31, 2020

Revision: 036744f88625bf18c5d6411ef0f43f6b406847ad
Repository: https://github.com/pharo-project/pharo.git
  • Pharo9.0
Test Result (3 failures / +2)