https://github.com/scott-fleischman/agda-travis

Example repo for building Agda files with Travis CI
https://github.com/scott-fleischman/agda-travis

agda docker travis-ci

Last synced: 9 months ago
JSON representation

Example repo for building Agda files with Travis CI

• Host: GitHub
• URL: https://github.com/scott-fleischman/agda-travis
• Owner: scott-fleischman
• Created: 2016-09-07T13:42:37.000Z (almost 10 years ago)
• Default Branch: master
• Last Pushed: 2018-08-17T22:14:35.000Z (almost 8 years ago)
• Last Synced: 2025-07-26T19:28:09.714Z (11 months ago)
• Topics: agda, docker, travis-ci
• Language: Agda
• Size: 10.7 KB
• Stars: 7
• Watchers: 1
• Forks: 1
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

          
# agda-travis

Example repo for building Agda files with Travis CI using the [scottfleischman/agda](https://hub.docker.com/r/scottfleischman/agda/) Docker image.

[![Build Status](https://travis-ci.org/scott-fleischman/agda-travis.svg?branch=master)](https://travis-ci.org/scott-fleischman/agda-travis)