Skip to content

Commit

Permalink
Repository: updated description badges
Browse files Browse the repository at this point in the history
  • Loading branch information
ppaulweber committed Jun 4, 2021
1 parent cccae03 commit cca8bc2
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion README.org
Original file line number Diff line number Diff line change
Expand Up @@ -45,7 +45,7 @@

* libcasm-ir: CASM Intermediate Representation Library

[[https://gitter.im/casm-lang/libcasm-ir][https://img.shields.io/badge/gitter-chat-darkcyan.svg?logo=gitter]]
[[https://github.com/casm-lang/casm/discussions/categories/q-a][https://img.shields.io/badge/discussion-Q&A-blue.svg?logo=github]]
[[https://github.com/casm-lang/libcasm-ir/actions?query=workflow%3Abuild][https://github.com/casm-lang/libcasm-ir/workflows/build/badge.svg]]
[[https://github.com/casm-lang/libcasm-ir/actions?query=workflow%3Anightly][https://github.com/casm-lang/libcasm-ir/workflows/nightly/badge.svg]]
[[https://codecov.io/gh/casm-lang/libcasm-ir][https://codecov.io/gh/casm-lang/libcasm-ir/badge.svg]]
Expand Down

0 comments on commit cca8bc2

Please sign in to comment.