Mirrors/ansible-collection-prometheus
2
0
Fork 0
mirror of https://github.com/prometheus-community/ansible synced 2025-02-16 20:58:26 +00:00
Code Issues Projects Releases Packages Wiki Activity

Merge pull request #77 from gardar/docs-ci-indent

Browse source 
skip_changelog: remove extra spaces in url
This commit is contained in:
gardar 2023-03-21 14:35:57 +00:00 • committed by GitHub
commit e48be8df43
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
.github/workflows/docs-pr.yml vendored
View file

@ -31,8 +31,9 @@ jobs:
init-html-short-title: Prometheus.Prometheus Collection Docs
init-extra-html-theme-options: |
documentation_home_url=https://${{ github.repository_owner }}.github.io/${{ github.event.repository.name }}/branch/main/
render-file-line: '> * `$<status>` [$<path_tail>](https://${{ github.repository_owner }}.github.io/\
${{ github.event.repository.name }}/pr/${{ github.event.number }}/$<path_tail>)'
render-file-line:
'> * `$<status>`
[$<path_tail>](https://${{ github.repository_owner }}.github.io/${{ github.event.repository.name }}/pr/${{ github.event.number }}/$<path_tail>)'
publish-docs-gh-pages:
# for now we won't run this on forks