Add a GitHub badge #336
Description
Motivation
Similar to #259
Summary of desired enhancement
A badge to indicate the use of GitHub CI
{{ message }}
Motivation
Similar to #259
Summary of desired enhancement
A badge to indicate the use of GitHub CI