Initialize coure project

2026-08-01 17:17:57 +00:00
commit f2e8da3ac5
24 changed files with 1520 additions and 0 deletions
@@ -0,0 +1,68 @@
+# This file was automatically generated with PreTeXt 2.45.0.
+# If you modify this file, PreTeXt will no longer automatically update it.
+#
+
+name: Build and Deploy
+on:
+  # Currently, this workflow only runs when manually selected (the `workflow_dispatch` event).
+  # If you would like it to run on other events, uncomment some of the lines below.
+
+  # # Runs on pull requests
+  # pull_request:
+  #     branches: ["*"]
+
+  # # Runs on pushes to main
+  # push:
+  #     branches: ["main"]
+
+  # # Runs every day at 00:00 UTC
+  # schedule:
+  #     - cron: '0 0 * * *'
+
+  # Runs on demand
+  workflow_dispatch:
+
+permissions:
+  contents: write
+
+jobs:
+  build-and-deploy:
+    runs-on: ubuntu-latest
+    container: oscarlevin/pretext-full
+
+    steps:
+      - name: Checkout source
+        uses: actions/checkout@v4
+
+      - name: set up node
+        uses: actions/setup-node@v4
+        with:
+          node-version: '22'
+
+      - name: add gh-cli
+        run: |
+          apt-get update
+          apt-get install gh jq -y
+
+      - name: setup git config
+        run: |
+          git config --global --add safe.directory $(pwd)
+          git config user.name "${{ github.actor }} via GitHub Actions"
+          git config user.email "${{ github.actor }}@github_actions.no_reply"
+
+      - name: install deps
+        run: pip install -r requirements.txt --break-system-packages
+
+      - name: install local ptx files
+        run: pretext --version
+
+      - name: build deploy targets
+        run: pretext build --deploys
+
+      - name: run deploy
+        run: pretext deploy --no-push
+
+      - name: push gh-pages branch
+        run: git push origin gh-pages --force
+        env:
+          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}