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