com doc/de: Enhancement: Build documentation on GitHub Actions: .github/workflows/integrate.yaml

[email protected] (Christoph Michael Becker)
Newsgroups php.doc.de
Message-ID <[email protected]>
Commit:    a301fcb30d9a03b630905db30cabfe1f51f52fba
Author:    Andreas Möller <[email protected]>         Wed, 30 Dec 2020 23:16:29 +0100
Committer: Christoph M. Becker <[email protected]>      Sun, 24 Jan 2021 22:50:52 +0100
Parents:   8915ab624887036fe467fc5cd43aa478f0771657
Branches:  master

Link:       http://git.php.net/?p=doc/de.git;a=commitdiff;h=a301fcb30d9a03b630905db30cabfe1f51f52fba

Log:
Enhancement: Build documentation on GitHub Actions

Closes GH-2.

Changed paths:
  A  .github/workflows/integrate.yaml


Diff:
diff --git a/.github/workflows/integrate.yaml b/.github/workflows/integrate.yaml
new file mode 100644
index 000000000..5da570e62
--- /dev/null
+++ b/.github/workflows/integrate.yaml
@@ -0,0 +1,43 @@
+# https://docs.github.com/en/actions
+
+name: "Integrate"
+
+on:
+  pull_request: null
+  push:
+    branches:
+      - "master"
+
+jobs:
+  build:
+    name: "Build"
+
+    runs-on: "ubuntu-latest"
+
+    strategy:
+      matrix:
+        language:
+          - "de"
+
+    steps:
+      - name: "Checkout php/doc-${{ matrix.language }}"
+        uses: "actions/checkout@v2"
+        with:
+          path: "${{ matrix.language }}"
+          repository: "php/doc-${{ matrix.language }}"
+
+      - name: "Checkout php/doc-en as fallback"
+        if: "matrix.language != 'en'"
+        uses: "actions/checkout@v2"
+        with:
+          path: "en"
+          repository: "php/doc-en"
+
+      - name: "Checkout php/doc-base"
+        uses: "actions/checkout@v2"
+        with:
+          path: "doc-base"
+          repository: "php/doc-base"
+
+      - name: "Build documentation for ${{ matrix.language }}"
+        run: "php8.0 doc-base/configure.php --disable-libxml-check --enable-xml-details --redirect-stderr-to-stdout --with-lang=${{ matrix.language }}"
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.