https://github.com/erikmd/docker-coq-travis-ci-demo-2

Docker-Coq + Travis CI demo 2
https://github.com/erikmd/docker-coq-travis-ci-demo-2

ci coq docker-coq dockerfile travis-ci

Last synced: 17 days ago
JSON representation

Docker-Coq + Travis CI demo 2

• Host: GitHub
• URL: https://github.com/erikmd/docker-coq-travis-ci-demo-2
• Owner: erikmd
• License: bsd-3-clause
• Created: 2018-10-31T23:31:15.000Z (about 6 years ago)
• Default Branch: master
• Last Pushed: 2020-03-20T00:19:27.000Z (almost 5 years ago)
• Last Synced: 2024-11-06T07:44:08.571Z (2 months ago)
• Topics: ci, coq, docker-coq, dockerfile, travis-ci
• Language: Dockerfile
• Homepage: https://github.com/coq-community/docker-coq/wiki/CI-setup
• Size: 9.77 KB
• Stars: 1
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# docker-coq-travis-ci-demo-2

[![Build Status](https://travis-ci.com/erikmd/docker-coq-travis-ci-demo-2.svg?branch=master)](https://travis-ci.com/erikmd/docker-coq-travis-ci-demo-2)

Demo of [Docker-Coq](https://hub.docker.com/r/coqorg/coq/) + [Travis CI](./.travis.yml).