From 0a12dac40b557f77220ddebb51d8e851a2c3c528 Mon Sep 17 00:00:00 2001
From: Devan Carpenter <devan@taler.net>
Date: Wed, 7 Jun 2023 11:53:49 -0400
Subject: CI: intial CI setup

add ci directory with 3 basic jobs.
---
 ci/jobs/2-docs/job.sh | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100755 ci/jobs/2-docs/job.sh

(limited to 'ci/jobs/2-docs/job.sh')

diff --git a/ci/jobs/2-docs/job.sh b/ci/jobs/2-docs/job.sh
new file mode 100755
index 000000000..a72bca4ba
--- /dev/null
+++ b/ci/jobs/2-docs/job.sh
@@ -0,0 +1,6 @@
+#!/bin/bash
+set -exuo pipefail
+
+job_dir=$(dirname "${BASH_SOURCE[0]}")
+
+"${job_dir}"/docs.sh
-- 
cgit v1.2.3