FilesExpand file tree

develop

/

build_and_deploy.yml

Copy path

View runs

Blame

More file actions

Blame

More file actions

Latest commit

 

History

History

History

73 lines (68 loc) · 2.43 KB

develop

/

build_and_deploy.yml

Copy path

Top

File metadata and controls

• Code
• Blame

73 lines (68 loc) · 2.43 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: build_and_deploy

on:

push:

branches-ignore:

- master

# edgcpp/compiler triggers this (on develop) when doc/ changes on its main

# branch, to republish https://edgcpp.org/dev/doc/.

workflow_dispatch:

# Serialize runs (replaces the CircleCI eddiewebb/queue orb).

concurrency:

group: build_and_deploy

cancel-in-progress: false

env:

# Tag of edgcpp/compiler whose documentation is published at

# https://edgcpp.org/doc/. Bump this to publish a newer release's docs.

# The documentation for its main branch is published at

# https://edgcpp.org/dev/doc/.

COMPILER_DOC_REF: '7.0'

jobs:

test:

runs-on: ubuntu-latest

steps:

- uses: actions/checkout@v5

- name: Build compiler documentation

run: |

.github/scripts/build-compiler-docs.sh "$COMPILER_DOC_REF" doc

.github/scripts/build-compiler-docs.sh main dev/doc

- uses: ruby/setup-ruby@v1

with:

ruby-version: '4.0'

bundler-cache: true

- run: bundle exec jekyll build

deploy:

needs: test

if: github.ref == 'refs/heads/develop'

runs-on: ubuntu-latest

permissions:

contents: write

steps:

- uses: actions/checkout@v5

- name: Build compiler documentation

run: |

.github/scripts/build-compiler-docs.sh "$COMPILER_DOC_REF" doc

.github/scripts/build-compiler-docs.sh main dev/doc

- uses: ruby/setup-ruby@v1

with:

ruby-version: '4.0'

bundler-cache: true

- run: bundle exec jekyll build

- name: Deploy to master

run: |

COMMIT_MESSAGE="$(git log -1 --pretty=%B)"

# Unlike the old CircleCI deploy (which preserved .circleci/ so CI

# config stayed on master), .github/ is intentionally NOT kept:

# GITHUB_TOKEN is not allowed to push workflow files, and the

# workflow ignores master anyway.

find . -maxdepth 1 ! -name '_site' ! -name '.git' -exec rm -rf {} \;

mv _site/* .

rm -r _site/

# Serve master as-is. Without this, GitHub Pages runs Jekyll over it

# again, which drops the documentation's _static/ and _sources/

# directories.

touch .nojekyll

git config --global user.name "GitHub Actions"

git config --global user.email "actions@edgcpp.org"

git add .

git commit --allow-empty -m "$COMMIT_MESSAGE"

git push -f origin HEAD:master