5857f238adbeffe54cdf91f811441f8f24d25be7 — Andrew Miloradovsky 6 months ago 960accf master
.build.yml: continuous integration for SourceHut
1 files changed, 21 insertions(+), 0 deletions(-)

A .build.yml
A .build.yml => .build.yml +21 -0
@@ 0,0 1,21 @@
+image: alpine/edge
+packages:
+  - coq
+sources:
+  - https://github.com/coq-community/zorns-lemma.git
+  - https://github.com/coq-community/topology.git
+  - https://git.sr.ht/~amiloradovsky/symbolic-dynamics
+tasks:
+  - coq-version: |
+      coqc --version
+  - zorns-lemma: |
+      cd zorns-lemma
+      make all
+  - coq-topology: |
+      cd topology
+      sed -i '2s@^$@-R ../zorns-lemma ZornsLemma@' Make
+      make all
+  - make-fail: |
+      cd symbolic-dynamics
+      coq_makefile -f _CoqProject -o Makefile
+      make all