Skip to content
This repository has been archived by the owner on Sep 22, 2022. It is now read-only.

Chore CI #4

Open
wants to merge 10 commits into
base: master
Choose a base branch
from
Open

Chore CI #4

wants to merge 10 commits into from

Conversation

carrascomj
Copy link
Contributor

Closes #3

Description

A Continuous Integration workflow with clippy, fmt, build and test.

Implementation

In order to comply with clippy. a lot of lines were changed. Most of it is stylistic but #float_cmp required some additions to helpers.rs.

@carrascomj carrascomj changed the title Chore ci Chore CI Nov 11, 2020
@carrascomj
Copy link
Contributor Author

Friendly pinging @ztlpn, let me know if you prefer me to split this PR in clippy fixes and CI, or just remove clippy from the CI and approach the clippy part in the future. I realize that the clippy stuff scaled pretty quickly.

Also, it is not at all urgent for me, so take your time, I know people are busy in these times.

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Set up CI
1 participant