added rtx_dir config (#215)

* added rtx_dir config

* wip

* wip

* wip

* wip

* wip

* wip

* wip

* wip

* wip
This commit is contained in:
jdx 2023-12-14 08:38:00 -06:00 committed by GitHub
parent 5ac46849ac
commit 55e5d18e74
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
10 changed files with 90 additions and 41 deletions

View file

@ -10,6 +10,10 @@ on:
schedule:
- cron: '31 7 * * 3'
concurrency:
group: ${{ github.workflow }}-${{ github.ref_name }}
cancel-in-progress: true
jobs:
analyze:
name: Analyze