diff options
| author | Nadrieril | 2020-12-18 20:24:04 +0000 |
|---|---|---|
| committer | GitHub | 2020-12-18 20:24:04 +0000 |
| commit | 66f79507ae5877d23ddd376b0b5cc7af5f2347bc (patch) | |
| tree | e07ea03282ba93da3de8b678bb2e17f62dbe3c30 /dhall/src/operations/kind.rs | |
| parent | 970a68e13628ef5fc11be598a56b80020f0522e8 (diff) | |
| parent | 4ba0b8f7be9f6f2d89121a757cdc391be384e6ea (diff) | |
Merge pull request #205 from Nadrieril/audits
Enable automatic audit checks in CI
Diffstat (limited to 'dhall/src/operations/kind.rs')
0 files changed, 0 insertions, 0 deletions