summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorSanto Cariotti <santo@dcariotti.me>2020-11-18 19:29:09 +0100
committerSanto Cariotti <santo@dcariotti.me>2020-11-18 19:29:09 +0100
commit10f9156f6283101f5f8abac5640fbc48a7ff2616 (patch)
tree5fdd17b67eb8b11fca2b2e24b00dac4e9a13017c /.gitignore
parent79b4ef49a60a01ea631e33bd54fe7b45f4cfd63e (diff)
ci: use cargo nightly for coverageHEADmaster
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions