Run 23.0 on Travis

[kostis]

No description provided.

[codecov-io]

Codecov Report

Merging #252 into master will increase coverage by 0.09%.
The diff coverage is n/a.

@@            Coverage Diff             @@
##           master     #252      +/-   ##
==========================================
+ Coverage   86.55%   86.65%   +0.09%     
==========================================
  Files          13       13              
  Lines        3206     3206              
==========================================
+ Hits         2775     2778       +3     
+ Misses        431      428       -3     

Impacted Files	Coverage Δ
src/proper_arith.erl	91.66% <0.00%> (-1.05%)	⬇️
src/proper.erl	87.59% <0.00%> (-0.16%)	⬇️
src/proper_typeserver.erl	79.79% <0.00%> (-0.12%)	⬇️
src/proper_types.erl	95.09% <0.00%> (+0.32%)	⬆️
src/proper_statem.erl	94.67% <0.00%> (+1.90%)	⬆️

---

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update a13dd1a...79ff82e. Read the comment docs.