FilesExpand file tree

master

/

directory_writer.yml

Copy path

View runs

Blame

More file actions

Blame

More file actions

Latest commit

 

History

History

History

25 lines (25 loc) · 916 Bytes

master

/

directory_writer.yml

Copy path

Top

File metadata and controls

• Code
• Blame

25 lines (25 loc) · 916 Bytes

Raw

Copy raw file

Download raw file

Open symbols panel

Edit and raw actions

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

# The objective of this GitHub Action is to update the DIRECTORY.md file (if needed)

# when doing a git push

name: directory_writer

on: [push]

jobs:

build:

runs-on: ubuntu-latest

steps:

- uses: actions/checkout@v4

with:

fetch-depth: 0

- uses: actions/setup-python@v4

with:

python-version: 3.x

- name: Write DIRECTORY.md

run: |

scripts/build_directory_md.py 2>&1 | tee DIRECTORY.md

git config --global user.name github-actions

git config --global user.email '${GITHUB_ACTOR}@users.noreply.github.com'

git remote set-url origin https://x-access-token:${{ secrets.GITHUB_TOKEN }}@github.com/$GITHUB_REPOSITORY

- name: Update DIRECTORY.md

run: |

git add DIRECTORY.md

git commit -am "updating DIRECTORY.md" || true

git push --force origin HEAD:$GITHUB_REF || true