Skip to content

Commit

Permalink
filter community tool bot
Browse files Browse the repository at this point in the history
  • Loading branch information
paulzierep committed Nov 3, 2023
1 parent 49f4805 commit 2213666
Show file tree
Hide file tree
Showing 2 changed files with 47 additions and 0 deletions.
6 changes: 6 additions & 0 deletions .github/workflows/fetch_all_tools.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -6,6 +6,12 @@ on:
#Every Sunday at 8:00 am
- cron: "0 8 * * 0"

# Allow only one concurrent deployment, skipping runs queued between the run in-progress and latest queued.
# However, do NOT cancel in-progress runs as we want to allow these production deployments to complete.
concurrency:
group: "tools"
cancel-in-progress: false

permissions:
contents: write

Expand Down
41 changes: 41 additions & 0 deletions .github/workflows/filter_communities.yaml
Original file line number Diff line number Diff line change
@@ -0,0 +1,41 @@
name: Filter community tools

on:
workflow_dispatch:

# the workflow it triggered only when all_tools_tsv is changed
push:
paths:
- 'results/all_tools_tsv'
branches: ["main"]

# Allow only one concurrent deployment, skipping runs queued between the run in-progress and latest queued.
# However, do NOT cancel in-progress runs as we want to allow these production deployments to complete.
concurrency:
group: "filter"
cancel-in-progress: false

permissions:
contents: write

jobs:
fetch-all-tools:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- uses: actions/setup-python@v4
- name: Install requirement
run: python -m pip install -r requirements.txt
- name: Run script
run: |
chmod +x bin/get_community_tools.sh
bin/get_community_tools.sh
env:
GITHUB_API_KEY: ${{ secrets.GITHUB_TOKEN }}
- name: Commit results
run: |
git config user.name github-actions
git config user.email [email protected]
git add results
git commit -m "filter communities bot"
git push

0 comments on commit 2213666

Please sign in to comment.