mirror of
https://github.com/subsurface/subsurface.git
synced 2024-12-05 00:21:29 +00:00
6fc8310705
Make multiple improvements to the existing workflows: - create a shared custom action to deal with version number tracking and generation; - use this action to add the branch name to the version for pull request builds; - create a shared workflow for all debian-ish builds to avoid re-use by copy / paste; - remove potential security risks by eliminating the use of pre-evaluated expressions (`${{ ... }}`) inside scripts; - update outdated GitHub action versions; - improve the consistency by renaming scripts acording to have a `.sh` extension; - improve naming of generated artefacts for pull requests to include the correct version. @dirkh: Unfortunately this is potentially going to break builds when it is merged, as there is no good way to 'test' a merge build short of merging. We'll just have to deal with the fallout of it in a follow-up pull request. Signed-off-by: Michael Keller <github@ike.ch>
36 lines
694 B
YAML
36 lines
694 B
YAML
name: Documentation
|
|
|
|
on:
|
|
push:
|
|
branches:
|
|
- master
|
|
paths:
|
|
- Documentation
|
|
- .github/workflows/documentation.yml
|
|
pull_request:
|
|
branches:
|
|
- master
|
|
paths:
|
|
- Documentation
|
|
- .github/workflows/documentation.yml
|
|
|
|
jobs:
|
|
documentation:
|
|
runs-on: ubuntu-22.04
|
|
|
|
steps:
|
|
- name: Install Packages
|
|
run: |
|
|
sudo apt-get -y update
|
|
sudo apt-get -y install asciidoc docbook-xml w3m
|
|
|
|
- name: Checkout Sources
|
|
uses: actions/checkout@v4
|
|
with:
|
|
fetch-depth: 0
|
|
submodules: recursive
|
|
|
|
- name: Process the Documentation
|
|
id: process_documentation
|
|
working-directory: Documentation
|
|
run: make
|