diff options
author | Jakob Unterwurzacher | 2021-07-29 12:12:49 +0200 |
---|---|---|
committer | Jakob Unterwurzacher | 2021-07-29 12:36:05 +0200 |
commit | 6f0ed4b8c400cd53ccb42eb83c52ead483646b78 (patch) | |
tree | 7e2e90890b15f09ce675b64bbff6801cdcc629fc /contrib/cleanup-tmp-mounts.sh | |
parent | db81614cd660372c836e8c5b1cf975d0df5dbbd0 (diff) |
github ci: Add Github Actions CI
Add Github Actions and delete defunct Travis CI.
Diffstat (limited to 'contrib/cleanup-tmp-mounts.sh')
0 files changed, 0 insertions, 0 deletions