v1.0.2

1.0.2 (2020-12-13)

Continuous Integration

• gitlab-ci: disable test stage to speed up GitLab CI testing (b64c06c)
• gitlab-ci: update commitlint to work with coqbot (2b8cbb2)

Documentation

• readme: make minor adjustment to test PR GitLab pipeline (342e140)