Public Repository

Last pushed: 9 months ago
Short Description
Container for compiling coq projects using makefile.
Full Description

For usage in .gitlab-ci.yml do:

image:  fzipi/coq-makefile-build

build:
  stage: build
  script:
     - make
Docker Pull Command
Owner
fzipi

Comments (0)