GitHub repository: prooftechnique/circe-proptics
Primary language: Scala
Description: CI for https://codeberg.org/prooftechnique/circe-proptics