aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPjotr Prins2021-08-26 09:16:25 +0200
committerPjotr Prins2021-08-26 09:16:34 +0200
commitf49db1ebe2cb42ff8eaf2049a0570aff25bc64a9 (patch)
treeed03bd32d86764a21e40cf9f67401c77926fc5ef
parentdb79f4eb0b1d8f42a98759443e14d5f83719566a (diff)
downloadpangemma-f49db1ebe2cb42ff8eaf2049a0570aff25bc64a9.tar.gz
Add github-ci
-rw-r--r--.github/ci_test.yml17
-rw-r--r--.github/issue-tracker-bot.yaml19
-rw-r--r--.github/support-tracker-bot.yaml20
3 files changed, 56 insertions, 0 deletions
diff --git a/.github/ci_test.yml b/.github/ci_test.yml
new file mode 100644
index 0000000..8df340c
--- /dev/null
+++ b/.github/ci_test.yml
@@ -0,0 +1,17 @@
+name: CI
+on: [push, pull_request]
+jobs:
+ arch:
+ name: gemma
+ runs-on: ubuntu-latest
+ strategy:
+ matrix:
+ os: [ubuntu-latest]
+ steps:
+ - name: Install dependencies
+ run: sudo apt-get install gfortran libopenblas-dev libgsl-dev zlib1g-dev catch ruby python
+ - uses: actions/checkout@v2
+ - name: Build
+ run: make debug
+ - name: Run tests
+ run: make check
diff --git a/.github/issue-tracker-bot.yaml b/.github/issue-tracker-bot.yaml
new file mode 100644
index 0000000..43a3f3d
--- /dev/null
+++ b/.github/issue-tracker-bot.yaml
@@ -0,0 +1,19 @@
+name: "Close stale issues"
+on:
+ schedule:
+ - cron: "0 1 * * *"
+
+jobs:
+ stale:
+ runs-on: ubuntu-latest
+ steps:
+ - uses: actions/stale@v3
+ with:
+ repo-token: ${{ secrets.GITHUB_TOKEN }}
+ stale-issue-message: 'This issue is marked stale because it has been open 120 days with no activity. Remove stale label or comment or this will be closed in 5 days'
+ close-issue-message: 'This issue was closed for lack of activity. Feel free to re-open if someone feels like working on it.'
+ days-before-stale: 120
+ days-before-close: 5
+ exempt-issue-labels: "bug,build,enhancement,help wanted,in progress"
+ debug-only: false
+ operations-per-run: 100
diff --git a/.github/support-tracker-bot.yaml b/.github/support-tracker-bot.yaml
new file mode 100644
index 0000000..a7056c8
--- /dev/null
+++ b/.github/support-tracker-bot.yaml
@@ -0,0 +1,20 @@
+name: "Close support issues"
+on:
+ schedule:
+ - cron: "0 1 * * *"
+
+jobs:
+ stale:
+ runs-on: ubuntu-latest
+ steps:
+ - uses: actions/stale@v3
+ with:
+ repo-token: ${{ secrets.GITHUB_TOKEN }}
+ stale-issue-message: 'This issue is marked stale because it has been open 30 days with no activity. Remove stale label or comment or this will be closed in 5 days'
+ close-issue-message: 'This issue was closed for lack of activity. Feel free to re-open if someone feels like working on it.'
+ days-before-stale: 30
+ days-before-close: 5
+ only-labels: "Track bugs here. Please use google groups instead,Support: use google groups instead"
+ exempt-issue-labels: "bug,testing,please test,build,enhancement,help wanted,in progress"
+ debug-only: false
+ operations-per-run: 100