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,56 @@ 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
+        with:
+          fetch-depth: 0
+
+      - run: |
+          git config --global user.email "[email protected]"
+          git config --global user.name "Your Name"
+          git switch -c branch
+
+      - 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"
+          cd fm-workspace/fmdeps/elpi
+          git remote add this file://$E/
+          git remote update this
+          git merge this/branch
+          
+      - run: |
+          cd fm-workspace/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 || (git checkout origin/br-master builtin-doc/coq-builtin.elpi && git add builtin-doc/coq-builtin.elpi && git add . && git merge --continue -m 'ci')
+          git show HEAD
+
+
+      - run: |
+          cd fm-workspace
+          eval $(opam env)
+          dune build fmdeps/cpp2v-core/rocq-bluerock-prelude/theories/elpi/
+
+
+
+                  
+