summaryrefslogtreecommitdiff
path: root/.github
diff options
context:
space:
mode:
Diffstat (limited to '.github')
-rw-r--r--.github/workflows/checks.yaml27
-rw-r--r--.github/workflows/manpage.yaml49
2 files changed, 76 insertions, 0 deletions
diff --git a/.github/workflows/checks.yaml b/.github/workflows/checks.yaml
new file mode 100644
index 0000000..882dd2a
--- /dev/null
+++ b/.github/workflows/checks.yaml
@@ -0,0 +1,27 @@
+name: Checks
+
+on: [push]
+
+concurrency:
+ group: '${{ github.ref_name }}-checks'
+ cancel-in-progress: true
+
+jobs:
+ build:
+ strategy:
+ matrix:
+ compiler: [ gcc, clang ]
+
+ name: Build dged with ${{ matrix.compiler }}
+ runs-on: ubuntu-latest
+
+ steps:
+ - uses: actions/checkout@v4
+
+ - name: Install Nix
+ uses: cachix/install-nix-action@v26
+ with:
+ install_url: https://releases.nixos.org/nix/nix-2.18.1/install
+
+ - name: Build
+ run: nix build -L .#${{ matrix.compiler }}
diff --git a/.github/workflows/manpage.yaml b/.github/workflows/manpage.yaml
new file mode 100644
index 0000000..80473e5
--- /dev/null
+++ b/.github/workflows/manpage.yaml
@@ -0,0 +1,49 @@
+name: Manpage
+
+on:
+ - push
+# push:
+# branches:
+# - trunk
+
+jobs:
+ build:
+ runs-on: ubuntu-latest
+ steps:
+ - uses: actions/checkout@v4
+ with:
+ fetch-depth: 0
+
+ - name: Install Nix
+ uses: cachix/install-nix-action@v26
+ with:
+ install_url: https://releases.nixos.org/nix/nix-2.18.1/install
+
+ - name: Build Man Page to HTML
+ run: |
+ mkdir -p dist
+ nix run -L nixpkgs#mandoc -- -T html -O style=mandoc.css ./dged.1 > dist/dged.1.html
+ cp mandoc.css dist/
+
+ - name: Upload Artifact
+ uses: actions/upload-pages-artifact@v3
+ with:
+ path: ./dist/
+
+ deploy:
+ needs: build
+
+ # Grant GITHUB_TOKEN the permissions required to make a Pages deployment
+ permissions:
+ pages: write # to deploy to Pages
+ id-token: write # to verify the deployment originates from an appropriate source
+
+ environment:
+ name: github-pages
+ url: ${{ steps.deployment.outputs.page_url }}
+
+ runs-on: ubuntu-latest
+ steps:
+ - name: Deploy to GitHub Pages
+ id: deployment
+ uses: actions/deploy-pages@v4