Merge PR #17798: add ATBR plugin to CI

Reviewed-by: SkySkimmer
Co-authored-by: SkySkimmer <[email protected]>

Author: coqbot-app[bot]

.gitlab-ci.yml

@@ -839,6 +839,9 @@ library:ci-coq_library_undecidability:
 plugin:ci-aac_tactics:
   extends: .ci-template-flambda
 
+plugin:ci-atbr:
+  extends: .ci-template-flambda
+
 plugin:ci-itauto:
   extends: .ci-template
 

Makefile.ci

@@ -12,6 +12,7 @@ CI_TARGETS= \
     ci-itauto \
     ci-aac_tactics \
     ci-argosy \
+    ci-atbr \
     ci-autosubst \
     ci-bbv \
     ci-bedrock2 \

dev/ci/ci-atbr.sh

@@ -0,0 +1,15 @@
+#!/usr/bin/env bash
+
+set -e
+
+ci_dir="$(dirname "$0")"
+. "${ci_dir}/ci-common.sh"
+
+git_download atbr
+
+if [ "$DOWNLOAD_ONLY" ]; then exit 0; fi
+
+( cd "${CI_BUILD_DIR}/atbr"
+  make
+  make install
+)

dev/ci/ci-basic-overlay.sh

@@ -305,6 +305,11 @@ project stdlib2 "https://github.com/coq/stdlib2" "master"
 ########################################################################
 project argosy "https://github.com/mit-pdos/argosy" "master"
 
+########################################################################
+# ATBR
+########################################################################
+project atbr "https://github.com/coq-community/atbr" "master"
+
 ########################################################################
 # perennial
 ########################################################################