From f83982ca887f51cf902cd3fffa0b1e7c2dd88b5c Mon Sep 17 00:00:00 2001
From: Michael Zhang <iptq@protonmail.com>
Date: Thu, 4 Jun 2020 04:24:56 -0500
Subject: [PATCH] create builds.yml

---
 .builds.yml | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 .builds.yml

diff --git a/.builds.yml b/.builds.yml
new file mode 100644
index 0000000..5c9a6d2
--- /dev/null
+++ b/.builds.yml
@@ -0,0 +1,11 @@
+image: archlinux
+packages:
+  - opam
+sources:
+  - https://git.sr.ht/~iptq/logical-foundations
+tasks:
+  - setup: |
+      opam install coq=8.8.1
+  - build: |
+      cd logical-foundations
+      make