mirror of https://github.com/crytic/slither
You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
40 lines
1.1 KiB
40 lines
1.1 KiB
name: Monthly issue metrics
|
|
on:
|
|
workflow_dispatch:
|
|
schedule:
|
|
- cron: '3 2 1 * *'
|
|
|
|
permissions:
|
|
issues: write
|
|
pull-requests: read
|
|
|
|
jobs:
|
|
build:
|
|
name: issue metrics
|
|
runs-on: ubuntu-latest
|
|
steps:
|
|
- name: Get dates for last month
|
|
shell: bash
|
|
run: |
|
|
# Calculate the first day of the previous month
|
|
first_day=$(date -d "last month" +%Y-%m-01)
|
|
|
|
# Calculate the last day of the previous month
|
|
last_day=$(date -d "$first_day +1 month -1 day" +%Y-%m-%d)
|
|
|
|
#Set an environment variable with the date range
|
|
echo "$first_day..$last_day"
|
|
echo "last_month=$first_day..$last_day" >> "$GITHUB_ENV"
|
|
|
|
- name: Run issue-metrics tool
|
|
uses: github/issue-metrics@v2
|
|
env:
|
|
GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
|
|
SEARCH_QUERY: 'repo:crytic/slither is:issue created:${{ env.last_month }} -reason:"not planned" -reason:"duplicate"'
|
|
|
|
- name: Create issue
|
|
uses: peter-evans/create-issue-from-file@v5
|
|
with:
|
|
title: Monthly issue metrics report
|
|
token: ${{ secrets.GITHUB_TOKEN }}
|
|
content-filepath: ./issue_metrics.md
|
|
|