Test: CD

Author: shilangyu

.github/workflows/cd.yml

@@ -0,0 +1,47 @@
+name: CD
+
+on:
+  push:
+    tags:
+      - 'v*.*.*'
+
+jobs:
+  publish:
+    runs-on: ubuntu-latest
+    permissions:
+      pull-requests: write
+      actions: write
+
+    steps:
+    - uses: actions/checkout@v5
+
+    - name: Install OCaml
+      uses: ocaml/setup-ocaml@v3
+      with:
+        ocaml-compiler: 5.2.1
+        dune-cache: true
+
+    - name: Install opam-publish
+      run: opam install -y opam-publish=3.0.0
+
+    # - uses: webfactory/ssh-agent@v0.8.0
+    #   with:
+    #       ssh-private-key: ${{ secrets.BOT_SSH_KEY }}
+    #
+    # - name: Write PAT
+    #   env:
+    #     OPAM_PUBLISH_TOKEN: ${{ secrets.OPAM_PUBLISH_TOKEN }}
+    #   run: |
+    #     mkdir -p ~/.opam/plugins/opam-publish
+    #     printf "$OPAM_PUBLISH_TOKEN" > ~/.opam/plugins/opam-publish/vscoqbot.token
+
+    - name: Publish on rocq-released
+      run: |
+        TAG="${{ github.ref_name }}"
+        VERSION="${TAG#v}"
+        # git config --global user.name vscoqbot
+        # git config --global user.email vscoqbot@inria.fr
+        opam publish --no-confirmation --no-browser \
+          --packages-directory=released/packages --repo rocq-prover/opam \
+          --token=${{ secrets.GITHUB_TOKEN }} \
+          --tag $TAG -v $VERSION epfl-systemf/StrictOrderSolver