Commit graph

8 commits

Author SHA1 Message Date
Cheng XU
4080a6f5b0 fix github action 2021-02-04 21:52:25 +01:00
Christoph Herzog
d9807329af Re-enable valgrind on CI 2021-02-04 20:49:17 +01:00
Christoph Herzog
96898df6d4 ci: rustfmt/clippy are not needed on Windows 2020-05-27 09:53:46 +02:00
Cheng XU
c8681ba45a ci: test win 2020-05-27 09:53:46 +02:00
Christoph Herzog
13a6ae5fee Improve CI job setup 2020-05-25 16:45:53 +02:00
Cheng XU
2e0ee4da4d fix CI 2020-04-13 11:54:10 +02:00
Christoph Herzog
65cf630c15 docs: Add Github Actions badge, remove old ones 2019-10-02 19:35:49 +02:00
Christoph Herzog
b028bd6b10 ci: Switch to Github Actions 2019-10-02 19:16:19 +02:00