Skip to content

fixup! fixup! fixup! WIP: Add GitHub Actions workflows #11

fixup! fixup! fixup! WIP: Add GitHub Actions workflows

fixup! fixup! fixup! WIP: Add GitHub Actions workflows #11

Workflow file for this run

name: "Update Editor's Copy"
on:
push:
branches:
- main
paths-ignore:
- README.md
- CONTRIBUTING.md
- LICENSE.md
- .gitignore
jobs:
build:
permissions:
actions: write
checks: write
contents: write
deployments: write
issues: write
packages: write
pages: write
pull-requests: write
repository-projects: write
security-events: read
statuses: write
name: "Update Editor's Copy"
runs-on: ubuntu-latest
steps:
- name: "Checkout"
uses: actions/checkout@v3
- name: "Setup"
id: setup
run: date -u "+date=%FT%T" >>"$GITHUB_OUTPUT"
- name: "Caching"
uses: actions/cache@v3
with:
path: |
.refcache
.venv
.gems
node_modules
.targets.mk
key: i-d-${{ steps.setup.outputs.date }}
restore-keys: i-d-
- name: "Build Drafts"
uses: martinthomson/i-d-template@v1
with:
token: ${{ github.token }}
- name: "Update GitHub Pages"
uses: martinthomson/i-d-template@v1
if: ${{ github.event_name == 'push' }}
with:
make: gh-pages
token: ${{ github.token }}