update the CI configuration and add markdown badges (#75)

3 files changed
tree: b3153f0c5aa06792338c63c90cead7725ed7d5d4
  1. pkgs/