Started 1 yr 0 mo ago
Took 1 hr 26 min

Unstable 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
  • Pharo9.0
Test Result (3 failures / +2)