-
-
Notifications
You must be signed in to change notification settings - Fork 196
94 lines (84 loc) · 3.08 KB
/
pretext-cli.yml
File metadata and controls
94 lines (84 loc) · 3.08 KB
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
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
# (delete the above line to manage this file manually)
# commented out because we're not using this but ptx generates it automatically.
# name: PreTeXt-CLI Actions
# on:
# # Runs on pull requests
# pull_request:
# branches: ["*"]
# # Runs on pushes to main
# push:
# branches: ["main"]
# # Runs on demand
# workflow_dispatch:
# jobs:
# build:
# runs-on: ubuntu-latest
# container: oscarlevin/pretext:full
# steps:
# - name: Checkout source
# uses: actions/checkout@v4
# - name: install deps
# run: pip install -r requirements.txt
# - name: build deploy targets
# run: pretext build --deploys
# - name: stage deployment
# run: pretext deploy --stage-only
# - name: Bundle output/stage as artifact
# uses: actions/upload-artifact@v4
# with:
# name: deploy
# path: output/stage
# deploy-cloudflare:
# runs-on: ubuntu-latest
# needs: build
# if: vars.CLOUDFLARE_PROJECT_NAME != ''
# permissions:
# contents: read
# deployments: write
# steps:
# - name: Download artifact
# uses: actions/download-artifact@v4
# with:
# name: deploy
# path: deploy
# - name: Create 404.html
# run: echo "404 page not found" >> deploy/404.html
# - name: Publish to Cloudflare
# uses: cloudflare/pages-action@v1
# with:
# apiToken: ${{ secrets.CLOUDFLARE_API_TOKEN }}
# accountId: ${{ secrets.CLOUDFLARE_ACCOUNT_ID }}
# projectName: ${{ vars.CLOUDFLARE_PROJECT_NAME }}
# gitHubToken: ${{ secrets.GITHUB_TOKEN }}
# branch: ${{ github.head_ref || github.ref_name }}
# directory: deploy
# deploy-ghpages:
# runs-on: ubuntu-latest
# needs: build
# if: vars.PTX_ENABLE_DEPLOY_GHPAGES == 'yes' && github.ref == format('refs/heads/{0}', github.event.repository.default_branch)
# permissions:
# contents: read
# pages: write
# id-token: write
# concurrency:
# group: "page"
# cancel-in-progress: false
# environment:
# name: github-pages
# url: ${{ steps.deployment.outputs.page_url }}
# steps:
# - name: Download website artifact
# uses: actions/download-artifact@v4
# with:
# name: deploy
# path: deploy
# - name: Setup GitHub Pages
# id: check
# uses: actions/configure-pages@v4
# - name: Upload artifact
# uses: actions/upload-pages-artifact@v3
# with:
# path: deploy
# - name: Deploy to Github Pages
# id: deployment
# uses: actions/deploy-pages@v4