mirror of
https://github.com/VOREStation/VOREStation.git
synced 2026-08-29 15:08:34 +01:00
@@ -0,0 +1,18 @@
|
||||
# Removes guide comments from PRs when opened, so that when we merge them
|
||||
# and reuse the pull request description, the clutter is not left behind
|
||||
name: Remove guide comments
|
||||
on:
|
||||
pull_request_target:
|
||||
types: [opened]
|
||||
jobs:
|
||||
remove_guide_comments:
|
||||
runs-on: ubuntu-latest
|
||||
steps:
|
||||
- name: Checkout
|
||||
uses: actions/checkout@v4
|
||||
- name: Remove guide comments
|
||||
uses: actions/github-script@v7
|
||||
with:
|
||||
script: |
|
||||
const { removeGuideComments } = await import('${{ github.workspace }}/tools/pull_request_hooks/removeGuideComments.js')
|
||||
await removeGuideComments({ github, context })
|
||||
@@ -10,6 +10,7 @@ on:
|
||||
- master
|
||||
paths:
|
||||
- 'maps/**'
|
||||
workflow_dispatch:
|
||||
|
||||
permissions: {}
|
||||
jobs:
|
||||
@@ -19,7 +20,7 @@ jobs:
|
||||
pull-requests: write # to create pull requests (repo-sync/pull-request)
|
||||
|
||||
name: 'Generate NanoMaps'
|
||||
runs-on: ubuntu-22.04
|
||||
runs-on: ubuntu-24.04
|
||||
steps:
|
||||
- name: Clone
|
||||
uses: actions/checkout@v4
|
||||
@@ -30,7 +31,17 @@ jobs:
|
||||
git branch -f nanomaps_generation
|
||||
git checkout nanomaps_generation
|
||||
git reset --hard origin/master
|
||||
|
||||
- name: Restore SpacemanDMM cache
|
||||
uses: actions/cache@v4
|
||||
with:
|
||||
path: ~/SpacemanDMM
|
||||
key: ${{ runner.os }}-spacemandmm-${{ hashFiles('dependencies.sh') }}
|
||||
restore-keys: |
|
||||
${{ runner.os }}-spacemandmm-
|
||||
- name: Install Tools
|
||||
run: |
|
||||
bash tools/ci/install_spaceman_dmm.sh dmm-tools
|
||||
sudo apt install -y imagemagick
|
||||
- name: Ensure +x on github-actions directory
|
||||
run: chmod -R +x ./tools/github-actions
|
||||
|
||||
|
||||
Reference in New Issue
Block a user