use Project.toml, update travis configuration, handle change to Base.is_id_start_char #78

tanmaykm · 2019-12-23T04:46:38Z

move to Project.toml
update travis configuration, add recent Julia versions, fix coverage
update valid command detection, need to check for : separately, as that is not part of Base.is_id_start_char anymore (fixes How to terminate server process? #77)

need to check for `:` separately, as that is not part of `Base.is_id_start_char` anymore.

tanmaykm added 2 commits December 23, 2019 09:53

move to Project.toml, update travis configuration

075c348

update valid command detection

f6d00da

need to check for `:` separately, as that is not part of `Base.is_id_start_char` anymore.

tanmaykm changed the title ~~move to Project.toml, update travis configuration~~ use Project.toml, update travis configuration, handle change to Base.is_id_start_char Dec 23, 2019

tanmaykm added 2 commits December 23, 2019 11:24

fix travis config for coverage reports

7e5f859

use Julia Logger for reporting exception traces

4e20136

tanmaykm merged commit f7494a7 into master Dec 23, 2019

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

use Project.toml, update travis configuration, handle change to Base.is_id_start_char #78

use Project.toml, update travis configuration, handle change to Base.is_id_start_char #78

tanmaykm commented Dec 23, 2019 •

edited

Loading

use Project.toml, update travis configuration, handle change to Base.is_id_start_char #78

use Project.toml, update travis configuration, handle change to Base.is_id_start_char #78

Conversation

tanmaykm commented Dec 23, 2019 • edited Loading

tanmaykm commented Dec 23, 2019 •

edited

Loading