mirror of
https://github.com/subsurface/subsurface.git
synced 2025-02-19 22:16:15 +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
|