FilesExpand file tree

 main

/

github-pages.yaml

Copy path

View runs

Blame

More file actions

Blame

More file actions

Latest commit

 

History

History

History

73 lines (66 loc) · 2.08 KB

 main

/

github-pages.yaml

Copy path

Top

File metadata and controls

• Code
• Blame

73 lines (66 loc) · 2.08 KB

Raw

Copy raw file

Download raw file

Open symbols panel

Edit and raw actions

1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16

17

18

19

20

21

22

23

24

25

26

27

28

29

30

31

32

33

34

35

36

37

38

39

40

41

42

43

44

45

46

47

48

49

50

51

52

53

54

55

56

57

58

59

60

61

62

63

64

65

66

67

68

69

70

71

72

73

name: Deploy Documentation to Github Pages

on:

# Runs on pushes targeting the 1.0.x branch

push:

branches:

- main

tags:

- "v*.*.*" # updates the version in the docs

# Allows you to run this workflow manually from the Actions tab

workflow_dispatch:

permissions: {}

# Allow only one concurrent deployment, skipping runs queued between

# the run in-progress and latest queued.

# However, do NOT cancel in-progress runs as we want to allow

# these production deployments to complete.

concurrency:

group: "pages"

cancel-in-progress: false

# Default to bash

defaults:

run:

shell: bash

jobs:

# Build job

build:

if: github.repository == 'prometheus/client_java'

runs-on: ubuntu-24.04

steps:

- uses: actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd # v6

with:

persist-credentials: false

fetch-tags: "true"

fetch-depth: 0

- uses: jdx/mise-action@5228313ee0372e111a38da051671ca30fc5a96db # v3.6.3

with:

version: v2026.2.24

sha256: c6e8b1abbd02d4beb7f38c98174e647b4ae40e89422465bc3b49e48c0bdf9ba9

cache: "false"

- name: Setup Pages

id: pages

uses: actions/configure-pages@983d7736d9b0ae728b81ab479565c72886d7745b # v5

- name: Build GitHub Pages

run: mise run build-gh-pages

env:

BASE_URL: "${{ steps.pages.outputs.base_url }}/"

- name: Upload artifact

uses: actions/upload-pages-artifact@7b1f4a764d45c48632c6b24a0339c27f5614fb0b # v4

with:

path: ./docs/public

# Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages

# Deployment job

deploy:

if: github.repository == 'prometheus/client_java'

permissions:

contents: read

pages: write

id-token: write

environment:

name: github-pages

url: ${{ steps.deployment.outputs.page_url }}

runs-on: ubuntu-24.04

needs: build

steps:

- name: Deploy to GitHub Pages

id: deployment

uses: actions/deploy-pages@d6db90164ac5ed86f2b6aed7e0febac5b3c0c03e # v4