Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for continuous integration docker coq
continuous-integration
x
docker-coq
x
1 search results found
Docker Coq
⭐
32
Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action [maintainers=@erikmd,@himito]
Docker Coq Action
⭐
12
GitHub Action using Docker-Coq [maintainers=@erikmd,@Zimmi48]
Docker Coq Github Action Demo
⭐
5
Demo of a regular Coq project using docker-coq-action as CI setup
Related Searches
Javascript Continuous Integration (2,028)
Docker Continuous Integration (1,740)
Python Continuous Integration (1,586)
Shell Continuous Integration (1,477)
Testing Continuous Integration (1,071)
Golang Continuous Integration (976)
Php Continuous Integration (964)
Dockerfile Continuous Integration (546)
C Continuous Integration (149)
Bash Continuous Integration (112)
1-1 of 1 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.