GitHub repository: JonasHoefer/agda-ci-test
Primary language: Agda
Created: 2020-05-14T10:12:23Z
Description: Repository to test an Agda CI Pipeline using GutHub actions