.gitlab-ci.yml · c3aab4a50fc6b4ea6641b69c831a38cec639f24f · Justin Andresen / haskell-to-coq-compiler · GitLab

Skip to content

GitLab

Explore

Sign in

haskell-to-coq-compiler
.gitlab-ci.yml

Blame Permalink

Dec 17, 2019
78eb1a33

Run deploy CI job on protected branches and tags only · 78eb1a33
Justin Andresen authored Dec 17, 2019

78eb1a33

Run deploy CI job on protected branches and tags only
Justin Andresen authored Dec 17, 2019

Loading