diff options
| author | Emilio Cobos Álvarez <emilio@crisal.io> | 2020-12-23 01:10:12 +0100 |
|---|---|---|
| committer | Emilio Cobos Álvarez <emilio@crisal.io> | 2020-12-26 19:01:53 +0100 |
| commit | fde75f68e701b2f4b52a3655afba612187e20687 (patch) | |
| tree | ff930034a19ef80e4cbd29666532b8faca7ac93c /tests/quickchecking | |
| parent | afa50fa1add6aca654da3fe009258e57f4fcd4f2 (diff) | |
ci: Switch most CI to GitHub actions.
Diffstat (limited to 'tests/quickchecking')
| -rw-r--r-- | tests/quickchecking/.gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tests/quickchecking/.gitignore b/tests/quickchecking/.gitignore new file mode 100644 index 00000000..03314f77 --- /dev/null +++ b/tests/quickchecking/.gitignore @@ -0,0 +1 @@ +Cargo.lock |