ci: job for bluerock.io

Author: gares

.github/workflows/users.yml

@@ -8,8 +8,8 @@ on:
     branches: [ master ]
 
 jobs:
-    test-users:
-        name: "test users"
+    test-users-mc:
+        name: "test users: math-comp"
         runs-on: ubuntu-latest
         env:
           OPAMWITHTEST: true
@@ -39,3 +39,41 @@ jobs:
         - run: opam pin --ignore-constraints-on elpi add rocq-mathcomp-algebra https://github.com/math-comp/math-comp.git#master
         - run: opam pin --ignore-constraints-on elpi add rocq-mathcomp-solvable https://github.com/math-comp/math-comp.git#master
         - run: opam pin --ignore-constraints-on elpi add rocq-mathcomp-field https://github.com/math-comp/math-comp.git#master
+
+    test-users-br:
+      name: "test users: bluerock.io"
+      runs-on: ubuntu-latest
+      env:
+        OPAMWITHTEST: true
+        OPAMVERBOSE: true
+      steps:
+      - uses: actions/checkout@v4
+
+      - run: |
+          sudo apt-get install swi-prolog libclang-dev
+          curl -fsSL https://opam.ocaml.org/install.sh > install-opam.sh
+          chmod a+x install-opam.sh
+          yes '' | ./install-opam.sh 
+          opam init --bare --disable-sandboxing
+
+      - run: |
+          git clone https://github.com/bluerock-io/fm-workspace.git
+          cd fm-workspace
+          ./setup-fmdeps.sh -p
+
+      - run: |
+          E="$PWD"
+          git switch -c branch
+          cd fm-workspace
+          (cd fmdeps/elpi     && git remote add this file://$E/ && git remote update this && git merge this/branch)
+          (cd fmdeps/coq-elpi && git remote add this https://github.com/LPCIC/coq-elpi.git && git remote update this && && git merge this/fix-elpi-3.0)
+
+      - run: |
+          cd fm-workspace
+          eval $(opam env)
+          dune build fmdeps/cpp2v-core/rocq-bluerock-prelude/theories/elpi/
+
+
+
+                  
+