Commit Graph

4 Commits

Author SHA1 Message Date
david 77254a9c1a Update Github CI configuration 2022-05-09 12:22:05 +02:00
david 267cdb89c6 Fix concurrency bug while testing 2022-05-09 12:19:45 +02:00
david 8d0f656155 Use custom tarpaulin Github action with taskwarrior 2022-05-09 12:19:43 +02:00
david 2327ae5ccd Setup Github actions 2022-05-09 12:19:40 +02:00