diff options
author | Robin Krahl <robin.krahl@ireas.org> | 2019-01-23 16:39:24 +0100 |
---|---|---|
committer | Robin Krahl <robin.krahl@ireas.org> | 2019-01-23 16:47:12 +0100 |
commit | a290dcccc5e52bb853d6bb475bca9376c22f98f3 (patch) | |
tree | 6b24a2456645b80076b589aa74e25b04bb051fc9 /.gitignore | |
parent | fdb7bac3063e62776bfc13f184cf786da19f42d1 (diff) | |
download | nitrokey-rs-a290dcccc5e52bb853d6bb475bca9376c22f98f3.tar.gz nitrokey-rs-a290dcccc5e52bb853d6bb475bca9376c22f98f3.tar.bz2 |
Move format checks into lint build
While we want to test the code on multiple platforms and with different
configurations, it is sufficient to execute the linting once. Therefore
we move the formatting checks into a new lint build.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions