Skip to content
Update generated content

[purescript] Update dependency purescript/package-sets to psc-0.15.15… #1081

Sign in to view logs

[purescript] Update dependency purescript/package-sets to psc-0.15.15…

[purescript] Update dependency purescript/package-sets to psc-0.15.15… #1081

Workflow file for this run

.github/workflows/regenerate_content.yml at 2e1dbb1
name: Update generated content
on:
workflow_dispatch:
push:
branches:
- "main"
jobs:
generate_gitpod:
name: Generate gitpod.yml from devcontainers
runs-on: ubuntu-latest
steps:
- uses: actions/setup-node@v4
with:
node-version: lts/*
- uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4
with:
ref: main
- name: Install Dev Tools
working-directory: .bin/
run: npm install
- run: |
node ./.bin/transform_devcontainer_to_gitpod.js
- name: Commit new gitpods
run: |
git config --global user.name 'Github Action'
git config --global user.email 'githubaction@users.noreply.github.com'
set +e
git add **/.gitpod.yml
git commit -m "[meta] Update GITPOD Definitions"
git pull origin --rebase main
set -e
git push
generate_readme:
needs: [generate_gitpod]
name: Generate new README and commit to repository
runs-on: ubuntu-latest
steps:
- uses: actions/setup-node@v4
with:
node-version: lts/*
- uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4
with:
ref: main
- name: Install Dev Tools
working-directory: .bin/
run: npm install
- name: Main README
run: |
node ./.bin/generate_README.js
- name: Language READMes
run: |
node ./.bin/generate_language_READMEs.js
- name: Commit new README
run: |
git config --global user.name 'Github Action'
git config --global user.email 'githubaction@users.noreply.github.com'
set +e
git add README.md **/README.md
git commit -m "[meta] Update README"
git pull origin --rebase main
set -e
git push
generate_language_branches:
needs: [generate_readme]
name: Force-push subtrees for all languages
runs-on: ubuntu-latest
steps:
- uses: actions/setup-node@v4
with:
node-version: lts/*
- uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4
with:
ref: main
- name: Install Dev Tools
working-directory: .bin/
run: npm install
- run: |
./.bin/update_and_force_push_language_branches.sh
./.bin/clean_old_branches.sh